c# - 是否有代码契约(Contract)的替代方案来声明编码假设？

Question

我使用代码契约。我喜欢代码契约(Contract)。 Code Contracts然而，对于 C# 来说，还远非完美。大多数与它们相关的问题我都能够通过政策来回避或软化。仍然......其中有几个部分让我感到畏缩(例如，必须为抽象实现 ContractClasses)。

我发现的唯一真正的替代方案是一个不比 CC 好多少的开源库，并使用常规守卫(这可能违反 LSP)。

我是否错过了另一个更好的选择？我问并不是出于绝望，而是为了了解我所有的选择。

Answer 1

我不知道您目前有任何其他选择。

但是，有a discussion on the Roslyn repository on GitHub关于为 C# 中的代码契约提供语言级支持。该问题已被视为引起一些兴趣(虽然不是强烈兴趣)以包含在the feature set of C# 7中。 .

关于 LSP 的主题，在那次特定的讨论中没有提到它。例如，没有提到在特化虚拟方法时加强后置条件和弱化前置条件的可能性。