C++多线程环境下向构造函数传递含std::function参数的高效方案

开销差异分析 #

我们分不同参数类型逐一看：

• 基础类型（比如你代码里的int id）：
  两种方案开销几乎无差异。int属于极小的标量类型，传值的拷贝开销远小于引用寻址的间接开销，甚至按值传递性能略优。
• 带堆资源的类型（std::function、std::string）：
  分两种传参场景对比：
  1. 传入左值实参（比如你现有main代码里的name、customCallback都是左值）：
     • 方案1（值传+move）：先做1次拷贝构造生成形参，再做1次移动构造初始化成员，总共1次拷贝+1次移动
     • 方案2（const引用+拷贝）：仅做1次拷贝构造初始化成员
       这种场景下方案2开销略低，但移动std::string和std::function的开销极低（仅拷贝几个指针成员），实际感知差异极小。
  2. 传入右值实参（比如直接传临时字符串"test_name"、临时lambda作为回调）：
     • 方案1（值传+move）：先做1次移动构造生成形参，再做1次移动构造初始化成员，总共2次移动
     • 方案2（const引用+拷贝）：const引用绑定临时对象后，仍需要做1次拷贝构造初始化成员
       这种场景下方案1的性能优势极大，尤其是长字符串、带大捕获列表的std::function场景，避免了堆内存的拷贝。

方案选择结论 #

如果你确定构造函数永远只会传左值，两种方案差异不大；如果需要兼容右值传参的场景，方案1泛用性更好，整体性能表现更稳定。

用完美转发实现构造函数，C11就已支持该特性，完全兼容C14及更低版本，能同时兼顾左值、右值传参场景，无额外冗余开销：

// 类A的构造函数声明写在类定义内
class A {
    // 其他成员不变
public:
    template<typename Func, typename Str>
    A(Func&& cb, int id, Str&& name) :
        callback_{std::forward<Func>(cb)},
        id_{id},
        name_{std::forward<Str>(name)}
    {
        thread_ = std::thread{[this] () {
            // some code
        }};
    }
};

这个实现的开销是所有场景下最优的：

• 传左值回调/字符串：仅1次拷贝构造初始化成员
• 传右值回调/字符串：仅1次移动构造初始化成员
• 对于int类型不需要额外处理，直接传值即可

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