随着 C++23 标准尘埃落定，新引入的工具函数 std::forward_like 迅速成为泛型编程领域的热点话题。然而，细心的开发者很快发现一个耐人寻味的设计选择：该函数在转发引用限定符时，有意忽略了 volatile 修饰符。这一反常行为引发了 C++ 社区的热烈讨论——标准委员会的决策究竟是出于何种考量？
背景：std::forward_like 的使命
要理解这一争议，首先需要厘清 std::forward_like 的定位。它是对传统 std::forward 的补充，专门用于处理“像某个对象一样转发”的场景。例如，当编写一个容器的 value_type 访问函数时，我们希望返回值的引用类型与容器本身的引用类型保持一致——若容器为左值引用，则返回左值引用；若容器为右值引用，则返回右值引用。
std::forward_like<Container>(value) 能够将 value 的引用语义“匹配”到 Container 的引用语义，同时保留 value 自身的类型（包括 const 限定符）。这比手动使用 std::forward 更加简洁、安全。
核心问题：volatile 为何被排除？
根据 C++23 标准提案 P2445R0 与最终实现，std::forward_like 的函数签名等效于：
template<typename T, typename U>
constexpr auto forward_like(U&& x) noexcept -> /* see below */;
返回类型会考虑 U 的 const 和引用限定符，但 完全忽略 T 上的 volatile 限定符。实际上，若传入的 U 带有 volatile，则返回类型会在 const 之外额外追加 volatile；但参数量 T 的 volatile 却不会被传递。
这似乎与直觉相左：为何 const 被保留而 volatile 被丢弃？委员会给出的核心论点是：volatile 与移动语义不兼容。
深度剖析：volatile 的语义冲突
volatile 关键字在 C++ 中主要服务于两种情况：一是用于内存映射 I/O 等硬件交互，防止编译器过度优化；二是在多线程编程中作为“过时”的同步原语（现已被 std::atomic 取代）。对于移动操作而言，volatile 对象存在根本性的语义冲突：
-
移动构造函数与
volatile：C++ 标准禁止为volatile类型定义移动构造函数或移动赋值操作符。因为移动操作隐含“资源窃取”的副作用，而volatile保证每次读取都是实际内存访问，两者在内存模型上水火不容。 -
转发后的错误风险：若
std::forward_like保留volatile，开发者可能无意中对一个volatile对象调用移动函数，导致编译错误或未定义行为。委员会认为，与其让错误在运行时暴露，不如在类型系统层面切断这种可能性。 -
实际使用频率极低：在泛型代码中，极少有人需要同时处理
volatile和完美转发。标准库的其他组件（如std::move、std::forward）虽然没有主动拒绝volatile，但设计时也并未专门优化该场景。
社区反响：支持与质疑并存
赞成者认为，这一设计体现了“更安全的默认行为”。知名 C++ 专家 Arthur O'Dwyer 在技术博客中指出：“volatile 在绝大多数现代 C++ 代码中已是历史遗迹，std::forward_like 的选择不会影响实际生产力。”
但质疑声同样存在。部分底层系统开发者指出，嵌入式编程中 volatile 仍频繁用于外设寄存器访问，而泛型容器库（如 etl、eastl）有时需要转发 volatile 限定符。微软 C++ 团队的工程师也发帖表示，建议在下一个标准中增加一个可选的 std::forward_like_volatile 变体。
未来展望：是否会修改？
尽管 C++23 已经发布，但标准委员会始终保持开放态度。根据最近的工作组会议纪要，已有机构提议在 C++26 或更高版本中为 std::forward_like 增加一个策略参数，允许用户显式要求保留 volatile。不过，由于 volatile 在移动语义上的深层矛盾，此类提案的通过可能需要更严格的约束条件。
结语
std::forward_like 不添加 volatile 并非疏忽，而是一次权衡后的有意选择。它反映了现代 C++ 标准设计的一个核心原则：在不确定的场景下，选择更安全、更符合主流实践的道路。对于绝大多数开发者而言，这个决定不会带来任何困扰；而对于少数需要 volatile 转发的开发者，社区正积极寻求优雅的解决方案。标准演进的脚步，从未停歇。