noexcept 운영자는 인위적인 나타날 수 있습니다 포인터 - 투 - 회원 기능을

Question

이 MWE를 호출 한 후 실패하지만 실패 static_assert 그럼에도 불구하고 놀라운 :

#include <utility> 

struct C { 
    void f() noexcept { } 
    using F = void(C::*)(); 

    static constexpr F handler() noexcept { 
    return &C::f; 
    } 

    void g() noexcept(noexcept((this->*handler())())) { 
    } 
}; 

int main() { 
    static_assert(noexcept(std::declval<C>().g())); 
} 

Wandbox 링크 : https://wandbox.org/permlink/a8HSyfuyX1buGrbZ

나는이 작업 할 기대 Clang하지만 Operator noexcept의 맥락에서 "this"와는 다른 처리 방식으로 인해 GCC가 아닙니다.

Answer 1

static_assert은 문자열 인수가 없으므로 C++ 17을 사용하고 있습니다. C++ 17에서는 noexcept이 형식 시스템의 일부가되었습니다. 즉, 주어진 의미는 다음과 같습니다.

using F = void(C::*)(); 

이 PMF는 noexcept이 아닙니다. 이 함수를 호출하면 noexcept(false) 멤버 함수를 호출하는 것과 같습니다.

이

using F = void(C::*)() noexcept; 

변화가 코드를 컴파일 할 수 있습니다 : 당신은 noexcept로 기능 유형을 표시해야

#include <utility> 

struct C { 
    void f() noexcept { } 
    using F = void(C::*)() noexcept; 

    static constexpr F handler() noexcept { 
    return &C::f; 
    } 

    void g() noexcept(noexcept((this->*handler())())) { 
    } 
}; 

int main() { 
    static_assert(noexcept(std::declval<C>().g())); 
} 

^{On Godbolt}

Answer 2

f이 noexcept이지만, 포인터가 아니다 . 따라서 g의 정의에서 this->*handler()은 noexcept이 아닌 PMF를 반환합니다 (이noexcept 인 MF의 주소를 반환하기 때문에) (this->*handler())()을 작성하여 호출 할 때 noexcept는 noexcept 절 있도록 false이 반환합니다.

을 5 행의 끝에 noexcept를 추가하고 작동합니다.