एक ही कक्षा में स्थित खाके पैरामीटर के रूप में एक constexpr का उपयोग कर त्रुटि

Question

अगर मैं निम्नलिखित C++ 0x कोड को संकलित करने का प्रयास करें, मैं कोई त्रुटि मिलती है :

test.cc:6:27: error: ‘static constexpr int bar::number()’ used before its definition 
test.cc:6:28: note: in template argument for type ‘int’ 

बजना 2.8 के साथ, त्रुटि संदेश है:

test.cc:6:20: error: non-type template argument of type 'int' is not an integral 
     constant expression 
     void function(foo<number()> &); 
          ^~~~~~~~ 
1 error generated. 

अगर मैं एक आधार ग constexpr समारोह के लिए कदम लड़की, यह जीसीसी पर काम करता है, और बजना पर एक ही त्रुटि संदेश देता है:

template<int n> struct foo { }; 

struct base { 
    static constexpr int number() { return 256; } 
}; 

struct bar : base { 
    void function(foo<number()> &); 
}; 

कोड गलत है, या यह एक सीमा या C++ 0x की जीसीसी 4.6 के कार्यान्वयन पर बग है? यदि कोड गलत है, तो यह गलत क्यों है, और सी ++ 11 मानक के कौन से खंड कहते हैं कि यह गलत है?

Answer 1

सी ++ में, कक्षा के लिए सदस्य कार्यों की इनलाइन परिभाषाओं को केवल कक्षा में हर घोषणा के बाद पार्स किया जाता है। इसलिए, आपके पहले उदाहरण में, संकलक number() की परिभाषा को उस बिंदु पर नहीं देख सकता जहां function() घोषित किया गया है।

(बजना का कोई संस्करण जारी constexpr कार्यों के मूल्यांकन के लिए समर्थन हासिल है, तो आपके testcases में से कोई भी वहाँ काम करेंगे।)

Answer 2

मैं निम्नलिखित कोड के साथ एक simillar त्रुटि मिल गया है:

struct Test{ 
    struct Sub{constexpr Sub(int i){}}; 
    static constexpr Sub s=0; 
}; 

"त्रुटि: 'constexpr टेस्ट :: सब :: उप (int)' जीसी 4.7.1 पर निरंतर अभिव्यक्ति में कहा जाता है। जबकि यह सफलतापूर्वक संकलन होगा:

struct Sub{constexpr Sub(int i){}}; 
struct Test{ 
    static constexpr Sub s=0; 
};