对于下面的程序,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() {}@H_502_3@与提案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; }@H_502_3@