std::ref 返回可拷贝的 std::reference_wrapper 对象,用于在线程、容器、bind 等场景中传递引用语义;它不创建引用,而是封装引用以支持拷贝和存储,但不延长对象生命周期。

std::ref 不是引用,而是包装器
很多人以为 std::ref 就是“让普通变量变成引用传参”,其实它返回的是一个 std::reference_wrapper 对象——本质是可拷贝、可赋值的引用代理。真正的 c++ 引用(如 int&)不能被拷贝、不能作为容器元素、也不能直接用于线程参数传递(因为 std::Thread 构造函数会对参数做 move/copy,而引用本身不可复制)。
所以 std::ref(x) 的作用不是“创建引用”,而是“把对 x 的引用语义,封装成能被拷贝的对象”。
- 直接写
func(x)→ 传值(x被拷贝) - 写
func(x)+ 参数声明为int&→ 编译失败(无法将左值绑定到右值引用,且std::thread内部会尝试 copy/move) - 写
func(std::ref(x))+ 参数声明为int&→ 成功,std::reference_wrapper在调用时自动转成int&
std::thread 中不加 std::ref 就会传值
这是最常见踩坑点:你以为在线程里修改的是原始变量,结果改的只是副本。
int x = 42; std::thread t([](int& v) { v = 99; }, x); // ❌ 编译失败:无法绑定 int& 到 int std::thread t([](int v) { v = 99; }, x); // ✅ 但改的是副本,x 仍是 42 std::thread t([](int& v) { v = 99; }, std::ref(x)); // ✅ 正确,x 变成 99
原因在于 std::thread 的构造函数模板会对每个实参调用 std::decay_t,把引用、const 等修饰全部剥离。只有显式用 std::ref 或 std::cref 包装,才能把引用语义“扛”进线程函数。
立即学习“C++免费学习笔记(深入)”;
-
std::ref(x)→ 允许线程内修改x -
std::cref(x)→ 参数声明为const int&,只读访问 - 裸传指针(如
&x)也行,但需确保x生命周期长于线程,且易出错
std::ref 和 Lambda 捕获的区别
lambda 按引用捕获([&x])看起来更简洁,但它和 std::ref 解决的是不同层面的问题:
-
[&x]是在定义 lambda 时就绑定了当前栈上的x;如果 lambda 被移到另一个线程执行,且x已经析构(比如函数已返回),那就成了悬垂引用 —— 未定义行为 -
std::ref(x)是把引用语义“延迟”到线程函数真正调用时才解引用,前提是调用时x仍有效 - 二者都不延长对象生命周期。真正安全的做法是:确保被引用对象的生存期覆盖整个线程运行期,比如把
x放在堆上(std::shared_ptr)、或保证线程 join 完再离开作用域
std::ref 在 vector 和 bind 中也常用
除了线程,std::ref 还常用于需要“存储引用”的场景,因为标准容器不允许存原生引用:
int a = 1, b = 2; std::vector> refs = {std::ref(a), std::ref(b)}; refs[0] = 99; // a 变成 99
类似地,std::bind 默认也是拷贝参数,想绑定引用就得用 std::ref:
int y = 10; auto f = std::bind([](int& z) { z *= 2; }, std::ref(y)); f(); // y 变成 20
现代代码中,std::ref 的使用频率其实在下降——C++17 后 std::thread 支持完美转发,配合 lambda 捕获或移动语义更清晰;但只要你还用 std::bind 或要往容器里塞“类引用”对象,它就绕不开。
最容易被忽略的一点:std::ref 不检查空安全性,也不管理生命周期。它只是一个轻量包装,用错时崩溃往往悄无声息,只能靠逻辑和 RaiI 配合兜底。