Visual Studio 2017 不支持代码合同，如何使用 PostSharp 实现它？

Question

在编写此问题 CodeContracts by Microsoft 时，Visual Studio 2017 不支持为 .NET 实现按合同设计的 Visual Studio 扩展。

在GitHubhere看这个项目的见解，好像这个项目已经死了。在过去的几年里，对所有 Visual Studio 版本的支持一直被延迟。在我看来，由于缺乏兴趣和支持，坚持在新项目中使用 Microsoft 的代码合同是很危险的。

您将如何使用 Postsharp 的面向方面的编程框架和 IL 代码编织来实现按合同设计？类不变量的实现会怎样？必须在与相关类交互的所有公共方法的开头和结尾检查类不变量的有效性。

Answer 1

PostSharp 提供适用于方法参数、字段和属性的代码协定。这些记录在http://doc.postsharp.net/contracts。

类不变量（如https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts#invariants 所述）不是开箱即用的。