코드 계약 컴파일러는 이것이 null 일 수 있다고 어떻게 생각합니까?

Question

나는 패턴 것 같다 여러 경우에 명중했다 :

Contract.Ensures(Contract.Result<BlahType>() != null); 
... 
BlahType Blah = new BlahType(); 
... 
... 
return Blah; 

을하며 불만.

필드는 모두 비공개이며 메서드의 다른 부분은 아무 것도 사용하지 않습니다. (이것들은 모두 데이터가 디스크에서 가져와야하는 지연된 초기화입니다.)

물론 여기에 Contract.Assume을 추가 할 수 있지만 그 종류의 대답은 마음에 들지 않습니다.

Answer 1

필드가 결코 null (또는 다른 조건)이 아닌 정적 검사기를 설득 할 수있는 유일한 방법은 불변성을 만드는 것입니다. invariant 메서드의 불변량은 클래스의 모든 메서드가 반환 될 때 검사되므로 검사자가 해당 메서드를 보유한다고 가정 할 수 있습니다. 그래서, 클래스의 맨 아래에 추가 :

#region Invariants 
[ContractInvariantMethod] 
[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Performance", 
    "CA1822:MarkMembersAsStatic", 
    Justification = "Required for code contracts.")] 
private void ObjectInvariant() 
{ 
    Contract.Invariant(this.blah != null); 
} 
#endregion 

참고 :

• 불변의 방법이 적용되는 ContractInvariantMethod 속성이 인수없이 어떤 private void 방법이다. 거기에 여러 개의 불변성을 넣을 수 있습니다.
• 신속 ObjectInvariant 방법 조각을 얻을 cimTABTAB을 입력합니다.
• 기타 코드 계약 코드는 here입니다.
• C#에서 개인/보호 필드 및 로컬 변수는 식별자의 첫 번째 문자가 소문자 (카멜 케이스)로 쓰여 있습니다. here for more information을 참조하십시오. 이렇게하면 코드를 더 읽기 쉽고 이해하기 쉬워집니다.