가상 클래스의 건설 nothrow C++ 11

Question

는 다음과 같은 코드를 가지고 : 그 소리의 SVN에서

#include <type_traits> 

struct X { virtual ~X(); }; 

static_assert(std::is_nothrow_default_constructible<X>::value, "fail"); 

, 그것은 잘 컴파일합니다. 그러나 gcc 4.7.2에서는 어설 션이 실패합니다. 어느 것이 옳은가요? (그리고 gcc가 맞다면, 왜?)

Answer 1

clang이 맞습니다.

이에 대한 몇 가지 논쟁이 있었다,하지만 개체의 건설은 소멸자가 잠재적으로 호출로 발생합니다

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1424

그래서 std::is_nothrow_default_constructible<X>는 기본 생성자를 테스트뿐만 아니라 ~X()되지 않습니다.

기본적으로 ~X()에는 암시 적으로 noexcept이 적용됩니다. 예에서 ~X()을 비공개로 설정하거나 삭제하거나 noexcept(false)을 입력하면 static_assert이 실패합니다.

gcc 4.7.2가 소멸자가 암시 적으로 noexcept이라는 규칙을 아직 구현하지 않은 것으로 의심됩니다.

업데이트

나는 위의 대답하면서 CWG/LWG 문제의 스윕했으나 명백한 놓친 : 아래이 문제를 지적

덕분에 많은 카시오 네리에

http://cplusplus.github.com/LWG/lwg-active.html#2116 . 나 자신을 고르지 않은 Mea culpa. 내가 포함하는 정보가 아마도 도움이된다고 생각하는 것 외에는이 대답을 삭제할 것입니다. 카시오 네리 감사합니다.