对于下面的程序,Clang 5(主干)报告IsNoexcept不可推导,而GCC 7.1段错误.标准(草案)对此有何评论？这是编译器的QOI问题吗？
static_assert(__cpp_noexcept_function_type,"requires c++1z");
template<typename T>
struct is_noexcept;
template<bool IsNoexcept>
struct is_noexcept<void() noexcept(IsNoexcept)> {
static constexpr auto value = IsNoexcept;
};
static_assert(is_noexcept<void() noexcept>::value);
static_assert(!is_noexcept<void()>::value);
int main() {}
与提案P0012有关.
解决方法
>
[temp.deduct.type]/8列出了可以推导出模板参数的所有类型的类型.异常规范不在列表中,因此不可推断.
>作为 an extension,GCC允许从noexcept中推导出来以简化std :: is_function的实现.看起来扩展只是非常轻微的测试.
>这个扩展最初是由Clang的维护者提出的,似乎在委员会中有一些支持,但是 it’s not clear if it will eventually make its way into the standard.
>这不是一个符合标准的扩展,因为它改变了明确定义的代码的含义,例如g(f)的值与下面的代码片段：
>作为 an extension,GCC允许从noexcept中推导出来以简化std :: is_function的实现.看起来扩展只是非常轻微的测试.
>这个扩展最初是由Clang的维护者提出的,似乎在委员会中有一些支持,但是 it’s not clear if it will eventually make its way into the standard.
>这不是一个符合标准的扩展,因为它改变了明确定义的代码的含义,例如g(f)的值与下面的代码片段：
void f() noexcept;
template<bool E = false,class R>
constexpr bool g(R (*)() noexcept(E)){
return E;
}
