template<typename T>
void f(T a, const T& b)
{
++a; // ok
++b; // also ok!
}
template<typename T>
void g(T n)
{
f<T>(n, n);
}
int main()
{
int n{};
g<int&>(n);
}
请注意：b 属于const T&，++b 可以！
为什么const T& 不确定是 const？
【问题讨论】：
标签： c++ templates constants function-templates const-reference
欢迎使用 const 和 reference collapsing。当您拥有const T& 时，引用将应用于T，const 也是如此。你给g点赞
g<int&>(n);
所以你已经指定T 是int&。当我们对左值引用应用引用时，两个引用合并为一个，所以int& & 变成了int&。然后我们从[dcl.ref]/1 得到规则，它指出如果你将const 应用到一个引用上，它就会被丢弃，所以int& const 就变成int&（注意你实际上不能声明int& const，它必须来自 typedef 或模板）。这意味着
g<int&>(n);
你真的在打电话
void f(int& a, int& b)
而且你实际上并没有修改常量。
你打电话给g吗
g<int>(n);
// or just
g(n);
那么T 将是int，而f 将被标记为
void f(int a, const int& b)
由于 T 不再是一个引用，const 和 & 被应用到它，你会收到一个编译器错误尝试修改一个常量变量。
【讨论】：
std::add_lvalue_reference 这样的类型特征，以确保以可预测的方式添加引用以防止这种痛苦。
T const&而不是const T&（相同），然后将T替换为int&。
const T& 类型中，首先const 适用于T，然后左值引用适用于结果那。 （如果规则相反，“const 应用于引用类型被忽略”规则将始终生效，const T& 将始终与 T& 含义相同。）
T& const，而不是const T&/T const &
int & const &，那么你需要先应用const规则得到int & &，然后引用规则得到int&。我同意第一位需要改写。也许英文“翻译”也是为了：“g<T> 的参数是对T 的常量引用。g<int&> 的参数是对int 的引用的常量引用。对a 的常量引用引用只是一个引用。这在 C++ 中由 ..." 形式化
我知道已经有一个公认的答案是正确的，但只是添加一点点，即使在模板领域之外，也只是在一般的函数声明中......
( const T& )
不一样
( const T )
在与第一个匹配的示例中，您有一个 const 引用。如果您确实想要一个不可修改的 const 值，请删除第二个示例中的引用。
【讨论】：
T 是int&，const T& 和const T 都给出int&。
template 参数。 T 只是用作任何数据类型：int、float、double 等。所以在我上面的示例中，T 永远不应该是int&。我确实在模板领域之外做了特别说明。
using T = int&; void f(const T&); 声明 void f(int&);。
using 子句；一般只是基本的函数声明。