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中的几乎相同,除了替换后,包变成了void...
#include <type_traits>

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

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

template < typename T, enable_if_t<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没有,但是那是因为它有一个不同的bug http://llvm.org/bugs/show_bug.cgi?id=11723

最佳答案

another question上下文中进行了大量搜索之后,我在标准中发现了一些明确指出这是非法的:

[temp.res]/8.3:



因此,该程序格式不正确,不需要编译器来警告您。

关于c++ - 评估为 "void..."的非类型参数包不是非法的吗?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/23401376/

10-11 16:57