如何使代码合约与数据合约的反序列化一起工作？

Question

我已经为数据契约类编写了ContractInvariantMethod，并且在客户端一切正常，但是当这种类型的对象被发送到我的服务时，数据契约反序列化器尝试反序列化它，代码契约检查妨碍并抛出ContractException，说不变量失败。 原因是在类的（默认）构造函数中，我将属性设置为满足不变量，但显然在反序列化对象时构造函数不会被调用。 有解决办法吗？

这是我的数据合约类：

[DataContract]
public class DataContractClass
{
 public DataContractClass()
 {
  this.Field1= this.Field2= -1;
 }
 [DataMember]
 public int Field1 {get; set;}
 [DataMember]
 public int Field2 {get; set;}

 [ContractInvariantMethod]
 private void Invariants()
 {
  Contract.Invariant(this.Field1== -1 || this.Field2== -1);
 }
}

Answer 1

在运行时检查期间，不变量是 在每个公共方法的末尾检查。

因此，当序列化程序将 Property1 和 Property2 设置为 -1 时，您会得到一个合同异常，因为反序列化程序不使用构造函数。

所以用这个：

public DataContractClass()
{
    SetDefaults();
}

[OnDeserializing]
private void OnDeserializing(StreamingContext context)
{
    SetDefaults();
}

private void SetDefaults()
{
    Property1 = -1;
    Property2 = -1;
}