关于std::reference_wrapper的operator T&()及隐式调用场景的问询

根据cppreference文档，std::reference_wrapper拥有以下两个核心成员函数：

operator std::reference_wrapper<T>::operator T& () const noexcept;      (since C++11)  
                                                                        (constexpr since C++20)
T& std::reference_wrapper<T>::get() const noexcept;                     (since C++11)  
                                                                        (constexpr since C++20)

问题1：如何让编译器选用operator T&()而非operator T()？ #

首先明确：std::reference_wrapper<T>本身并没有operator T()这个成员函数——它只提供了operator T&()。如果是你自定义的类同时实现了这两个转换运算符，要引导编译器优先选operator T&()，可以这么做：

• 当上下文需要左值引用时：比如把对象赋值给T&类型变量，或者作为需要左值的函数参数传递，编译器会自动匹配返回T&的转换运算符。

  T& my_ref = my_wrapper; // 触发operator T&()
  

• 若上下文存在歧义（两种转换都能匹配），可以通过显式声明变量类型为T&，或者用static_cast<T&>来明确指定（不过这已经属于显式调用范畴）。

问题2：为何该运算符的签名是T&而非T？ #

你的推测完全正确：std::reference_wrapper的设计目的就是模拟原生引用的行为，允许修改被引用的对象。如果返回T（值类型），转换后得到的是原对象的副本，修改副本不会影响原对象，这就彻底违背了它作为"可拷贝引用"的核心定位。

返回T&的关键意义：

• 直接关联原对象，修改操作会作用到目标上，和原生引用行为一致；
• 避免不必要的拷贝，尤其是针对大型类型时，性能更优；
• 让reference_wrapper能无缝替代原生引用在容器中使用（原生引用无法直接存入容器）。

问题3：哪些场景会触发operator T&()的隐式调用？ #

以下是最常见的隐式触发场景：

• 赋值给左值引用变量：

  int x = 10;
  std::reference_wrapper<int> wrap(x);
  int& ref = wrap; // 隐式调用operator T&()
  

• 作为函数的左值引用参数传递：

  void add_five(int& val) { val +=5; }
  add_five(wrap); // 自动转换为int&传入函数
  

• 在需要左值的表达式中使用：

  wrap = 20; // 等价于static_cast<int&>(wrap) = 20，隐式触发转换
  ++wrap;    // 对转换后的左值执行自增操作
  

• 范围for循环中绑定到引用：
  就像你示例代码里的写法：

  for (char& s : ref) // 每个ref元素自动转换为char&
      cout << s;
  

• 其他原生引用适用的场景：比如作为std::swap的参数、参与赋值类运算符（如+=、*=）等，只要上下文需要左值，都会隐式触发转换。

你的示例代码：

// C++ program to demonstrate the 
// use of std::reference_wrapper 
#include <iostream>  
#include <functional> 
using namespace std; 

int main () 
{ 
    char a = 'g', b = 'e', c = 'e', d = 'k', e = 's'; 
    
    // creating an array of character "references": 
    reference_wrapper<char> ref[] = {a, b, c, d, e}; 
    for (char& s : ref) 
        cout << s;
    std::cout << std::endl;

    ref[0].get()='b';
    (char&)(ref[1]) = 'o';
    static_cast<char&>(ref[2]) = 'o';

    for (char& s : ref) 
        cout << s; 

    return 0; 
} 

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