std :: सी ++ 17

Question

C++ में 17 noexcepthas been added to the type system में noexcept साथ समारोह:

void r1(void (*f)() noexcept) { f(); } 
void foo() { throw 1; } 

int main() 
{ 
    r1(foo); 
} 

जीसीसी के नवीनतम संस्करण और में बजना सी ++ 17 मोड कॉल को अस्वीकार r1(foo) क्योंकि void (*)() नहीं किया जा सकता स्पष्ट रूप से void (*)() noexcept में परिवर्तित हो गया।

लेकिन बजाय std::function साथ:

#include <functional> 

void r2(std::function<void() noexcept> f) { f(); } 
void foo() { throw 1; } 

int main() 
{ 
    r2(foo); 
} 

बजना कार्यक्रम, जाहिरा तौर पर noexcept विनिर्देशक अनदेखी स्वीकार करता है; और g ++ std::function<void() noexcept> के बारे में एक अजीब त्रुटि देता है।

सी ++ 17 में इस दूसरे कार्यक्रम के लिए सही व्यवहार क्या है? आंशिक विशेषज्ञता से मेल नहीं खाता

template<class T> 
class function; // not defined 

template<class R, class... ArgTypes> 
class function<R(ArgTypes...)> { 
    /* ... */ 
}; 

void() noexcept के बाद से std::function<void() noexcept> एक अधूरी प्रकार है:

Answer 1

std::function की परिभाषा वर्तमान कार्यशील मसौदे में नहीं बदला है। क्लैंग और जीसीसी ट्रंक दोनों तदनुसार इसका निदान करते हैं।