这个 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 断言已设置此标志，这就是我意识到在这种情况下“复制”之前发生破坏的方式)。
最小的完整示例，带答案
是的，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