C++编程入门—初始化与清除.docxVIP

初始化与清除 4.1 用构造函数确保初始化 在s t a s h和s t a c k 类中都曾调用 i n i t i a l i z e ( )函数，这暗示无论用什么方法使用这些类的对象，在使用之前都应当调用这一函数。很不幸的是，这要求用户必须正确地初始化。而用户在专注于用那令人惊奇的库来解决他们的问题的时候，往往忽视了这些细节。在 C + +中，初始化实在太重要了，所以不能留给用户来完成。类的设计者可以通过提供一个叫做构造函数的特殊函数来保证每个对象都正确的初始化。如果一个类有构造函数，编译器在创建对象时就自动调用这一函数，这一切在用户使用他们的对象之前就已经完成了。对用户来说，是否调用构造函数并不是可选的，它是由编译器在对象定义时完成的。 接下来的问题是这个函数叫什么名字。这必须考虑两点，首先这个名字不能与类的其他成 员函数冲突，其次，因为该函数是由编译器调用的，所以编译器必须总能知道调用哪个函数。 S t r o u s t r u p的方法似乎是最容易也是最符合逻辑的：构造函数的名字与类的名字一样。这使得这样的函数在初始化时自动被调用。 下面是一个带构造函数的类的简单例子： 现在当一个对象被定义时： 这时就好像a是一个整数一样：为这个对象分配内存。但是当程序执行到 a的定义点时，构造函数自动被调用，因为编译器已悄悄地在 a的定义点处插入了一个 X : : X ( )的调用。就像其他 成员函数被调用一样。传递到构造函数的第一个参数（隐含）是调用这一函数对象的地址。 像其他函数一样，我们也可以通过构造函数传递参数，指定对象该如何创建，设定对象初 始值等等。构造函数的参数保证对象的所有部分都被初始化成合适的值。举例来说：如果类 t r e e有一个带整型参数的构造函数，用以指定树的高度，那么我们就必须这样来创建一个对象： tree t(12); // 12英尺高的树如果t r e e ( i n t )是唯一的构造函数，编译器将不会用其他方法来创建一个对象（在下一章我们将看到多个构造函数以及调用它们的不同方法） 。 关于构造函数，我们就全部介绍完了。构造函数是一个有着特殊名字，由编译器自动为每 个对象调用的函数，然而它解决了类的很多问题，并使得代码更容易阅读。例如在上一个代码段中，对有些 i n i t i a l i z e ( ) 函数我们并没有看到显式的调用，这些函数从概念上说是与定义分开的。在C + +中，定义和初始化是同一概念，不能只取其中之一。 构造函数和析构函数是两个非常特殊的函数：它们没有返回值。这与返回值为 v o i d的函数显然不同。后者虽然也不返回任何值，但我们还可以让它做点别的。而构造函数和析构函数则 不允许。在程序中创建和消除一个对象的行为非常特殊，就像出生和死亡，而且总是由编译器 来调用这些函数以确保它们被执行。如果它们有返回值，要么编译器必须知道如何处理返回值， 要么就只能由用户自己来显式地调用构造函数与析构函数，这样一来，安全性就被破坏了。 4.2 用析构函数确保清除 作为一个C程序员，我们可能经常想到初始化的重要性，但很少想到清除的重要性。毕竟， 清除一个整型变量时需要作什么 ?只需要忘记它。然而，在一个库中，对于一个曾经用过的对 象，仅仅“忘记它”是不安全的。如果它修改了某些硬件参数，或者在屏幕上显示了一些字符， 或在堆中分配了一些内存，那么将会发生什么呢 ? 如果我们只是“忘记它” ，我们的对象就永 远不会消失。在 C + +中，清除就像初始化一样重要。通过析构函数来保证清除的执行。 析构函数的语法与构造函数一样，用类的名字作函数名。然而析构函数前面加上一个 ~， 以和构造函数区别。另外，析构函数不带任何参数，因为析构不需任何选项。下面是一个析构 函数的声明： class Y { p u b l i c : ~ Y ( ) ; } ; 56 C + +编程思想 下载 当对象超出它的定义范围时，编译器自动调用析构函数。我们可以看到，在对象的定义点 处构造函数被调用，但析构函数调用的唯一根据是包含该对象的右括号，即使用 g o t o语句跳出 这一程序块（为了与C 语言向后兼容，g o t o在C + +中仍然存在，当然也是为了方便） 。我们应该 注意一些非本地的 g o t o语句，它们用标准 C语言库中的setjmp() 和l o n g j m p ( )函数，这些函数将 不会引发析构函数的调用。 （这里作一点说明：有的编译器可能并不用这种方法来实现。依赖 那些不在说明书中的特征意味着这样的代码是不可移植的） 。 下例说明了构造函数与析构函数的上述特征： 第4章 初始化与清除 57 下载 下面是上面程序的输出结果： 我们可以看到析构函数在包括它的右括号处被调用。 4.3