为什么std::function作为模板参数时无法匹配普通函数？

问题1：testclass1::SetFunction 调用报错原因 #

• 核心原因是C++模板参数包的推导规则：当你显式为模板参数包指定部分参数时，编译器默认会继续从函数实参推导参数包的剩余元素，而不是认为你已经指定了全部参数。
• 你调用 tc1.SetFunction<std::string, double>(some_function) 时，显式给参数包 Ts 传了两个参数，但编译器发现你传入的实参是普通函数指针 void(*)(std::string*, double*)，不是已实例化的 std::function 类型，就会尝试继续推导 Ts 的更多元素，最终把 std::function<void(Ts*...)> 推导成类似 void(std::string*, double*, 未知类型指针...) 的形式，你看到的错误信息里的 type-parameter-0-0 就是编译器给这个推导中的未知占位类型生成的标记，和隐式this指针、成员函数完全无关。
• 而你传入已构造好的 TFunc<std::string, double> 实例时，实参类型和模板参数完全匹配，编译器推导不出更多的参数包元素，就会认为 Ts 就是你显式指定的两个类型，所以编译正常。

问题2：tuple 示例可以正常运行的原因 #

• 你传入的 tt 是已经实例化完成的 test_tuple<std::string, double>，类型完全固定。当你调用 test_func<std::string>(tt) 时，编译器可以直接从 tt 的固定类型推导出参数包 Ts 的剩余元素是 double，最终确定 Ts 完整为 <std::string, double>，和函数参数完全匹配，所以不会报错。
• 两个场景的核心差异是：tuple 示例的实参是已完成实例化的模板类实例，类型固定，可以直接补全参数包；而 testclass1 报错的调用中，实参是普通函数指针，不属于对应 std::function 的实例类型，无法用来补全参数包，反而会让编译器误以为参数包还有更多元素。

解决方案 #

最简单的实现方式是把 SetFunction 的参数放到非推导语境，阻止编译器从函数实参推导参数包，仅使用你显式指定的参数：

// 自定义类型标识，兼容C++11及以上版本，C++20可直接用<type_traits>里的std::type_identity
template<typename T>
struct type_identity {
    using type = T;
};
template<typename T>
using type_identity_t = typename type_identity<T>::type;

class testclass1
{
public:
    template <typename...Ts>
    using TFunc = std::function<void(Ts*...)>;
    
    template <typename...Ts>
    // 用type_identity_t包裹参数类型，阻止从实参推导Ts
    void SetFunction(type_identity_t<TFunc<Ts...>> tf)
    {
        // Do something
    }
};

修改后你原本报错的调用就可以正常编译，普通函数指针会被隐式转换为对应类型的std::function，完全符合你要的写法。

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