std :: chức năng với noexcept trong C++ 17

Question

Trong C++ 17 noexcepthas been added to the type system:

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

int main() 
{ 
    r1(foo); 
} 

Các phiên bản mới nhất của gcc và Clang trong C++ 17 chế độ từ chối cuộc gọi r1(foo) vì void (*)() không thể chuyển đổi hoàn toàn thành void (*)() noexcept.

Nhưng với std::function thay vì:

#include <functional> 

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

int main() 
{ 
    r2(foo); 
} 

kêu vang chấp nhận chương trình, dường như bỏ qua noexcept specifier; và g ++ đưa ra một lỗi lạ về std::function<void() noexcept>.

Hành vi chính xác cho chương trình thứ hai này trong C++ 17 là gì? định nghĩa

Answer 1

std::function 's đã không thay đổi trong bản dự thảo làm việc hiện tại:

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

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

Kể từ void() noexcept không phù hợp với chuyên môn hóa một phần, std::function<void() noexcept> là một loại không đầy đủ. Cả hai Clang và GCC trunk chẩn đoán điều này cho phù hợp.