c# - 自动实现属性的代码契约(Contract)

Question

有什么方法可以在 .NET 中将契约放在自动实现的属性上吗？(如果答案是"is"怎么办)？

(我假设使用来自 DevLabs 的 .NET 代码契约(Contract))

Answer 1

是的，这是可能的 - 所需要的只是将您的契约(Contract)条件添加到类中的 [ContractInvariantMethod] 方法中，然后添加等效的 Requires 前提条件到自动 setter，并将后置条件 Ensures 添加到 get。来自 Reference 的第 2.3.1 节

As the example illustrates, invariants on auto-properties turn into:

1. A precondition for the setter
2. A postcondition for the getter
3. An invariant for the underlying backing field

举例来说:

public int MyProperty { get; private set ;}

[ContractInvariantMethod]
private void ObjectInvariant ()
{
  Contract.Invariant ( this.MyProperty >= 0 );
}

“相当于下面的代码:”

private int backingFieldForMyProperty;
public int MyProperty 
{
  get 
  {
    Contract.Ensures(Contract.Result<int>() >= 0);
    return this.backingFieldForMyProperty;
  }

  private set 
  {
    Contract.Requires(value >= 0);
    this.backingFieldForMyProperty = value;
  }
}

[ContractInvariantMethod]
private void ObjectInvariant () 
{
  Contract.Invariant ( this.backingFieldForMyProperty >= 0 );
...