Question

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 = 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。

Answer 1

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

[temp.res]/8.3：

该程序格式错误，如果以下情况，则无需诊断：... 可变参数模板的每个有效专业化都需要一个空的模板参数包

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

是非非类型参数包，评估为“void ...”非法？

1 个答案: