Microsoft Code Contracts (.net 4)を使用してメソッドを副作用なしとして宣言する方法はありますか?
1 に答える
2
[ Pure]属性が探しているものかもしれません。メソッドにアタッチするだけで、Code Contracts は状態の変更を伴わないものと見なします。実際には何も強制またはチェックしないことに注意してください。システムにその仮定を行うように指示するだけなので、適切に使用していることを確認するのはあなた次第です。
于 2013-05-21T14:40:03.103 に答える