Contract.Requires（） 和循环不变的问题

问：

我正在遵循代码合约教程（https://learn.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts#usage-guidelines），但我似乎无法让最简单的东西正常工作。给定方法定义

public int Add(int x, int y)
{
   Contract.Requires(x > 0);
   Contract.Requires(y > 0);

   return x+y;
}

当我调用该方法时，该方法不会使前提条件检查失败。当我处于调试模式时，将跳过这些语句。我哪里做错了？o.Add(0,0)Contract.Requires()

第二个问题可以用来检查循环不变性吗？根据对象不变性的定义，这似乎与循环不变性略有不同，因为在每次循环迭代中，循环不变性可能不一定对客户端可见，因此它可能会违反属性但不会被检查。这种理解正确吗？Contract.Invariant()Object invariants are conditions that should be true for each instance of a class whenever that object is visible to a client.