C++函数形参何时可安全省略const修饰符？

你在重写LibXL库的writeNum函数时，给row和col这两个int类型的形参加上了const修饰，而原函数签名是这样的：

bool writeNum(int row, int col, double value, Format* format = 0)

你的重写版本则是：

bool XLAPIENTRY writeNum(const int row, const int col, const double value, IFormatT<wchar_t> * format = 0);

针对你的疑问，解答如下：

1. 省略int类型形参的const是否安全？ #

完全安全。因为row和col是值传递，函数调用时会创建调用者传入值的本地副本，这个副本的生命周期只在函数内部。加const只是限制函数内部不能修改这个副本，省略const的话，你可以在函数内部修改副本，但这种修改根本不会影响到函数外部的原始变量——这和指针/引用传递的const完全不是一个概念，后者涉及外部数据的访问权限，而值传递的const只是函数内部的自我约束，不存在安全风险。

2. 原函数头为何省略该修饰符？ #

原库函数不添加值传递形参的const，主要有这几个原因：

• 接口简洁性：值传递的const属于函数的内部实现细节，不会改变函数的签名（C++标准规定，形参的const修饰不参与函数签名的判定）。对于库的使用者来说，加不加const完全不影响函数的调用方式，所以库作者会选择省略这类不影响接口的修饰，让函数签名更简洁易读。
• 编程习惯：在传统C和早期C++的编程实践中，值传递的形参很少加const，默认认为副本就是供函数内部随意使用的，只有当需要明确禁止内部修改时才会添加const。
• 实现灵活性：库作者可能希望在函数内部保留修改形参副本的自由度（比如临时调整数值用于计算），提前加const会限制这种操作，所以索性省略，避免后续修改代码时还要调整修饰符的麻烦。

内容的提问来源于stack exchange，提问作者Gyula Sámuel Karli