c++ - 为什么在某些情况下 cv 限定符会从函数返回类型中删除？

Question

看这个简单的例子:

template <typename T>
const T const_create() {
    return T();
}

struct Foo { };

int main() {
    auto &x = const_create<Foo>(); // compiles
    // auto &x = const_create<int>(); // doesn't compile
}

为什么带有Foo的版本编译，但带有 int不是吗？换句话说，为什么 const从 const_create<int> 的返回类型中删除？它的工作原理就像它返回 int ，不是const int 。这不是语言上的不一致吗？

标准在哪里强制要求这种行为？

Answer 1

[expr]/6说:

If a prvalue initially has the type “cv T”, where T is a cv-unqualified non-class, non-array type, the type of the expression is adjusted to T prior to any further analysis.

因此，const Foo 纯右值只是 const Foo，但 const int 纯右值被调整为 int .

<小时/>

此规则是由 N3337 [basic.lval]/4 在 C++14 中引入的(将 N4140 [expr]/6 与 CWG 1261 进行比较)。 .