为何模板参数T&&能保留实参const性与值属性而T&不能？

首先得明确：模板里的T&&不是普通的右值引用，它有个专门的名字叫转发引用（也叫万能引用），只有当它是模板参数的T&&或者auto&&时，才会触发C++特意设计的特殊推导规则——这就是它能保留实参所有属性的核心原因。

T&&的推导逻辑 #

当你写这样的模板：

template <typename T>
void func(T&& param) {}

编译器会根据传入的实参类型反向推导T的类型，再结合引用折叠规则得到param的最终类型：

• 如果传的是非const左值（比如int a; func(a);），T会被推导成int&，然后int& &&会折叠成int&，param最终是左值引用，完美保留实参的左值属性；
• 如果传的是const左值（比如const int b; func(b);），T被推导成const int&，折叠后是const int&，同时保留const和左值属性；
• 如果传的是右值（比如func(10);），T被推导成int，param就是int&&，直接保留右值属性。

这套规则的本质是让T“记住”实参的引用性和const性，再通过引用折叠得到和实参属性完全匹配的参数类型。

T&的推导逻辑 #

对于普通的左值引用模板：

template <typename T>
void func(T& param) {}

它的设计目标只是绑定左值，推导规则简单直接：

• 传非const左值时，T推导成对应类型（比如传int a，T是int，param是int&）；
• 传const左值时，T推导成const类型（比如传const int b，T是const int，param是const int&）；
• 右值根本传不进来，因为非const左值引用不能绑定右值。

就算是const T&，虽然能接受右值，但最终param都会变成const左值引用，把原本的右值属性抹掉了——它的设计目的是“能接受任何值”，而非“保留原值的所有属性”。

背后的设计初衷 #

C++11引入转发引用，就是为了解决完美转发的问题：让模板函数能把接收到的实参原封不动地转发给内部调用的其他函数，包括它是左值还是右值、有没有const修饰。如果没有这套特殊规则，就没法在模板里同时处理左值和右值，还保留它们的原始属性。

而普通的T&只是为了实现“传递左值引用”的基础功能，不需要处理这么复杂的场景，所以推导规则也就没做特殊设计。

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