当我将模板与noexcept
说明符结合使用时,我收到有关不匹配的noexcept规范的错误。它汇编了我在所有版本的gcc中使用的各种版本的clang和fails。
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()));
^
这是一个错误吗?有没有办法解决它?
答案 0 :(得分:1)
使用枚举来存储noexcept运算符的结果至少在目前由ideone使用的gcc-4.9.2中是一个可怕的workaround。
#include <iostream>
#include <utility>
struct Y
{
void h() noexcept;
void i();
};
enum Y_noexcept_value
{
h = noexcept(std::declval<Y>().h()),
i = noexcept(std::declval<Y>().i())
};
template<typename T>
struct X
{
void f() noexcept(Y_noexcept_value::h);
void g() noexcept(Y_noexcept_value::i);
};
template<typename T>
void X<T>::f() noexcept(Y_noexcept_value::h)
{
}
template<typename T>
void X<T>::g() noexcept(Y_noexcept_value::i)
{
}
int main()
{
std::cout << std::boolalpha
<< noexcept(std::declval<X<int>>().f()) << std::endl
<< noexcept(std::declval<X<int>>().g()) << std::endl;
return 0;
}