Предположим, у меня есть функция шаблона:

template<typename T>
void f(T t)
{
    ...
}

и я хочу написать специализацию для всех примитивных целочисленных типов. Каков наилучший способ сделать это?

Я имею в виду:

template<typename I where is_integral<I>::value is true>
void f(I i)
{
    ...
}

а компилятор выбирает вторую версию для целочисленных типов и первую версию для всего остального?