我们可以使用模板特化来将变参模板函数的非变参模板化。具体来说，我们可以为函数的非变参提供一个特化版本，在此特化版本中，我们仍然使用相同的函数名和参数列表，但使用具体的非模板参数类型来代替函数模板中的对应参数。这样，只要我们调用函数时将其与特化版本匹配，编译器将自动选择特化版本来执行。

以下是一个示例，其中函数foo是一个变参模板函数，它接受不定数量的类型参数，最后一个参数是int类型的非模板参数。我们针对int类型提供了两个模板化重载函数bar和bar2，分别接受一个short和一个long类型的参数。当我们调用foo时，编译器将查找最适合的版本来执行。如果最后一个参数是int，将使用基于int的通用模板函数，否则将使用适当的特化版本。

#include 
#include 

template
void foo(Args... args, last non_var){
    std::cout << "foo generic: " << typeid(non_var).name() << std::endl;
}

template
void foo(Args... args){
    std::cout << "foo variadic" << std::endl;
}

template
void bar(T non_var){
    std::cout << "bar: " << typeid(T).name() << std::endl;
}

template<>
void bar(int non_var){
    std::cout << "bar: " << non_var << std::endl;
}

template<>
void bar2(long non_var){
    std::cout << "bar2: " << non_var << std::endl;
}

int main(){
    foo(1, 2, 3);         // foo variadic
    foo(1, 2, 3, 4);      // foo generic: i
    bar(5);               // bar: i