값 형식에 대한 코드 계약

Question

방금 ​​코드 계약으로 게임을 시작 했으므로 유망한 반면 값 유형과 관련하여 몇 가지 제한 사항이있는 것 같습니다. 예 :

public struct Wrap<T> 
    where T : class 
{ 
    readonly T value; 
    public Wrap(T value) 
    { 
     Contract.Requires(value != null); 
     this.value = value; 
    } 
    public T Value 
    { 
     get 
     { 
      Contract.Requires(Value != null); 
      return value; 
     } 
    } 
    [Pure] 
    [ContractInvariantMethod] 
    void Invariant() 
    { 
     Contract.Invariant(value != null); 
    } 
    public static T BigError() 
    { 
     Contract.Ensures(Contract.Result<T>() != null); 
     var x = default(Wrap<T>); 
     Contract.Assert(x.Value != null); 
     return x.Value; 
    } 
} 

Wrap.BigError가 문제를 명확히 보여줍니다. 이 샘플은 4 개의 어설 션을 컴파일하고 확인하지만, 어설 션은 런타임에 분명히 실패합니다. 이러한 어설 션 중 일부는 중복되어 있으며이를 삽입하면 검증자가 지정된 지점에서 이러한 특성을 확인하고 있습니다.

나는 MS's docs for code contracts에 알려진 문제로 나열된 이런 종류의 것을 보지 못했지만, 생략하기 란 너무 분명한 것처럼 보입니다. 내가 놓친 게 있니?

Answer 1

구조체에 지정된 불변성이 문제가되었습니다. 불변성을 제거하면 예상되는 오류가 발생합니다. MS의 문서와는 달리, 정적 체커는 struct invariants를 설명하는 것처럼 보입니다.

Answer 2

Value 속성에 대한 getter 계약에는 이상한 점이 있습니다. 재귀 적으로 this.Value! = null을 요구합니다. 네가 뭔가 다른 것을 의미했다고 확신한다.

Contract.Ensures(Contract.Result<T>() != null); 

해당 수정 사항은 사양이 저에게 매우 합리적입니다. (런타임을 포함하여) 검사기의 한계는 구조체의 기본값을 항상 만들 수 있으며 이러한 기본값에서 불변성을 검사 할 수 없다는 것입니다. 따라서 검사는 기본값을 구성하는 법입니다.