起订量正在触发代码合同？

Question

给出这段代码：

[ContractClass(typeof(DogContract))]
public interface IDog {
  void Eat(object obj);
}

[ContractClassFor(typeof(IDog))]
internal abstract DogContract : IDog {
  public void Eat(object obj) {
    Contract.Requires<ArgumentNullException>(obj != null);
  }
}

var dogMock = new Mock<IDog>();
dogMock.Object.Eat(null); // Throws ArgumentNullException

似乎重写器以某种方式将其行为放入模拟对象中，这是我真正没想到的。我不认为这是一个真正的问题，只是出乎意料。有人知道这是怎么发生的吗？

Answer 1

“调用站点需要检查”就可以了。然后，重写器会将前提条件放入调用者代码中，而不是实现中。因此，即使模拟对象中的代码无法重写（它是在运行时生成的），调用者中的代码也可以重写。

生成的代码如下所示，不带调用站点 Requires:

private static void Main(string[] args)
{
    Mock<IDog> m = new Mock<IDog>();
    m.Object.Eat(null);
}

且带：

private static void Main(string[] args)
{
    Mock<IDog> m = new Mock<IDog>();
    IDog.V$Eat(m.Object, null);
}

IDog 是一个静态类，包含 IDog 接口中的所有方法以及先决条件。 Eat 的样子如下：

internal static void V$Eat(IDog @this, object obj)
{
    __ContractsRuntime.Requires<ArgumentNullException>(
                      obj != null, null, "obj != null");
    @this.Eat(obj);
}

这样，即使类中的代码无法重写，前置条件也会被调用。