C++ 我可以期望所有编译器都不会破坏返回的拷贝吗？

Question

#include <iostream>
using namespace std;

class ClassA {
    int k;
public:
    ClassA(int i) : k(i) 
    {
    }

    ~ClassA()
    {
        cout << "A destroyed" << " k=" << k << endl;
    }

    ClassA copyAndModify() 
    { 
        ClassA a(k*2);
        return a; 
    }

    void taunt() 
    {
        cout << k << endl;
    }
};

int main (int argc, char * const argv[]) {
    ClassA original(1)
    ClassA modified = original.copyAndModify();
    modified.taunt();
    return 0;
}

我以为对象“a”(在方法 copyAndModify 内)在方法返回时被解构，但事实并非如此。这是否意味着所有在方法内创建的对象都不会被解构？这对所有编译器都是正确的吗？

Answer 1

您遇到了 Return Value Optimization .不，它不会在所有编译器上都一样。