noexcept của một hàm trả về một lớp có ném destructor

Question

Trong đoạn mã sau, tôi nghĩ rằng xác nhận không nên kích hoạt nhưng nó có.

struct A 
{ 
    ~A() noexcept(false); 
}; 

A f() noexcept; 

int main() 
{ 
    static_assert(noexcept(f()), "f must be noexcept"); 
} 

Chức năng f() không rõ ràng, nhưng noexcept(f()) được đánh giá là sai. (trong cả gcc và clang)

Tôi có thiếu thứ gì đó hay là lỗi?

Answer 1

Nhà điều hành noexcept trên biểu thức e cho bạn biết bộ ngoại lệ tiềm năng của biểu thức có trống không. Bộ này chứa các trường hợp ngoại lệ tiềm năng của destructor, theo [except.spec]/(13.2):

Nếu e ngầm gọi một hoặc nhiều chức năng (chẳng hạn như một nhà điều hành quá tải, một chức năng phân bổ trong một mới- biểu hiện, hoặc một destructor nếu e là một full-biểu thức (1.9)), S là sự kết hợp của: [...] bộ các loại trong thông số kỹ thuật ngoại lệ của tất cả các chức năng như vậy