Contract.Ensures hoạt động như thế nào?

Question

Tôi bắt đầu sử dụng các Hợp đồng Mã, và trong khi Contract.Requires là khá thẳng về phía trước, tôi gặp khó khăn khi nhìn thấy những gì Đảm bảo thực sự làm.

tôi đã cố gắng tạo ra một phương pháp đơn giản như thế này:

static void Main() 
{ 
    DoSomething(); 
} 

private static void DoSomething() 
{ 
    Contract.Ensures(false, "wrong"); 
    Console.WriteLine("Something"); 
} 

Tôi chưa bao giờ thấy thông báo "sai" Mặc dù vậy, cũng không ném ngoại lệ hoặc bất cứ điều gì khác.

Vì vậy, nó thực sự làm gì?

Answer 1

Thật kỳ quặc khi nó không ném bất kỳ thứ gì - nếu bạn đang chạy công cụ ghi đè có cài đặt thích hợp. Tôi đoán là bạn đang chạy trong một chế độ mà không kiểm tra postconditions.

Điều khó hiểu về Contract.Ensures là bạn viết nó vào lúc bắt đầu của phương pháp này, nhưng nó thực hiện ở phần cuối của phương pháp này. Các rewriter hiện tất cả các phép thuật để đảm bảo rằng nó thực hiện một cách thích hợp, và được đưa ra giá trị trả lại nếu cần thiết.

Giống như nhiều điều về Hợp đồng mã, tôi nghĩ tốt nhất nên chạy Reflector trên các kết quả của công cụ viết lại. Hãy chắc chắn rằng bạn đã có các cài đặt đúng, sau đó làm việc ra những gì các rewriter đã làm.

---

EDIT: Tôi nhận ra tôi đã không bày tỏ điểm của Contact.Ensures được nêu ra. Nói một cách đơn giản, đó là để đảm bảo rằng phương thức của bạn đã làm điều gì đó ở cuối - ví dụ, nó có thể đảm bảo rằng nó được thêm vào danh sách, hoặc (nhiều khả năng hơn) giá trị trả về là không null, hoặc dương hoặc bất cứ thứ gì. Ví dụ, bạn có thể có:

public int IncrementByRandomAmount(int input) 
{ 
    // We can't do anything if we're given int.MaxValue 
    Contract.Requires(input < int.MaxValue); 
    Contract.Ensures(Contract.Result<int>() > input); 

    // Do stuff here to compute output 
    return output; 
} 

Trong đoạn mã viết lại, sẽ có một tấm séc tại điểm lợi nhuận để đảm bảo rằng giá trị trả về thực sự là lớn hơn đầu vào.