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 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.