C++ ABI 如何处理 RVO 和 NRVO？

我对编译器和链接器如何处理调用要求这一事实感到困惑er该功能的不同取决于该功能是否使用 RVO 还是 NRVO。

这可能是我的误解，但我的假设是通常没有 RVO 或 NRVO

std::string s = get_string();

如果 get_string 不执行 N?RVO 但如果 get_string 执行 N?RVO 调用代码不执行任何操作，则涉及从 get_string 的结果移动 s 的构造s由函数 get_string 就地构造。

编辑： 如果没有 N?RVO，我想象 get_string 调用者的操作方式如下：

1. 调用 get_string()
2. get_string 结果现在在堆栈上，调用者使用它来构造 s

现在有了 RVO

1. 调用 get_string()
2. 当 get_string 完成时，堆栈上没有结果，get_string 构造了 s，调用者不需要执行任何操作来构造 s。

无论如何，调用者都会为返回对象分配空间。从调用者的角度来看，函数是否使用 RVO 并不重要。

您还混淆了两个单独的复制省略。有 RVO，它省略了从函数局部变量到返回值的复制，还有另一个从函数返回值到正在初始化的对象的复制，也经常被省略。

基本上，在没有任何省略的情况下，您可以认为来自 OP 的调用看起来像这样（忽略任何别名问题，这实际上都是直接在汇编中实现的）：

void get_string(void* retval)
{
    std::string ret;
    // do stuff to ret
    new(retval) std::string(std::move(ret));
}

char retval[sizeof(std::string)];
get_string(retval);
std::string s(std::move(*(string*)retval));

字符串ret被复制（或移动，在本例中）两次：一次来自ret to the retval缓冲区，并且一旦来自retval to s.

现在，应用 NRVO 后，只需定义get_string会改变：

void get_string(void* retval)
{
    std::string& ret = *new(retval) std::string;
    // do stuff to ret
}

从调用者的角度来看，没有任何改变。该函数只是直接将要返回的对象初始化到调用者为返回值分配的空间中。现在字符串只移动一次：来自retval to s.

现在调用者还可以删除副本，因为不需要分配单独的返回值，然后将其复制到正在初始化的对象中：

char retval[sizeof(std::string)];
get_string(retval);
std::string& s(*(string*)retval);

这样，s直接初始化为get_string，并且不执行任何复制或移动。