为何CV限定符会从部分函数返回类型中移除？模板编译差异解析

这个问题问得非常到位，其实这并不是C++语言的不一致性，而是类型系统里一个针对顶层CV限定符的明确规则，我们一步步拆解来看：

1. 先搞清楚「顶层const」和「底层const」的区别 #

首先要区分两种const：

• 顶层const：修饰的是整个对象本身，比如const int、const Foo——这里的const直接作用于对象，说明这个对象本身是不可修改的。
• 底层const：修饰的是对象指向或引用的内容，比如const int*（指针指向的int不可改）、int const&（引用绑定的int不可改）。

对于函数的返回值来说，我们讨论的是顶层const的处理逻辑。

2. C++标准对返回值顶层const的规定 #

C++标准明确规定：当函数返回一个非类类型的纯右值（prvalue，也就是临时对象）时，返回值的顶层const会被自动忽略。而返回类类型的纯右值时，顶层const会被保留。

换句话说：

• 当T是int这类非类标量类型时，const T作为返回值会被等价于T——因为临时的标量对象本身就无法被修改（你不能直接对返回的临时int做const_create<int>() = 5;这种操作），顶层const对它没有实际语义价值，所以编译器会自动去掉这个const。
• 当T是Foo这类类类型时，const T作为返回值会被保留——因为类类型可能有const限定的成员函数，比如Foo如果有void do_something() const这样的成员，那么const Foo临时对象只能调用这个const版本的函数，保留顶层const是有语义意义的。

3. 结合你的例子具体分析 #

我们看你的代码：

template <typename T> const T const_create() { return T(); }
struct Foo { };
int main() {
    auto &x = const_create<Foo>(); // 编译通过
    // auto &x = const_create<int>(); // 编译失败
}

• const_create<Foo>()的情况：返回的是const Foo类型的临时对象。auto&会被推导为const Foo&——而C++允许用const左值引用绑定到临时对象，并且会延长临时对象的生命周期，所以这段代码完全合法，编译通过。
• const_create<int>()的情况：返回的const int纯右值被自动去掉顶层const，变成int类型的临时对象。此时auto&会被推导为int&——而C++不允许用非const左值引用绑定到临时对象（因为临时对象是右值，非const左值引用只能绑定到可修改的左值），所以编译失败。如果改成const auto& x = const_create<int>();，就可以正常编译了，因为const左值引用可以绑定到任何右值。

4. 这是不是语言的不一致？ #

完全不是。这个设计是合理的：

• 非类类型的顶层const对临时对象没有实际作用，去掉它不会影响语义，反而能避免一些不必要的限制。
• 类类型的顶层const会影响对象的行为（比如能调用哪些成员函数），所以必须保留。

标准中的依据 #

在C标准的[expr.type]章节（以C17为例）有明确规定：纯右值的类型如果是非类、非数组的标量类型，且带有顶层CV限定符，那么其类型会被调整为去掉顶层CV限定符后的类型。简单说就是，非类类型的临时对象的顶层CV限定符会被忽略。

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