使用微软代码合同将代码声明为副作用

Question

有没有办法使用Microsoft Code Contracts（.net 4）将方法声明为副作用？

Answer 1

[Pure]属性可能是您正在寻找的内容。只需将其附加到您的方法，代码合同将假定它不涉及任何状态更改。请注意，它实际上并没有强制执行或检查任何内容，它只是告诉系统做出这样的假设，因此您需要确保自己正确使用它。