C++模板参数传递疑问：修改常量实参为何无编译错误？

嘿，我来帮你搞明白这个疑惑～你遇到的问题核心是模板参数推导规则和函数参数传递方式的差异，咱们一步步拆解：

你当前代码的关键问题 #

你现在实际启用的是值传递的模板函数：

void f(T param)
{
    cout << "Param before : " << param << endl;
    param = 23;
    cout << "Param after : " << param << endl;
}

而被注释掉的const T&版本才是你预期会触发编译错误的写法。

为什么当前代码没报错？ #

值传递的模板参数推导有个重要规则：会忽略实参的const和引用属性，推导出来的T是普通值类型，param只是实参的副本——修改副本完全不影响原变量，所以编译器不会阻止你：

• 调用f(x)：x是int，T推导为int，param是int副本，修改没问题。
• 调用f(cx)：cx是const int，但值传递时const属性会被忽略，T还是int，param是int副本，修改合法。
• 调用f(rx)：rx是const int&，值传递时会忽略引用和const，T推导为int，param是int副本，修改同样合法。

如何实现你预期的“修改const参数报错”？ #

启用你注释掉的const引用传递版本：

void f(const T& param) // param is now a ref-to-const
{
    cout << "Param before : " << param << endl;
    param = 23; // 这里会触发编译错误！
    cout << "Param after : " << param << endl;
}

这时候模板推导会保留实参的const和引用属性：

• 调用f(x)：T推导为int，param是const int&，修改const引用会直接报错。
• 调用f(cx)：T推导为int，param是const int&，修改报错。
• 调用f(rx)：T推导为int，param是const int&，修改报错。

总结 #

• 值传递的模板参数：推导时忽略实参的const和引用，param是可修改副本，不会触发错误。
• const引用传递的模板参数：推导时保留实参的const属性，param是不可修改的引用，修改会触发编译错误。

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