<think>嗯，用户问的是
std::reference_
wrapper的作用和原理，我需要先回忆一下这个知识点的内容。首先，
std::reference_
wrapper在
C++中是用来包装引用的，对吧？那普通的引用和它有什么不同呢？我记得普通的引用在容器里比如vector不能直接存储，比如vector<int&>是不允许的，这时候就需要用到
reference_
wrapper。
那用户可能是在处理需要容器保存引用的情况，或者需要在泛型编程中传递引用的时候。比如，使用算法时想要避免拷贝对象，而用引用来提高效率。这时候
reference_
wrapper就可以派上用场了。
接下来要解释它的原理。
reference_
wrapper内部应该有一个指针，因为引用本质上就是指针的语法糖，而
reference_
wrapper通过指针来模拟引用的行为。然后它重载了operator()，允许隐式转换回原始类型的引用，这样在使用的时候可以像直接使用引用一样方便。
可能用户还不太清楚
为什么需要这个东西，直接使用指针不行吗？这里需要说明
reference_
wrapper提供了类似引用的语义，比如不能为空，并且在某些模板元编程中更容易处理，因为它可以保持值类型的一致性，而指针可能需要额外的处理。
另外，
reference_
wrapper支持拷贝和赋值，而普通的引用不行，这也是它能在容器中使用的原因。比如，当把多个
reference_
wrapper对象放进vector时，它们的赋值操作是允许的，而引用则不行，因为引用一旦初始化后不能改变指向的对象。
可能还需要提到
std::ref和
std::c
ref这些辅助函数，用来方便地创建
reference_
wrapper对象，这样用户就不需要显式地构造它，而是通过函数模板自动推导类型。
用户可能还关心使用场景，比如在绑定参数到函数对象时，或者在多线程中传递参数给线程函数时，保持引用而不是拷贝。或者在使用某些标准库算法如
std::sort时，想要比较对象通过引用访问而不是复制，这时候可以用
reference_
wrapper来包裹元素，避免拷贝开销。
需要注意的是，
reference_
wrapper和普通引用的区别，比如它必须显式转换回引用，或者在某些情况下自动转换。比如在调用一个期望接受引用的函数时，
reference_
wrapper会自动转换，所以用户可能不需要做额外的工作。
最后，总结一下它的主要用途：允许在不能直接使用引用的地方（如容器）存储引用，提供引用的语义，同时具备可拷贝和可赋值的特性，通过内部指针实现，并支持隐式转换回原始引用类型。</think>`
std::reference_
wrapper` 是
C++ 标准库中的一个工具类，主要用于在需要“引用语义”但无法直接使用原生引用的场景中（例如容器存储、模板参数传递等）包装对象引用。它的核心作用是让引用具备可拷贝、可赋值和可存储的特性，同时保留引用的行为。
--
### **作用**
1. **容器存储引用**
原生引用（如 `int&`）无法直接存入容器（如 `
std::vector`），因为容器要求元素类型可拷贝且可赋值，而引用本身不满足这些要求。`
std::reference_
wrapper<T>` 通过包装引用，允许将引用存入容器：
```cpp
std::vector<
std::reference_
wrapper<int>> vec;
int a = 10, b = 20;
vec.push_back(a); // 存入引用
vec.push_back(b);
```
2. **按引用传递到泛型代码**
在模板编程中，若需要将参数按引用传递给函数对象（如 `
std::bind` 或算法），原生引用可能因类型推导丢失引用语义。`
std::reference_
wrapper` 可以显式保留引用：
```cpp
void foo(int& x);
int a = 10;
auto bound_foo =
std::bind(foo,
std::ref(a)); // 按引用绑定参数
```
3. **模拟引用的可赋值性**
原生引用一旦初始化后不能改变指向的对象，而 `
std::reference_
wrapper` 可以通过赋值操作切换引用的目标：
```cpp
int a = 10, b = 20;
std::reference_
wrapper<int>
ref = a;
ref = b; // 现在
ref 指向 b
```
---
### **原理**
1. **内部实现**
`
std::reference_
wrapper<T>` 内部通常通过存储一个指向 `T` 的指针（`T*`）来模拟引用。其大致简化实现如下：
```cpp
template <typename T>
class
reference_
wrapper {
private
:
T* ptr; // 指向目标对象的指针
public
:
explicit
reference_
wrapper(T& obj)
: ptr(&obj) {}
operator T&() const { return *ptr; } // 隐式转换为原生引用
T& get() const { return *ptr; } // 显式获取引用
};
```
2. **隐式转换为原生引用**
通过重载 `operator T&()`，`
std::reference_
wrapper` 可以隐式转换为 `T&`，从而在使用时与原生引用行为一致：
```cpp
void bar(int& x);
int a = 10;
std::reference_
wrapper<int>
ref = a;
bar(
ref); // 隐式转换为 int&，直接传递引用
```
3. **支持标准库工具**
`
std::reference_
wrapper` 支持 `
std::invoke`、`
std::function` 等工具，因为它能隐式提供引用的调用语义。
---
### **辅助函数**
标准库提供了两个辅助函数简化创建：
- `
std::ref(obj)`：生成 `
std::reference_
wrapper<T>`，包装 `obj` 的非 const 引用。
- `
std::c
ref(obj)`：生成 `
std::reference_
wrapper<const T>`，包装 `obj` 的 const 引用。
---
### **示例场景**
```cpp
#include <functional>
#include <vector>
#include <algorithm>
int main() {
int a = 3, b = 1, c = 2;
std::vector<
std::reference_
wrapper<int>> nums{a, b, c};
// 按引用的值排序（直接修改原变量）
std::sort(nums.begin(), nums.end(), [](auto x, auto y) {
return x.get() < y.get(); // 通过 get() 获取引用
});
// 输出：1 2 3
for (int n
: {a, b, c})
std::cout << n << " ";
}
```
--
### **总结**
`
std::reference_
wrapper` 的核心价值是**在需要引用语义但受语言限制的场景中（如容器、模板参数），提供一种轻量级、类型安全的引用包装机制**。其原理是通过内部指针模拟引用，并通过隐式转换保留原生引用的行为。
C++11引入的std::ref和reference_wrapper主要用于解决引用传递的问题，特别是在容器、lambda表达式和线程中。它们避免了对象不必要的拷贝，提高效率。std::ref用于将引用包装成可存储的类型，而reference_wrapper则提供了一种在泛型代码中存储和传递引用的方式。在std::promise示例中，std::ref用于将future对象作为引用传递给任务函数。此外，reference_wrapper还可以用于创建引用数组。
订阅专栏 解锁全文
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
354
