Смешивание значений вариационных шаблонов и вариационных выведенных типов

Является ли следующее определение стандартным?

#include <iostream>

template <unsigned int... Values, class... Types>
void f(Types&&... values)
{
    std::cout<<sizeof...(Values)<<" "<<sizeof...(Types)<<std::endl;
}

int main()
{
    f<7, 5>(3);
    return 0;
}

Он хорошо компилируется под g++ 4.8, но мне интересно, нормально ли это.

Ответ 1

От стандартная рабочая версия стандарта ISO С++ 14.1 (11):

Пакет параметров шаблона функции не должен сопровождаться другим параметром template > , если только этот параметр шаблона не может быть выведен из списка параметров типa > шаблона функции или имеет аргумент по умолчанию

В вашем случае "Типы" - это пакет параметров функции, а "Значения", то есть пакет параметров шаблона, всегда может сопровождаться пакетом параметров функций. Также этот код работает по той же причине:

#include <iostream>

template <class... Values, class... Types>
void f(Types&&... values)
{
    std::cout<<sizeof...(Values)<<" "<<sizeof...(Types)<<std::endl;
}

int main()
{
    f<int, float>(-3, 5);
    return 0;
}