含string的类从函数返回时的底层行为及RVO、移动语义验证

嘿，这个问题问到点子上了——与其靠“运行变慢”这种模糊的感觉判断，咱们有好几招实打实的方法可以精准验证，而且还能搞清楚到底是RVO直接省了拷贝，还是用了移动构造复用数据。

1. 给构造/析构函数加日志，直观看调用情况 #

这是最接地气的方法，不用懂汇编也能快速搞明白。你可以在你的类里显式定义拷贝构造、移动构造和析构函数，在里面加上打印语句，运行程序就能看到到底触发了哪个：

#include <iostream>
#include <string>

class MyStringHolder {
public:
    std::string data;

    // 默认构造
    MyStringHolder() = default;

    // 拷贝构造
    MyStringHolder(const MyStringHolder& other) : data(other.data) {
        std::cout << "[日志] 拷贝构造函数被调用！\n";
    }

    // 移动构造（记得加noexcept，否则某些场景下可能 fallback 到拷贝）
    MyStringHolder(MyStringHolder&& other) noexcept : data(std::move(other.data)) {
        std::cout << "[日志] 移动构造函数被调用！\n";
    }

    // 析构函数
    ~MyStringHolder() {
        if (data.empty()) {
            std::cout << "[日志] 析构函数被调用：字符串已被移动（空状态）\n";
        } else {
            std::cout << "[日志] 析构函数被调用：字符串长度 " << data.size() << "\n";
        }
    }
};

MyStringHolder createLongString() {
    MyStringHolder holder;
    holder.data = std::string(1000000, 'x'); // 超长字符串
    return holder;
}

int main() {
    MyStringHolder result = createLongString();
    return 0;
}

不同输出对应的情况： #

• 啥构造函数日志都没看到：说明RVO（返回值优化）生效了！编译器直接把createLongString里的局部对象holder的内存分配在main函数的result位置，连移动都省了，全程只有一次构造和一次析构。
• 看到「移动构造函数被调用」：RVO没触发（比如某些复杂分支场景），但编译器自动用了移动语义——std::string的移动构造会直接复用底层堆内存，不会重新分配拷贝数据，只是把指针、长度这些成员转移，旧对象的字符串会变成空的（看析构日志就能确认）。
• 看到「拷贝构造函数被调用」：糟了，既没RVO也没移动，发生了深拷贝——这时候你得检查是不是移动构造没加noexcept，或者编译器版本太旧，或者代码写法触发不了优化（比如返回时依赖条件判断的不同局部对象）。

2. 查看汇编代码，精准定位底层行为 #

如果想搞清楚最底层的逻辑，直接看汇编是终极方案。比如用GCC编译时加-S选项生成汇编文件：

g++ -S -O2 your_code.cpp -o your_code.s

然后打开your_code.s，搜索std::basic_string的构造函数相关符号：

• 如果看不到拷贝构造的调用（比如_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS2_），说明没发生深拷贝；
• 如果看到移动构造的调用（比如_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EOS2_），说明用了移动语义；
• 如果连移动构造的调用都没有，那就是RVO直接把对象在目标位置构造完成了。

3. 用编译器诊断选项，让编译器直接告诉你优化情况 #

现在的主流编译器都有专门的选项来提示RVO或者移动语义的触发情况：

• GCC/Clang：用-fno-elide-constructors可以强制关闭RVO，对比打开和关闭时的日志/性能，就能知道RVO原来有没有生效；Clang还支持-Rpass=return-value-optimization，编译时会直接输出RVO生效的提示信息。
• MSVC：可以用/Od关闭优化，再用/O2打开优化，对比运行时的构造函数调用情况，或者查看编译器的优化报告。

关于移动构造是否复用字符串数据的补充 #

答案是肯定的：当移动构造MyStringHolder时，std::string的移动构造函数会直接接管原字符串的底层堆内存——它不会重新分配内存，也不会拷贝字符数据，只是把原字符串的指针、容量、长度这些成员变量转移到新对象里，同时把原字符串置为空状态（这样原字符串析构时不会释放已经被转移的内存）。这也是移动语义比拷贝高效N倍的原因。

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