![](/img/trans.png)
[英]void_t and trailing return type with decltype: are they completely interchangeable?
[英]void_t in parameter list works but not as return type
关于使用别名的cppreference有一个例子。 此示例失败,因为int
没有成员foo
:
template<typename...> using void_t = void;
template<typename T> void_t<typename T::foo> f();
f<int>(); // error, int does not have a nested type foo
这很清楚,但是当我尝试将void_t
部分放在参数列表中时,它意外地编译了:
template<typename...> using void_t = void;
template<typename T> void f(void_t<typename T::foo>);
f<int>();
它编译clang而不是gcc。 这是一个错误吗?
template<class...>struct voider{using type=void;};
template<class...Ts>using void_t=typename voider<Ts...>::type;
C ++ 11标准中存在一个含糊不清的问题,即使用无效类型/表达式别名的模板的未使用模板参数是否是替换失败。
gcc和clang对这个条款的解释不同,这就是我认为你所看到的。 上面的void_t
应该使它在gcc和clang中都一样。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.