0

这个 dtor/ctor 顺序是否正常，如果是，为什么？

在下面的简单函数中

TemporaryObject SimpleFunction();
{
    TemporaryObject obj = MakeObj();

    // ...

    return obj;   // Stepping through at this point we hit TemporaryObject::dtor, MyObject::ctor
}

// At call site
MyObject obj = SimpleFunction();

在返回语句中，我希望调用 MyObject ctor，然后调用 TemporaryObject dtor。（可能会首先复制 TemporaryObject，但 RVO 在这里很典型）。

在 VS2010（调试构建）中发生的是首先调用 TemporaryObject dtor，然后使用被破坏的对象调用 MyObject 构造函数。查看内存地址可以确认传入的是被破坏的对象，如果有任何疑问，析构函数的副作用是显而易见的。

（为了完整起见，MyObject ctor 在 TemporaryObject 中设置了一个标志，标记它已被复制。TemporaryObject dtor 断言该标志已设置，这就是我意识到在这种情况下的“复制”之前发生破坏的方式）。

4

2 回答 2

1

最小的，完整的例子，有答案

是的，在复制构造dtor 函数之前调用了，但不是出于您似乎认为的原因。

关键的观察是MyObject::dtor被调用了两次（在两个不同的对象上，以防我们仍然倾向于跳到疯狂的编译器错误结论）。因此，我们猜测副本正在幕后发生，而且确实如此，尽管您可能听说过编译器确实会生成一个副本构造函数，即使您提供了不同的构造函数也是如此。

因此，如果您取消注释下面的复制构造函数，您将获得一些更好地描述正在发生的事情的输出，并且还可以正确处理mActive标志

struct TemporaryObject
{
    TemporaryObject()
        :
    mActive(true)
    { 
        std::cout << "TemporaryObject::ctor mActive = " << mActive << ", this = " << (void*)this << std::endl;
    }

   /* TemporaryObject(const TemporaryObject& obj)
        :
    mActive(obj.mActive)
    { 
        obj.mActive = false;
        std::cout << "TemporaryObject::copy_ctor mActive = " << mActive << ", this = " << (void*)this << std::endl;
    }*/

    ~TemporaryObject()
    {
        std::cout << "TemporaryObject::dtor mActive = " << mActive << ", this = " << (void*)this << std::endl;
        // assert(!mActive);
    }

    mutable bool mActive;
};

struct MyObject
{
    MyObject(const TemporaryObject& obj)
    {
        std::cout << "MyObject::ctor obj.mActive = " << obj.mActive << ", &obj = " << (void*)(&obj) << std::endl;
        obj.mActive = false;
    }
};

TemporaryObject SimpleFunction()
{
    TemporaryObject obj;

    // Do stuff

    return obj;
}

int main()
{
    MyObject obj = SimpleFunction();
}

输出：

TemporaryObject::ctor mActive = 1, this = 00EFF4AB
TemporaryObject::dtor mActive = 1, this = 00EFF4AB
MyObject::ctor obj.mActive = 1, &obj = 00EFF4D7
TemporaryObject::dtor mActive = 0, this = 00EFF4D7
于 2012-10-17T06:53:03.223 回答
0

当然，您会在调试版本中看到这一点。由于在调试版本中，从函数返回没有优化，它具有以下规则：

TemporaryObject::ctor    // Copy constructor
TemporaryObject::dtor    // of function local value that reach end of its scope!
MyObject::ctor           // Create MyObject from returned value
TemporaryObject::dtor    // of function return value
于 2012-10-17T07:02:46.970 回答