c – 不是非类型参数包,评估为“void …”非法？

2019-09-30 18:07:31 阅读：231 来源： 互联网

标签：c c11 templates variadic-templates void

gcc-4.8接受这个代码,但是没有错,因为非类型参数包等同于void …这是非法的？

template <typename T,
          typename std::enable_if<std::is_integral<T>::value>::type...>
void test(T) {}

我用clang-3.5尝试了这个,也接受了它.这是编译器错误,还是我误解了什么？

下面的完整测试代码,它使用非类型的空参数包来简化enable_if.
这几乎与Flaming Dangerzone’s Remastered enable_if中的情况相同,除非替换后包装变为无效….

#include <type_traits>

template < typename C >
using enable_if = typename std::enable_if<C::value>::type ;

template < typename T, enable_if<std::is_integral<T>>... >
void test(T){} // #1

template < typename T, enable_if<std::is_floating_point<T>>... >
void test(T){} //#2

int main()
{
   test(0);   // calls #1
   test(0.0); // calls #2
   return 0;
}

gcc-4.8编译上面的代码就好了. clang不是,但那是因为它有一个不同的错误http://llvm.org/bugs/show_bug.cgi?id=11723.

解决方法:

在another question的背景下进行了大量搜索后,我发现标准中有一点明确表明这是非法的：

[temp.res]/8.3：

The program is ill-formed, no diagnostic required, if: …
every valid specialization of a variadic template requires an empty template parameter pack

因此,该程序是不正确的,编译器不需要警告你.

标签：c,c11,templates,variadic-templates,void
来源： https://codeday.me/bug/20190930/1836320.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

c – 不是非类型参数包,评估为“void …”非法？