可变参数模板函数实参不被接受：C++代码编译失败求助

核心问题 #

这段代码编译失败有两个关键原因：

• 模板参数包冲突：Args...同时用于std::function的签名和函数的可变参数列表。你显式指定Args...为int&, int&，但编译器会从实参a、b（类型为int）推导出Args...为int, int，两者类型冲突，导致模板匹配失败。
• 用户定义转换不被模板推导支持：bar是普通函数指针，要转换为std::function需要用户定义的构造转换。在模板推导过程中（因Args...存在推导冲突），编译器不会考虑这类转换，进一步导致参数类型不匹配。

解决方法 #

方法1：拆分模板参数包 #

将函数签名的参数和调用参数拆分为两个独立的模板参数包，避免冲突：

#include <functional>
#include <string>
#include <utility> // 用于std::forward

void bar(std::string str, int& a, int& b)
{
}

template<typename T, typename ... FnArgs, typename... CallArgs>
void foo(std::function<void(T, FnArgs...)> fcn, CallArgs&& ... args)
{
    fcn(std::forward<CallArgs>(args)...);
}

void run()
{
    int a = 3;
    int b = 5;
    foo<std::string, int&, int&>(bar, a, b);
}

方法2：直接接受可调用对象（推荐） #

放弃std::function，让编译器自动推导可调用对象的类型，既简洁又避免转换开销：

#include <functional> // 用于std::invoke
#include <string>

void bar(std::string str, int& a, int& b)
{
}

template<typename F, typename ... Args>
void foo(F fcn, Args&& ... args)
{
    std::invoke(fcn, std::forward<Args>(args)...);
}

void run()
{
    int a = 3;
    int b = 5;
    foo(bar, a, b); // 无需显式指定模板参数
}

方法3：显式转换函数为std::function #

调用时手动将bar转换为目标std::function类型，消除类型匹配问题：

#include <functional>
#include <string>

void bar(std::string str, int& a, int& b)
{
}

template<typename T, typename ... Args>
void foo(std::function<void(T, Args...)> fcn, Args ... args)
{
    fcn("test", args...);
}

void run()
{
    int a = 3;
    int b = 5;
    foo<std::string, int&, int&>(
        std::function<void(std::string, int&, int&)>(bar), 
        a, b
    );
}

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