究竟什么时候在 C++ 中销毁对象,这意味着什么?由于没有垃圾收集器,我是否必须手动销毁它们?异常如何发挥作用?
(注意:这是对Stack Overflow 的 C++ FAQ 的一个条目。如果您想批评以这种形式提供 FAQ 的想法,那么开始这一切的 meta 上的帖子就是这样做的地方。该问题在C++ 聊天室中进行监控,FAQ 想法最初是从那里开始的,所以你的答案很可能会被提出这个想法的人阅读。)
究竟什么时候在 C++ 中销毁对象,这意味着什么?由于没有垃圾收集器,我是否必须手动销毁它们?异常如何发挥作用?
(注意:这是对Stack Overflow 的 C++ FAQ 的一个条目。如果您想批评以这种形式提供 FAQ 的想法,那么开始这一切的 meta 上的帖子就是这样做的地方。该问题在C++ 聊天室中进行监控,FAQ 想法最初是从那里开始的,所以你的答案很可能会被提出这个想法的人阅读。)
在下文中,我将区分作用域对象(其销毁时间由其封闭作用域(函数、块、类、表达式)静态确定)和动态对象(其确切的销毁时间通常要到运行时才能知道)。
虽然类对象的析构语义由析构函数决定,但标量对象的析构始终是空操作。具体来说,破坏指针变量不会破坏指针对象。
当控制流离开其定义范围时,自动对象(通常称为“局部变量”)将按照其定义的相反顺序被破坏:
void some_function()
{
Foo a;
Foo b;
if (some_condition)
{
Foo y;
Foo z;
} <--- z and y are destructed here
} <--- b and a are destructed here
如果在函数执行过程中抛出异常,则在将异常传播给调用者之前,所有先前构造的自动对象都会被破坏。这个过程称为堆栈展开。在堆栈展开期间,不会有进一步的异常离开上述先前构造的自动对象的析构函数。否则,std::terminate
调用该函数。
这导致了 C++ 中最重要的准则之一:
析构函数永远不应该抛出。
在命名空间范围内定义的静态对象(通常称为“全局变量”)和静态数据成员在执行以下操作后按其定义的相反顺序被破坏main
:
struct X
{
static Foo x; // this is only a *declaration*, not a *definition*
};
Foo a;
Foo b;
int main()
{
} <--- y, x, b and a are destructed here
Foo X::x; // this is the respective definition
Foo y;
请注意,在不同翻译单元中定义的静态对象的相对构造(和销毁)顺序是未定义的。
如果异常离开静态对象的析构函数,std::terminate
则调用该函数。
当(如果)控制流第一次通过它们的定义时,就会构造函数内部定义的静态对象。1
它们在执行后以相反的顺序销毁main
:
Foo& get_some_Foo()
{
static Foo x;
return x;
}
Bar& get_some_Bar()
{
static Bar y;
return y;
}
int main()
{
get_some_Bar().do_something(); // note that get_some_Bar is called *first*
get_some_Foo().do_something();
} <--- x and y are destructed here // hence y is destructed *last*
如果异常离开静态对象的析构函数,std::terminate
则调用该函数。
1:这是一个极其简化的模型。静态对象的初始化细节实际上要复杂得多。
当控制流离开对象的析构函数体时,其成员子对象(也称为“数据成员”)按其定义的相反顺序被销毁。之后,它的基类子对象以与基说明符列表相反的顺序被破坏:
class Foo : Bar, Baz
{
Quux x;
Quux y;
public:
~Foo()
{
} <--- y and x are destructed here,
}; followed by the Baz and Bar base class subobjects
如果在构造的子对象之一期间引发异常Foo
,则其先前构造的所有子对象将在传播异常之前被破坏。Foo
另一方面,析构函数不会被执行,因为Foo
对象从未完全构造。
请注意,析构函数体不负责销毁数据成员本身。仅当数据成员是对象被销毁时需要释放的资源的句柄(例如文件、套接字、数据库连接、互斥体或堆内存)时,才需要编写析构函数。
数组元素按降序销毁。如果在第 n 个元素的构造过程中抛出异常,则在传播异常之前销毁元素 n-1 到 0。
当评估类类型的纯右值表达式时,会构造一个临时对象。prvalue 表达式最突出的示例是调用按值返回对象的函数,例如T operator+(const T&, const T&)
. 在正常情况下,当完全评估词法上包含纯右值的完整表达式时,临时对象被破坏:
__________________________ full-expression
___________ subexpression
_______ subexpression
some_function(a + " " + b);
^ both temporary objects are destructed here
上面的函数调用some_function(a + " " + b)
是一个完整的表达式,因为它不是更大表达式的一部分(相反,它是表达式语句的一部分)。因此,在评估子表达式期间构造的所有临时对象都将在分号处被破坏。有两个这样的临时对象:第一个是在第一次添加期间构造的,第二个是在第二次添加期间构造的。第二个临时对象将在第一个之前被销毁。
如果在第二次添加期间抛出异常,则第一个临时对象将在传播异常之前正确销毁。
如果使用纯右值表达式初始化本地引用,则临时对象的生命周期会扩展到本地引用的范围,因此您不会得到悬空引用:
{
const Foo& r = a + " " + b;
^ first temporary (a + " ") is destructed here
// ...
} <--- second temporary (a + " " + b) is destructed not until here
如果评估非类类型的纯右值表达式,则结果是value,而不是临时对象。但是,如果使用纯右值来初始化引用,则会构造一个临时对象:
const int& r = i + j;
在下一节中,destroy X的意思是“先破坏 X,然后释放底层内存”。同样,create X的意思是“先分配足够的内存,然后在那里构造 X”。
通过创建的动态对象通过p = new Foo
销毁delete p
。如果你忘记了delete p
,你就有资源泄漏。您永远不应尝试执行以下操作之一,因为它们都会导致未定义的行为:
delete[]
通过(注意方括号)free
或任何其他方式销毁动态对象如果在动态对象的构造过程中抛出异常,则在传播异常之前释放底层内存。(析构函数不会在内存释放之前执行,因为对象从未完全构造。)
通过创建的动态数组通过p = new Foo[n]
销毁delete[] p
(注意方括号)。如果你忘记了delete[] p
,你就有资源泄漏。您永远不应尝试执行以下操作之一,因为它们都会导致未定义的行为:
delete
通过或free
任何其他方式销毁动态数组如果在第n个元素的构造过程中抛出异常,则按降序销毁元素n-1到0,释放底层内存,传播异常。
(您通常应该更喜欢std::vector<Foo>
动态Foo*
数组。它使编写正确且健壮的代码变得更加容易。)
由多个对象管理的动态对象在销毁参与共享该动态对象std::shared_ptr<Foo>
的最后一个对象期间被销毁。std::shared_ptr<Foo>
(您通常应该更喜欢std::shared_ptr<Foo>
共享Foo*
对象。它使编写正确且健壮的代码变得更加容易。)
当对象的生命周期结束并被销毁时,会自动调用对象的析构函数。您通常不应该手动调用它。
我们将以这个对象为例:
class Test
{
public:
Test() { std::cout << "Created " << this << "\n";}
~Test() { std::cout << "Destroyed " << this << "\n";}
Test(Test const& rhs) { std::cout << "Copied " << this << "\n";}
Test& operator=(Test const& rhs) { std::cout << "Assigned " << this << "\n";}
};
C++ 中有三种(C++11 中为四种)不同类型的对象,对象的类型定义了对象的生命周期。
这些是最简单的,等同于全局变量。这些对象的生命周期(通常)是应用程序的长度。这些(通常)在进入 main 之前构建,并在我们退出 main 之后销毁(以创建的相反顺序)。
Test global;
int main()
{
std::cout << "Main\n";
}
> ./a.out
Created 0x10fbb80b0
Main
Destroyed 0x10fbb80b0
注 1:还有另外两种类型的静态存储持续时间对象。
在所有意义上和目的上,这些在寿命方面与全局变量相同。
这些是延迟创建的静态存储持续时间对象。它们是在首次使用时创建的(在 C++11 的线程安全庄园中)。就像其他静态存储持续时间对象一样,它们在应用程序结束时被销毁。
这些是最常见的对象类型,并且您应该在 99% 的时间里使用它们。
以下是三种主要类型的自动变量:
当一个函数/块退出时,在该函数/块内声明的所有变量都将被销毁(以创建的相反顺序)。
int main()
{
std::cout << "Main() START\n";
Test scope1;
Test scope2;
std::cout << "Main Variables Created\n";
{
std::cout << "\nblock 1 Entered\n";
Test blockScope;
std::cout << "block 1 about to leave\n";
} // blockScope is destrpyed here
{
std::cout << "\nblock 2 Entered\n";
Test blockScope;
std::cout << "block 2 about to leave\n";
} // blockScope is destrpyed here
std::cout << "\nMain() END\n";
}// All variables from main destroyed here.
> ./a.out
Main() START
Created 0x7fff6488d938
Created 0x7fff6488d930
Main Variables Created
block 1 Entered
Created 0x7fff6488d928
block 1 about to leave
Destroyed 0x7fff6488d928
block 2 Entered
Created 0x7fff6488d918
block 2 about to leave
Destroyed 0x7fff6488d918
Main() END
Destroyed 0x7fff6488d930
Destroyed 0x7fff6488d938
成员变量的生命周期与拥有它的对象绑定。当所有者的生命周期结束时,其所有成员的生命周期也会结束。因此,您需要查看遵守相同规则的所有者的生命周期。
注意:成员总是在所有者之前以相反的创建顺序被销毁。
这些是作为表达式的结果创建但未分配给变量的对象。临时变量像其他自动变量一样被销毁。只是它们范围的结尾是创建它们的语句的结尾(这通常是';')。
std::string data("Text.");
std::cout << (data + 1); // Here we create a temporary object.
// Which is a std::string with '1' added to "Text."
// This object is streamed to the output
// Once the statement has finished it is destroyed.
// So the temporary no longer exists after the ';'
注意:在某些情况下可以延长临时工的寿命。
但这与这个简单的讨论无关。当您了解本文档将成为您的第二天性并且在它延长临时生命之前不是您想要做的事情时。
这些对象具有动态生命周期,new
并通过调用创建和销毁delete
.
int main()
{
std::cout << "Main()\n";
Test* ptr = new Test();
delete ptr;
std::cout << "Main Done\n";
}
> ./a.out
Main()
Created 0x1083008e0
Destroyed 0x1083008e0
Main Done
对于来自垃圾收集语言的开发人员来说,这可能看起来很奇怪(管理对象的生命周期)。但问题并不像看起来那么糟糕。在 C++ 中直接使用动态分配的对象是不常见的。我们有管理对象来控制它们的寿命。
与大多数其他 GC 收集的语言最接近的是std::shared_ptr
. 这将跟踪动态创建的对象的用户数量,当所有用户都消失时会delete
自动调用(我认为这是普通 Java 对象的更好版本)。
int main()
{
std::cout << "Main Start\n";
std::shared_ptr<Test> smartPtr(new Test());
std::cout << "Main End\n";
} // smartPtr goes out of scope here.
// As there are no other copies it will automatically call delete on the object
// it is holding.
> ./a.out
Main Start
Created 0x1083008e0
Main Ended
Destroyed 0x1083008e0
这些对语言来说是新的。它们非常类似于静态存储持续时间对象。但是,它们不会与应用程序过着相同的生活,而是与它们关联的执行线程一样长。