关于C++移动构造函数未调用及返回对象析构次数的疑问

问题背景 #

我正在学习《C之旅》（*A Tour of C*）4.6.2节的移动构造函数与移动赋值运算符，理解移动语义的目标是避免栈上分配的Vector在返回给调用者前被不必要的拷贝。

我编写的Vector加法运算符重载代码如下：

Vector operator+(const Vector& a, const Vector& b) {
    if (a.size() != b.size())
        throw length_error {"Vectors must be the same size"};

    Vector res(a.size());
    for (int i = 0; i < res.size(); i++)
        res[i] = a[i]+b[i];
    return res;
}

使用代码：

int main() {
    Vector v1 {8,8,9};
    Vector v3 = v1+v1+v1+v1;
    cout << v3 << endl;
}

我在析构函数中添加了追踪逻辑，原本预期未使用移动构造/赋值时，operator+中的局部对象res会产生额外的析构操作，但实际仅在程序结束时看到子结果（如v1+v1等）的析构；实现移动构造/赋值后，发现它们从未被调用。

请问：

1. 为何未看到每个子结果产生两次析构？
2. 为何移动构造函数未被调用？

解答 #

1. 没有两次析构的核心原因：返回值优化（RVO） #

C标准允许（C17及以后强制）编译器执行返回值优化（Return Value Optimization, RVO），这是一种直接消除临时对象拷贝的底层优化手段。

在你的operator+函数中，局部变量res是直接返回的，编译器会跳过“构造局部对象→拷贝/移动到临时对象→销毁局部对象”的流程，直接在调用者的目标内存区域（比如v3或中间临时对象的内存空间）构造res。也就是说，根本不会生成额外的局部临时对象，自然也就不会出现两次析构——只有最终的目标对象（或链路上的中间临时对象）会在程序结束时被析构一次。

即使你关闭了常规优化（比如使用-O0编译选项），很多编译器仍会保留RVO的执行，因为它不属于“性能优化”范畴，而是直接改变了对象的构造逻辑。

2. 移动构造未被调用的原因：RVO优先级高于移动语义 #

移动语义是编译器无法执行RVO时的备选方案。只有当函数中存在多个可能返回的局部对象（比如分支返回不同变量），导致编译器无法提前确定要返回的对象时，才会触发移动构造，通过转移资源来避免拷贝。

你的operator+始终返回同一个局部变量res，完全符合RVO的触发条件，所以编译器直接跳过了移动构造步骤，直接在目标位置构造对象，自然不会调用移动构造函数。

如果想要验证移动构造的触发逻辑，可以修改operator+为多分支返回的形式：

Vector operator+(const Vector& a, const Vector& b) {
    if (a.size() != b.size())
        throw length_error {"Vectors must be the same size"};

    if (a.size() == 0) {
        Vector empty;
        return empty;
    } else {
        Vector res(a.size());
        for (int i = 0; i < res.size(); i++)
            res[i] = a[i]+b[i];
        return res;
    }
}

这种情况下，编译器无法确定返回哪个局部对象，无法执行RVO，就会调用移动构造函数来转移返回对象的资源。

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