如何使用 DotNet.Contracts NuGet 包？答案

【问题标题】：How to use DotNet.Contracts NuGet package?如何使用 DotNet.Contracts NuGet 包？
【发布时间】：2016-12-03 16:13:20
【问题描述】：

有人能解释一下如何在 Visual Studio 2015 和 2017 中使用 DotNet.Contracts NuGet 包吗？它是在 Visual Studio 中使用 Code Contracts 所需的唯一组件吗？？？

我还需要安装 Contracts.devlab9ts.msi 吗？？？尝试安装 Contracts.devlab9ts.msi 时，我收到错误 'Extensions' is not a valid short file name。 这发生在我的 Windows 10 开发机器上，带有最新的 Windows 更新。

如果我们还需要安装 Contracts.devlab9ts.msi，那么 NuGet 包的作用是什么？

【问题讨论】：

在 Windows 7 Pro 上安装 Contracts.devlab9ts.msi (v1.10.20606.1) 有效。看起来最新的 Windows 10 更新导致“'扩展'不是有效的短文件名”错误。

标签： c# visual-studio nuget code-contracts

【解决方案1】：

您只需要在您的项目中安装 DotNet.Contracts NuGet 包，因为该包包含所有代码合同相关文件。

请参考： https://github.com/Microsoft/CodeContracts/issues/13

Contracts.devlab9ts.msi 可以成功安装在我的 Windows 10 build 10240 上。如果您仍想为您的 Visual Studio 安装 Contracts.devlab9ts.msi，请检查您的 Windows 10 版本并确保您的 Windows 10 开发人员已安装所有更新。

【讨论】：

谢谢温迪。我会试一试并回复这个帖子。但是，我无法卸载我已经使用了一段时间的 Contracts.devlab9ts.msi (v1.9.10714.2)。我的开发机器（64 位 Windows 10 企业版）上出现“'Extensions' 不是有效的短文件名”。有没有办法卸载旧版本？
我在带有 VS2015 的 64 位 Windows 7 Pro 上尝试了 NugGet 包，没有安装 Contracts.devlab9ts.msi。它似乎不起作用，我什至没有在我的测试项目的属性页面上看到“代码合同”选项卡。有什么我错过的吗？
您可以安装最新版本(V1.10.20606.1) Contracts.devlab9ts.msi 文件直接覆盖旧版本。如果你想卸载 Contracts.devlab9ts.msi，你可以将它更新到最新版本然后卸载它，因为你的旧版本有问题。
msi 文件指向 Visual Studio，NuGet 包指向您的项目。如果要在 VS 上使用“代码合同”选项卡，则需要安装 msi 文件，然后重新启动 VS。如果在您的项目中使用 Code Contracts 工具和函数，您需要安装该包并从您的代码中调用它们。
谢谢温迪。我只安装了 Contracts.devlab9ts.msi (V1.10.20606.1) 并且代码合同似乎正在工作，就像我使用旧版本的方式一样。