Làm thế nào để tôi cho Resharper biết rằng phương thức IEnumerable của tôi có thể loại bỏ null?

Question

Với đoạn mã sau, Resharper sẽ đúng cảnh báo tôi về một thể NullReferenceException trên foo.Bar bởi vì có thể các yếu tố null trong đếm được:

IEnumerable<Foo> foos = GetFoos(); 
var bars = foos.Select(foo => foo.Bar); 

Một cách để đáp ứng các phân tích tĩnh là để loại trừ một cách rõ ràng null:

IEnumerable<Foo> foos = GetFoos().Where(foo => foo != null); 

tôi thấy mình gõ .Where(x => x != null) rất nhiều, vì vậy tôi đã kết thúc trong một phương pháp khuyến nông, và bây giờ tôi có thể làm như sau:

IEnumerable<Foo> foos = GetFoos().NotNull(); 

Vấn đề là Resharper không biết rằng NotNull() loại bỏ các giá trị rỗng. Có cách nào tôi có thể dạy Resharper về thực tế này không? Nói chung, có cách nào để nói với Resharper rằng phương thức trả về IEnumerable sẽ không bao giờ có null trong nó (để tôi có thể chỉ chú thích trực tiếp GetFoos())?

Tôi biết tôi có thể sử dụng the NotNullAttribute để thông báo cho Người chia sẻ lại rằng bản thân số đó không phải là số không, nhưng tôi không thể tìm thấy nội dung nói về nội dung của số đếm.

Edit: Phương pháp mở rộng trông giống hệt như bạn mong muốn:

[NotNull] 
public static IEnumerable<T> NotNull<T>(this IEnumerable<T> enumerable) 
{ 
    return enumerable.Where(x => x != null); 
} 

Answer 1

Bạn có thể sử dụng ItemNotNullAttribute thông báo cho ReSharper rằng không có mục nào trong bộ sưu tập có thể là null.

Answer 2

Một cách như bạn đã nêu là sử dụng [notnull] thuộc tính này hướng dẫn các cơ Resharper ngừng kiểm tra lỗi tham chiếu null cho biến cụ thể đó.

Hoặc khác nếu bạn không muốn sử dụng thuộc tính mà bạn có thể tùy chọn sử dụng các ý kiến ​​

// ReSharper disable PossibleNullReferenceException 
     var bars = foos.Select(foo => foo.Bar); 
// ReSharper restore PossibleNullReferenceException 

Để thực hiện một điểm cho câu hỏi này, Resharper không thể đi qua thông qua thời gian chạy các giá trị tính toán tuyên bố, do đó nó có thể làm cho một phán xét rằng nó không thể là rỗng.