.NET 4 Mã hợp đồng: "yêu cầu chưa được chứng minh: source! = Null"

Question

Tôi vừa bắt đầu sử dụng các hợp đồng mã trong dự án của mình. Tuy nhiên, tôi có một vấn đề với việc triển khai kho lưu trữ của tôi, truy vấn cơ sở dữ liệu của tôi bằng cách sử dụng khung Entity.

tôi có phương pháp sau đây:

public IEnumerable<Organization> GetAllOrganizations() 
{ 
    return _uow.CreateSet<Party>().OfType<Organization>().AsEnumerable(); 
} 

Phương pháp này trả về một bộ sưu tập bao gồm tất cả các tổ chức trong cơ sở dữ liệu, hay một bộ sưu tập sản phẩm nào đó không phải là các tổ chức trong cơ sở dữ liệu.

Tuy nhiên, điều này không ổn theo CodeContracts, trong đó cung cấp cho tôi những lỗi: "yêu cầu chưa được chứng minh: nguồn = null"

gì là nó cố gắng để cho tôi biết? Tôi có thể thỏa mãn các hợp đồng mã bằng cách sử dụng Contract.Assume, giả sử rằng nó sẽ luôn tìm thấy thứ gì đó, nhưng sau đó tôi cần làm điều đó trong tất cả các phương thức đọc dữ liệu từ cơ sở dữ liệu.

Tôi có thiếu thứ gì đó ở đây hay hành vi dự định khi bạn đang làm việc với cơ sở dữ liệu và LINQ?

Answer 1

Tôi đoán là một trong các phương thức CreateSet, OfType và AsEnumerable được khai báo là một phương thức mở rộng với tham số này được gọi là "source", và CodeContrcts không thể chứng minh nó không phải là null. Ngoài ra, bạn không cần phải thêm một mệnh đề Yêu cầu để xác định rằng _uow là không null trên mục nhập?

CreateSet có vẻ là phương thức tiện ích mở rộng vì nó không xuất hiện trong MSDN. Nếu phương pháp này không bao giờ nên trở về null, bạn có thể thực hiện điều này bằng cách thêm hợp đồng này để CreateSet:

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

Khi phân tích CodeContracts thấy quy tắc này, nó sẽ mất nó như là bằng chứng cho thấy đầu vào OfType sẽ không được null, và cảnh báo sẽ biến mất.