C++模板函数类型与std::function的区别及编译问题解析

一、模板参数存储可调用对象与std::function的核心区别 #

• 类型机制差异：std::function是类型擦除的可调用对象包装器，只要可调用对象的签名匹配，就可以被包装为同一种std::function<Signature>类型，支持运行期多态，可将不同类型但签名相同的可调用对象存入同一容器。模板参数存储的是可调用对象的原生类型，每个不同的可调用对象都会实例化出独立的模板类，类型在编译期完全确定，没有运行期多态能力，不同原生类型的模板类实例互相不兼容。
• 性能开销差异：std::function有类型擦除带来的虚函数调用开销，若存储的可调用对象超过小对象优化阈值还会触发堆分配。模板原生类型存储没有额外开销，调用可直接被编译器内联优化，性能更高。
• 生命周期绑定差异：std::function会将传入的可调用对象拷贝/移动到自身内部存储，不依赖原可调用对象的生命周期。模板参数若被推导为引用类型，成员会直接绑定原对象，原对象销毁后会出现悬空引用。

二、代码中a2可编译、b2编译失败的原因 #

前置知识点：转发引用仅适用于函数模板自身的模板参数，且参数形式为T&&，类模板的构造函数参数若使用类的模板参数声明为F&&，不属于转发引用，就是对应类型的右值引用。

a2编译正常的原因 #

A类的构造函数参数是std::function<void(int)>&&，是固定类型的右值引用。当你传入左值lambda对象f时，编译器会先隐式构造一个临时的std::function<void(int)>右值，该临时值可以合法绑定到右值引用参数，最终被移动到A的成员变量f中，因此编译正常。

b2编译失败的原因 #

B是模板类，构造函数参数F&&的F是类的模板参数，不属于转发引用：

1. 当你传入左值f构造b2时，会触发C++17类模板参数推导，为了让左值匹配F&&参数，F会被推导为lambda类型的左值引用LambdaType&，此时参数类型折叠为左值引用，匹配传入的f。
2. 但类的成员变量声明为F f，即LambdaType& f，是左值引用类型。初始化列表中你用std::move(func)对其初始化，std::move会将func转为右值，左值引用无法绑定到右值，因此编译报错。
3. 若你手动指定模板参数为B<decltype(f)> b2(f)，此时构造函数参数为decltype(f)&&即右值引用，无法绑定左值f，同样编译失败。

如果要让b2正常编译，可选择两种修复方案：

1. 构造b2时传入右值：B b2(std::move(f));
2. 将构造函数改为自带模板参数的转发引用实现：

template <class F>
class B {
public:
    template <typename Func>
    B(Func&& func) : f(std::forward<Func>(func)) {}
    F f;
};

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