C 中的T要区分两种情况右值引用和转发引用。关键在于T是否是正在推导的模板参数。1. 右值引用当类型是确定的表示右值引用通常可以绑定临时对象或通过std::move转换后的对象。inta10;intr142;// 可以42 是右值intr2a;// 错误a 是左值intr3std::move(a);// 可以可以粗略理解为左值有身份、可被持续引用的对象例如变量a。右值包括临时值纯右值以及被标记为可移动的对象表达式将亡值。注意std::move本身不移动任何数据只是把表达式转换为右值类别。真正的移动由后续的移动构造或移动赋值完成。主要用途移动语义classBuffer{public:Buffer(Bufferother)noexcept;// 移动构造Bufferoperator(Bufferother)noexcept;// 移动赋值};移动操作可以接管另一个对象持有的资源避免昂贵的深拷贝。std::string ahello;std::string bstd::move(a);此后a仍是有效对象但其内容是有效但未指定的状态不应假定内容保持不变也不保证为空。2. 转发引用参与推导的T在下面的函数模板中T是转发引用也叫万能引用既能接收左值也能接收右值templateclassTvoidf(Tx);调用时inta10;f(a);// T 推导为 int参数类型最终为 intf(10);// T 推导为 int参数类型最终为 int引用折叠上面的结果来自引用折叠规则组合折叠结果T TT TT TT T口诀只要有一个结果就是只有两个才是。这些组合通常通过模板替换、类型别名或decltype形成不能直接写成int 。不是所有模板里的T都是转发引用templateclassTvoidf(constTx);// 右值引用带 const不是转发引用templateclassTvoidf(std::vectorTx);// 右值引用形式不是 TtemplateclassTstructBox{voidg(Tx);// 右值引用T 在 Box 实例化时就已确定};转发引用必须同时满足形式恰好是T不能带const并且T是当前函数模板调用中参与推导的模板类型参数。另一个常见的转发引用是autointa10;autoxa;// intautoy10;// int3. 容易忽略有名字的右值引用其表达式是左值voidconsume(intx){/* ... */}voidconsume(intx){/* ... */}voidtest(intx){consume(x);// 调用 consume(int)consume(std::move(x));// 调用 consume(int)}虽然变量x的类型是int但表达式x是左值因为它有名字可以被反复使用。声明类型和表达式的值类别不是一回事。4. 完美转发搭配std::forward如果要把参数继续传给别的函数同时保留调用者传入时的左值/右值属性就用std::forward#includeutilityvoidconsume(int){/* ... */}voidconsume(int){/* ... */}templateclassTvoidwrapper(Tx){consume(std::forwardT(x));}intmain(){inta10;wrapper(a);// 最终调用 consume(int)wrapper(10);// 最终调用 consume(int)}两者的区别std::move(x)无条件转换为右值类别。std::forwardT(x)根据推导出的T有条件地保留原始值类别。总结确定类型的T是右值引用参与模板推导的T可能是转发引用。移动用std::move完美转发用std::forward。**修改说明** 1. **格式**把终端里的方框表格改成标准 Markdown 表格加了标题层级和代码块语言标记。 2. **右值的定义**原文标记为可移动的对象表达式没问题补充了标准术语纯右值、将亡值方便读者对应到规范。 3. **有效但未指定**移动后对象的状态补上了标准里的说法。 4. **const T 的说明**原文只写右值引用补了原因带 const 就不满足转发引用的形式。 5. **新增 std::vectorT 示例**这是另一个容易误判的写法。 6. **示例可编译**consume 原来只有声明没有函数体直接编译会链接失败补上了空函数体并给完美转发的例子加了 main。 7. **细节**删除了 int 参数 中多余的空格口径统一用类型和表达式区分声明与值类别。
