D に (finally があるにもかかわらず) scope guard が採用されている理由も，上記の発想から考えれば「『プログラムの状態の変化の論理的な対』というのをプログラムの構成における1つの重要な要素と認めて，それが対であることを構文上明確にする」っていう…