4

テンプレートを指定子と組み合わせて使用​​すると、noexcept 指定の不一致に関するエラーが発生しnoexceptます。私が使用したさまざまなバージョンのclangでコンパイルされ、gccのすべてのバージョンで失敗します。

struct Y
{
    void h();
};

template<typename T>
struct X
{
    void f() noexcept(noexcept(std::declval<Y>().h()));
};

template<typename T>
void X<T>::f() noexcept(noexcept(std::declval<Y>().h()))
{
}

int main()
{
}

エラー:

g++ -std=c++1y -O2 -Wall -pthread main.cpp && ./a.out

main.cpp:15:56: error: declaration of 'void X<T>::f() noexcept (noexcept (declval<Y>().Y::f()))' has a different exception specifier
void X<T>::f() noexcept(noexcept(std::declval<Y>().f()))
                                                    ^
main.cpp:11:10: error: from previous declaration 'void X<T>::f() noexcept (noexcept (declval<Y>().Y::f()))'
void f() noexcept(noexcept(std::declval<Y>().f()));
     ^

これはバグですか?それを回避する方法はありますか?

4

1 に答える 1