मैं रिशेर्पर को कैसे बता सकता हूं कि मेरी आईनेमरेबल विधि नल ​​को हटा देती है?

Question

निम्नलिखित कोड को देखते हुए, Resharper सही ढंग से मुझे एक संभव NullReferenceException के बारे में foo.Bar पर चेतावनी देगा क्योंकि वहाँ हो सकता है गणनीय में अशक्त तत्वों: स्थिर विश्लेषक को पूरा करने के

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

एक तरह से स्पष्ट रूप से nulls बाहर करने के लिए है:

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

मैं अपने आप को .Where(x => x != null) एक बहुत टाइपिंग, तो मैं यह एक विस्तार विधि में लिपटे मिल जाए, और अब मैं निम्न कर सकते हैं:

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

समस्या Resharper नहीं जानता है कि NotNull() बाहर स्ट्रिप्स कि nulls है। क्या इस तरह के बारे में मैं रिशेर्पर को पढ़ सकता हूं? सामान्य तौर पर, वहाँ Resharper बताने के लिए एक तरीका है कि एक IEnumerable -returning विधि यह में nulls है कभी नहीं होगा (ताकि मैं सिर्फ सीधे GetFoos() टिप्पणी कर सकते हैं) क्या है?

मैं जानता हूँ कि मैं the NotNullAttribute उपयोग कर सकते हैं Resharper कि गणनीय ही रिक्त नहीं है बताने के लिए है, लेकिन मैं एक है कि सामग्री गणनीय की के बारे में बोलते नहीं मिल रहा।

संपादित करें: विस्तार विधि वास्तव में लग रहा है के रूप में आप उम्मीद थी:

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

Answer 1

आप ItemNotNullAttribute का उपयोग कर सकते हैं जो ReSharper को बताता है कि संग्रह में कोई आइटम कभी भी null हो सकता है।

Answer 2

एक ही रास्ता के रूप में आप ने कहा उपयोग करने के लिए है [NotNull] विशेषता जो Resharper इंजन हिदायत के लिए अशक्त संदर्भ त्रुटि के लिए जाँच को रोकने के लिए वह विशेष चर।

वरना तुम उस विशेषता का उपयोग करने आप वैकल्पिक रूप से टिप्पणी

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

उपयोग कर सकते हैं इस सवाल का एक बिंदु बनाने के लिए नहीं करना चाहते हैं, Resharper इसलिए यह एक बना सकते हैं बयान के क्रम कम्प्यूटेशनल मूल्यों के माध्यम से पार नहीं कर सकते निर्णय है कि यह शून्य नहीं हो सकता है।