क्या यह सुनिश्चित करने का कोई अच्छा तरीका है कि एक C++ फ़ंक्शन परिणाम अनदेखा नहीं किया जाता है?

Question

मैं हाल ही में एक मामले में भाग गया जहां मेरे पास एक कॉन्स सदस्य समारोह था जो एक ऑपरेशन कर रहा था और परिणाम लौटा रहा था। उदाहरण के लिए,

class Foo { ... 
    Foo add(Foo const & x) const; 
} 

लेकिन किसी और अनजाने यह बुला रहा था यह this वस्तु (परिणाम अनदेखी) को अद्यतन करने गया था की तरह:

Foo a = ...; 
Foo b = ...; 
a.add(b); 

(। इस बग वास्तव में एक अपूर्ण रिफैक्टरिंग द्वारा पेश किया गया था)

क्या कोई पिछली पंक्ति किसी त्रुटि या चेतावनी को ट्रिगर करने का कोई तरीका है? अगली सबसे अच्छी बात एक रन-टाइम कैच होगी, जिसे ज्यादातर निम्न टेम्पलेट द्वारा संबोधित किया जाता है। हालांकि, यह काउंटर परिणाम द्वारा देखी गई वापसी मूल्य अनुकूलन को मारता है।

template<typename T> 
class MustTake { 
    T & obj; 
    bool took; 
public: 
    MustTake(T o) : obj(o), took(false) {} 
    ~MustTake() { if (!took) throw "not taken"; } 
    operator T&() { took = true; return obj;} 
}; 

struct Counter { 
    int n; 
    Counter() : n(0) {} 
    Counter(Counter const & c) : n(c.n+1) {} 
    ~Counter() {} 
}; 

Counter zero1() { 
    return Counter(); 
} 

MustTake<Counter> zero2() { 
    return Counter(); 
} 

int main() { 
    Counter c1 = zero1(); 
    printf("%d\n",c1.n); // prints 0 
    Counter c2 = zero2(); 
    printf("%d\n",c2.n); // prints 1 
    zero1(); // result ignored 
    zero2(); // throws 
    return 0; 
} 

मुझे लगता है मैं एक मैक्रो का उपयोग करके अक्षमता को कम कर सकते हैं लगता है तो MustTake <> केवल डिबग और जारी करने के लिए नो-सेशन है।

मैं संकलन-समय समाधान ढूंढ रहा हूं। यह असफल रहा, मैं सबसे अच्छा रन-टाइम समाधान ढूंढ रहा हूं।

Answer 1

यह जीसीसी और क्लैंग में (documentation) के लिए फ़ंक्शन विशेषताएँ हैं, लेकिन यह पोर्टेबल नहीं है MSVC।

class Foo { ... 
    __attribute__((warn_unused_result)) 
    Foo add(Foo const & x) const; 
} 

प्रलेखन कहते हैं कि यह realloc उदाहरण के लिए , पर प्रयोग किया जाता है, लेकिन यह अपने सिस्टम पर किसी भी अन्य मानक कार्यों पर प्रकट नहीं होता।

आप क्लैंग स्थिर विश्लेषक का उपयोग करने में रुचि भी ले सकते हैं, जो फ़ंक्शन कॉल में डेटा प्रवाह ट्रैक करता है और आपको बेहतर चेतावनियां दे सकता है।

Answer 2

माइक्रोसॉफ्ट कुलपति ++ के लिए, वहाँ _Check_return_ एनोटेशन है: http://msdn.microsoft.com/en-us/library/ms235402(v=VS.100).aspx

Answer 3

तो यह महत्वपूर्ण है कि एक वापसी मान एक समारोह के फोन करने वाले, टेम्पलेट dont_ignore द्वारा नजरअंदाज नहीं किया जा के रूप में

इस प्रकार से पहले इस्तेमाल किया जा सकता :

int add(int x, int y) 
{ 
    return x + y; 
} 

के बाद:

dont_ignore<int> add(int x, int y) 
{ 
    return x + y; 
} 

जब फ़ंक्शन का कॉलर वापसी मान का उपयोग नहीं करता है, तो एक अपवाद फेंक दिया जाता है। dont_ignore की परिभाषा:

template<class T> 
struct dont_ignore 
{ 
    const T  v; 
    bool  used; 

    dont_ignore(const T& v) 
     : v(v), used(false) 
    {} 

    ~dont_ignore() 
    { 
     if (!used) 
      throw std::runtime_error("return value not used"); 
    } 

    operator T() 
    { 
     used = true; 
     return v; 
    } 
};