Question

可能重复：
Why is the destructor not called for the returned object from the function?

我写了一些C ++代码（下面），用GCC 4.6编译它并成功运行。但是我不知道为什么从classA返回时没有调用createA()的析构函数。

由于ca是createA()中的局部变量（即在堆栈上），我认为从函数返回时应该调用它的析构函数。但实际上，析构函数只在从main函数返回时被调用一次。

此外，返回本地实例总是在此测试中正常工作。我想知道在返回后弹出帧时是否可以安全地返回堆栈帧上的本地实例。

这是我的代码：

#include <iostream>
#include <string.h>

class classA
{
public:
    classA() { len = 0; v = 0; }

    classA(int a)
    {
        len = a;
        v = new int[a];
        for (int i = 0; i < a; i++)
            v[i] = 2*i;
    }

    ~classA()
    {
        if (v)
            {
            memset(v, 0, len * sizeof(int));
            delete [] v;
        }
    }

    int *v;
    int len;
};

classA createA(int a)
{
    classA ca(a);
    return ca;
}

using namespace std;

int main()
{
    int a = 10;
    classA ca = createA(a);
    classA *pca = &ca;
    for (int i = 0; i < a; i++)
        cout << pca->v[i];
    cout << endl;
    return 0;
}

Answer 1

这称为返回值优化。

简而言之，编译器不必返回对象的副本来优化代码。

因为ca是局部变量，即在堆栈上[...]

不一定。可以在调用上下文中直接创建ca以防止额外的副本。 复制elision 是编译器可以自由执行的唯一可以改变预期行为的优化。

返回本地实例时未调用析构函数

1 个答案: