如何在调用时显式实例化C++可变参数模板函数？

一、显式实例化可变参数函数的报错解决 #

你遇到的编译错误，本质是引用折叠规则导致的参数绑定失败：
当你显式指定模板参数为string &&时，函数参数Args &&会根据引用折叠变为string && && → string &&（右值引用），但第一个实参str是左值，右值引用无法直接绑定左值，因此编译器报错。

修正方案 #

如果需要绑定左值，显式指定模板参数为左值引用类型，此时引用折叠后参数会变为左值引用，可正常接收左值：

#include <iostream>
#include <string>
#include <functional>

using namespace std;

template<typename ... Args>
void variadic( Args &&... args );

int main()
{
    string str;
    // 显式指定模板参数为左值引用，适配左值实参
    variadic<string&, string&>( str, ref( str ) );
}

template<typename ... Args>
void variadic( Args &&... args )
{
    ((cout << (void*)&args << endl), ...);
}

如果确实需要传递右值引用，可将第一个实参改为右值（比如std::move(str)），此时显式指定string &&即可正常编译。

二、函数对象作为模板参数的简化方法 #

若不想用lambda，可通过以下两种更简洁的方式实现：

1. 使用模板函数对象类 #

定义一个模板化的函数对象类，直接将类作为模板参数传入，无需提前特化：

#include <iostream>
#include <string>

template<typename... Args>
struct VariadicFunc {
    void operator()(Args&&... args) const {
        ((std::cout << args << " "), ...);
        std::cout << "\n";
    }
};

// 接收函数对象类型作为模板参数的调用函数
template<typename Func, typename... Args>
void call_with_func(Args&&... args) {
    Func{}(std::forward<Args>(args)...);
}

int main() {
    // 直接指定函数对象的模板参数即可调用
    call_with_func<VariadicFunc<int, std::string, double>>(123, "hello", 3.14);
}

2. 直接传递模板函数地址 #

若逻辑简单，可直接定义模板函数，显式指定其模板参数后传递地址：

#include <iostream>
#include <string>

template<typename... Args>
void print_args(Args&&... args) {
    ((std::cout << args << " "), ...);
    std::cout << "\n";
}

template<typename Func, typename... Args>
void call_func(Func func, Args&&... args) {
    func(std::forward<Args>(args)...);
}

int main() {
    std::string str = "test";
    // 显式指定模板函数的参数类型后传递地址
    call_func(print_args<int, std::string>, 456, str);
}

内容的提问来源于stack exchange，提问作者user6562673