constexpr फ़ंक्शन टेम्पलेट्स तत्काल कब हैं?

Question

मैं कार्यात्मक हेडर फ़ंक्शन constexpr बनाने के प्रस्ताव पर काम कर रहा हूं। (std::invoke, std::reference_wrapper, std::bind, std::mem_fn, std::not_fn)

• Preview of the proposal

मैंने सीखा है क्योंकि constexpr कार्यों बेसब्री से instantiated कर रहे हैं कि constexpr जोड़ने मौजूदा कोड तोड़ सकते हैं।

template<class T> 
int f(T){ 
    return T::not_existing_member; 
} 

template<class T> 
constexpr int g(T){ 
    return T::not_existing_member; 
} 

int main(){ 
    decltype(f(0)) a; // Well-formed 
    decltype(g(0)) b; // Ill-formed if the function body is instantiated 
} 

जीसीसी इस कोड को संकलित करता है, क्लैंग नहीं करता है। मैं my proposal में वर्णन करता हूं कि आप std::bind के उदाहरण का उपयोग करके ओवरलोड के साथ उत्सुक तात्कालिकता को कैसे नियंत्रित कर सकते हैं।

आप मुझे बता सकते मानक में यह वर्णन किया गया है, जहां जब एक संकलक करना पड़ता है और जब यह करने की अनुमति है दृष्टांत एक समारोह टेम्पलेट?

template<class T> 
struct Foo{ 
    constexpr int f(){ 
     return 0; 
    } 

    constexpr int f()const{ 
     return T::not_existing_member; 
    } 
}; 

int main(){ 
    /* constexpr */ Foo<int> foo; 
    foo.f(); // Ill-formed with, Well-formed without constexpr by the standard? 
} 

दोनों जीसीसी और बजना कोड संकलन करता है, तो foo नहीं है:

दरअसल मैं कार्यान्वयन परिभाषित करता है, तो निम्न उदाहरण में जीसीसी और बजना के समान व्यवहार मानक द्वारा लागू या है जानना चाहता हूँ constexpr और दोनों इसे अस्वीकार करते हैं यदि यह है।

Answer 1

उदाहरण # 1 सक्रिय है CWG issue 1581। वर्तमान में यह पूरी तरह निर्दिष्ट नहीं है कि सही व्यवहार होना चाहिए। दिशा यह है कि constexpr तत्कालता उत्सुक होनी चाहिए, लेकिन भविष्य में इसे किसी बिंदु पर स्पष्ट करने की आवश्यकता है।

उदाहरण # 2 सीधा है: int Foo<int>::f() const का आह्वान किया गया है। ऐसा तब होता है जब आपकी foo ऑब्जेक्ट const है लेकिन जब यह गैर-const नहीं है। क्लास टेम्पलेट्स के सदस्य फ़ंक्शंस केवल तभी उपयोग किए जाते हैं जब उपयोग किया जाता है, और यदि आपकी Foo<int> ऑब्जेक्ट गैर-const है, तो हम कभी भी const सदस्य फ़ंक्शन को तुरंत चालू नहीं करते हैं, इसलिए कोड अच्छी तरह से गठित होता है। constexpr यहां प्रासंगिक नहीं है।