C# 公共静态类合同&&。net core 3.1和&；马科斯

如何使合同在macOS上生效

下面的代码

private static int GetInt(string s)
{
    Contract.Requires<ArgumentNullException>(s != null);
    return 10;
}
static void Main()
{
    Console.WriteLine(GetInt("s"));
}

private static int GetInt（字符串s）
{
Contract.Requires。\r\n安装重写器后，可以在Visual Studio中从“代码合同”窗格上的项目属性页启用该重写器。请确保启用“执行运行时合同检查”，这将定义完整的合同

现在是2020年，我在mac电脑上使用.net内核，但是
上面的链接用于下载5年前在2015年实施的windows installer，并与Visual Studio 2010、2012、2013、2015一起使用

我只是想知道公共静态类契约是微软内部使用的还是过时的或者其他什么。。。
我希望有人能解释一下这件事，不是吗？）
你在问“我只是想知道公共静态类契约是微软内部使用的还是过时的还是什么”

根据我的理解，不幸的是，它已经过时了（正如您所指出的，如果您安装了扩展，它将与VS 2015一起使用）

见：

你也许可以试试PostSharp版本的代码契约

我希望微软将来会继续支持代码合同