c# - 代码契约(Contract)在 Visual Studio 2019 中不起作用

Question

我正在学习代码契约(Contract)，但它不会给我任何错误或任何东西。我正在使用 Visual Studio 2019。

代码如下:

using System.Diagnostics.Contracts;

namespace ConsoleApp1
{
    class Calculations
    {
        public static void Division(string name)
        {
            Contract.Requires(!string.IsNullOrEmpty(name));
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            string s = null;
            Calculations.Division(s);
        }
    }
}

这怎么没有给我任何东西？当我调用 Division 时，我几乎违反了契约(Contract)。

Answer 1

很可能是因为 documentation 中的以下行

Most methods in the contract class are conditionally compiled; that is, the compiler emits calls to these methods only when you define a special symbol, CONTRACTS_FULL, by using the #define directive. CONTRACTS_FULL lets you write contracts in your code without using #ifdef directives; you can produce different builds, some with contracts, and some without.

文档中还提到，一旦您设置并使用了 Code.Contracts UI，就会定义 CONTRACTS_FULL。