为何std::reference_wrapper未重载operator->与operator*？

std::reference_wrapper 保证已初始化（但可重新绑定，这与普通引用不同）。作为包装类，std::reference_wrapper 为何未重载 operator->（以及 operator*）？反而通过 get() 等方法来“解包”？我想了解这种设计背后的深层语言原因（无论是否为规范设计）。

核心设计原因解析 #

• 明确语义边界，避免身份混淆
  std::reference_wrapper 的本质是可拷贝、可重绑定的引用代理对象，而非原生引用的等价物。如果重载 operator* 和 operator->，会让它的行为过度贴近原生引用或智能指针，模糊了它作为“包装器”的身份。显式调用 get() 能清晰提醒开发者：当前操作的是包装后的引用，而非直接操作目标对象，避免因语义模糊引发的逻辑错误。

• 规避与原生引用的行为冲突
  原生引用是目标对象的“别名”，没有独立的对象身份；但 std::reference_wrapper 是拥有自身内存地址和生命周期的实体对象。若重载解引用运算符，会出现逻辑矛盾：比如对包装器取地址得到的是包装器自身的地址，解引用后却得到目标对象，这和原生引用“取地址直接得到目标对象地址”的行为完全不一致。显式 get() 能彻底避免这种认知冲突。

• 适配泛型编程的清晰性需求
  在泛型代码中，std::reference_wrapper 常用于传递引用语义参数（如 std::bind、容器存储引用场景）。若它支持隐式解引用，模板推导可能会将其与原生引用、指针混淆，导致模板参数推导出错。get() 作为显式成员函数，能让泛型代码明确区分包装器与原生引用/指针，简化逻辑编写。

• 遵循标准库的职责划分原则
  std::reference_wrapper 最初是为解决原生引用无法作为容器元素、无法拷贝的问题而生，定位是“原生引用的可拷贝替代方案”，而非智能指针的竞品。标准委员会选择显式解包的设计，是为了维持标准库组件的职责边界，避免过度扩展功能导致的复杂度上升，保持组件设计的简洁性和专一性。

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