使用微软代码合同免费声明代码副作用

Question

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

Answer 1

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