C++17中提及prvalue时为何使用“object”术语？

嘿，这个问题抓得特别准！很多人刚接触C++17的prvalue新语义时都会有这个困惑，我来给你拆解清楚：

为什么描述里会用“object”一词？ #

首先得明确C++17对prvalue的核心语义改动：prvalue不再代表临时对象，而是作为“值的初始化器”存在——它本身不是一个实体对象，而是用来指导如何在某个内存位置构造出对象的“蓝图”。

那问题里的描述“若表达式为prvalue，则函数返回的对象由该表达式直接初始化”，这里的“object”指的是最终被初始化的那个实体：

• 当你调用一个返回非引用类型的函数时，函数返回的prvalue并不会先创建临时对象，而是直接在调用端需要的内存位置（比如你用来接收返回值的变量，或者某个表达式需要的对象位置）构造出目标对象。
• 当类型完全匹配时，这个过程不需要调用拷贝或移动构造函数，因为根本没有中间临时对象需要拷贝/移动，这就是C++17强制要求的拷贝消除场景之一。

非引用类型的函数返回值属于什么值类别？ #

在C++17及之后，返回非引用类型的函数调用表达式是prvalue。但要注意，这个prvalue不会单独成为一个对象，它的使命就是直接初始化后续的目标对象：

• 比如你写auto s = func();，func()是prvalue，它会直接在s的内存空间里构造对象，全程没有临时对象参与。
• 哪怕你直接写func();（丢弃返回值），此时prvalue才会触发创建一个临时对象，但这也是直接由prvalue初始化的，同样没有拷贝/移动。

举个代码例子更直观：

#include <string>
std::string get_str() {
    return "C++17 prvalue"; // 字符串字面量是prvalue
}

int main() {
    std::string my_str = get_str(); // 直接在my_str的位置构造，无拷贝/移动
    get_str(); // 这里会创建临时对象，但也是prvalue直接初始化的
}

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