Tại sao hợp đồng không đúng định dạng khi sử dụng mặc định (Loại)?

Question

Khi biên dịch mã sử dụng hợp đồng mã, tôi có một lỗi rất lạ mà tôi không hiểu.

[ContractInvariantMethod] 
private void ObjectInvariant() 
{ 
    Contract.Invariant(
     this.isSubsidiary || 
     this.parentCompanyId == default(Guid)); 
} 

không thành công với các lỗi sau:

Malformed contract. Found Invariant after assignment in method '<ProjectName>.ObjectInvariant'.

Nếu mã được sửa đổi như sau:

[ContractInvariantMethod] 
private void ObjectInvariant() 
{ 
    Contract.Invariant(
     this.isSubsidiary || 
     this.parentCompanyId == Guid.Empty); 
     // Noticed the Guid.Empty instead of default(Guid)? 
} 

nó biên dịch tốt.

Có gì sai với default(Guid) của tôi?

Answer 1

Các IL tạo ra cho việc này:

Console.WriteLine("{0}, {1}", default(Guid), Guid.Empty); 

là:

.locals init (
     [0] valuetype [mscorlib]System.Guid CS$0$0000) 
    L_0000: nop 
    L_0001: ldstr "{0}, {1}" 
    L_0006: ldloca.s CS$0$0000 
    L_0008: initobj [mscorlib]System.Guid 
    L_000e: ldloc.0 
    L_000f: box [mscorlib]System.Guid 
    L_0014: ldsfld valuetype [mscorlib]System.Guid [mscorlib]System.Guid::Empty 
    L_0019: box [mscorlib]System.Guid 
    L_001e: call void [mscorlib]System.Console::WriteLine(string, object, object) 

nào tương ứng với cái gì đó như:

Guid CS$0$0000 = new Guid(); 
Console.WriteLine("{0}, {1}", CS$0$0000, Guid.Empty); 

Hợp đồng Mã làm việc trực tiếp trên IL, vì vậy nó nghĩ bạn đã viết một cái gì đó giống như phiên bản thứ hai. Người viết lại nói rằng bạn không được phép gán cho các biến trước các hợp đồng, do đó, nó đưa ra một lỗi.

Tuy nhiên, đây là kỳ lạ, bởi vì trong khi điều này không làm việc:

var x = new Guid(); 
Contract.Invariant(
    this.isSubsidiary || 
    this.parentCompanyId == x); 

này không, nhưng rõ ràng là một "nhiệm vụ trước khi bất biến"!

var x = Guid.Empty; 
Contract.Invariant(
    this.isSubsidiary || 
    this.parentCompanyId == x); 

Tôi nghĩ họ thực sự biến đổi chức năng kiểm tra để cho phép một số bài tập như thế này (để dễ sử dụng), nhưng họ đã không được phép mọi trường hợp ... cho dù đây là dự định hay không là ngoài kiến ​​thức của tôi.

Tôi muốn báo cáo điều này trên số Code Contracts forum, đây có thể là lỗi.