Не является пакетом параметров не-типа, который оценивается как "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 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.

Ответ 1

Оба фрагмента кода, которые вы предоставили, не имеют смысла, поскольку вы не можете иметь расширение пакета без пакета нераспакованных параметров: §14.5.3/5:

В шаблоне расширения пакета указывается один или несколько пакетов параметров, которые не расширяются путем расширения вложенного пакета; такие пакеты параметров называются пакетами нерасширенных параметров в шаблоне.

Вернуться к актуальной проблеме: Если вы действительно использовали правильное расширение пакета, и вы создали экземпляр расширения пакета с непустым пакетом параметров, применяется правило в §14.1/7, потому что, очевидно, параметр шаблона непигового типа не может быть объявлен как имеющий тип void.

Пока это расширение пакета не создается с помощью непустого пакета параметров, никакое правило не нарушается, поскольку не выполняется декларация параметров.:)

Ответ 2

После долгих поисков в контексте другого вопроса я нашел немного в стандарте, в котором четко указано, что это незаконно:

[temp.res]/8.3:

Программа плохо сформирована, не требуется диагностика, если:... всякая действительная специализация вариационного шаблона требует пустого набора параметров шаблона

Таким образом, программа плохо сформирована, и компиляторы не обязаны предупреждать вас об этом.