为什么在C语言中通用引用的参数总是被当作可修改的常量而非真正的常量引用？

本文共计688个文字，预计阅读时间需要3分钟。

plaintext问题分析：在C++中，`const T` 指的是一个指向类型为 `T` 的常量的指针。如果你尝试通过这个指针修改它所指向的对象，编译器会报错，因为对象被声明为 `const`，不能被修改。但是，在模板函数 `f(T n)` 中，直接使用 `n` 进行修改似乎没有问题，这可能让你疑惑为什么 `const` 对象可以被修改。

代码分析：下面是提供的代码片段：

cpptemplatevoid f(T n) { n; // ok to modify a const object, why?}

templatevoid g() { int n{}; // 默认初始化为0 fconst T(n); // 这里使用了const关键字}

int main() { g();}

解答：在模板函数 `f(T n)` 中，`n` 是一个模板参数，它可以是任何类型。当你调用 `fconst T(n)` 时，`T` 实际上是 `int`，因为 `g()` 函数内部声明了一个 `int` 类型的局部变量 `n`。

在 `f(T n)` 函数中，由于 `n` 是 `int` 类型，`int` 类型是可修改的，即使你尝试在函数中修改它，也不会违反 `const` 对象的规则。因此，即使 `f` 函数的参数被声明为 `const T`，由于 `T` 实际上是 `int`，所以 `n` 可以被修改。

总结：这里的为什么 `const` 对象可以被修改的问题实际上是一个误解。因为 `n` 是 `int` 类型，`int` 是可以修改的，所以即使 `f` 函数的参数是 `const T`，它仍然可以修改 `n`。

参见英文答案 > Why is `const T&` not sure to be const?2个

template<typename T> void f(T&& n) { ++n; // ok to modify a const object, why? } template<typename T> void g() { int n{}; f<const T&>(n); } int main() { g<int&>(); }

如上面的代码所示.我的问题是：

为什么通用引用不保持其参数的常量？

确实如此.在您的示例中,您尝试将const应用于引用类型本身,而不是int.如果在类型后面写const,你可以看到它更清晰：

const T& == T const& == int& const&.

由于const在应用于引用类型时不会更改任何内容,因此它将被忽略.

事实上,如果你写了int& const没有模板,你会得到一个编译错误.但是在模板中允许它,因为在某些情况下很难避免这种类型.

另一种看待这种情况的方法是用指针替换引用.如果您这样做,您将获得以下类型：

const T* = T const* = int* const*

此类型是指向可变(非常量)int的不可变(const)指针的指针.