소멸자 및 noexcept

Question

소멸자 및 noexcept과 약간 혼동합니다. 내 이해는 C++ 11에서는 사용자 정의를 포함하여 소멸자가 암시 적으로 noexcept(true)인데, 심지어 throw 인 경우에도 마찬가지입니다. 그리고 그들이 어떤 이유로 그것을 원한다면 명시 적으로 noexcept(false)을 지정해야합니다.

나는 GCC 4.7.2에서 클래스와 소멸자가 얼마나 원시적이든지간에 사용자 정의 소멸자가 암시 적으로 noexcept(false)임을 알았습니다. 내가 여기서 무엇을 놓치고 있니? 사용자 정의 소멸자가있는 숨겨진 잡화가 있습니까?

Answer 1

이것은 known bug (버그보고를 찾는 OP에 크레디트)이며, GCC 4.8.0에서 수정 된 것 같습니다. 예를 들어, 아래의 정적 주장은 GCC 4.7.2에서 실행됩니다,하지만 GCC 4.8.0에 :

은

struct X 
{ 
    ~X() { }; 
}; 

int main() 
{ 
    X x; 

    // This will not fire even in GCC 4.7.2 if the destructor is 
    // explicitly marked as noexcept(true) 
    static_assert(noexcept(x.~X()), "Ouch!"); 
}