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 没有,但那是因为它有一个不同的错误 http://llvm.org/bugs/show_bug.cgi?id=11723 .
最佳答案
在 another question 的上下文中进行了大量搜索之后,我在标准中发现了一点,明确指出这是非法的:
The program is ill-formed, no diagnostic required, if: ... every valid specialization of a variadic template requires an empty template parameter pack
因此,该程序格式错误,编译器不需要警告您。
关于c++ - 评估为 "void..."的非类型参数包不是非法的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23401376/