第12章 类和动态内存分配

StringBad ditto (motto): // calls StringBad (comst StringBad &)
StringBad metoo - motto: // calls StringBad (const StringBad &)
StringBad also = StringBad (motto):
// calls StringBad (const StringBad &)
StringBad * pStringBad = new StringBad (motto):
// calls StringBad (const StringBad &)
其中中间的2种声明可能会使用复制构造函数直接创建metoo和also,也可能使用复制构造函数生成
一个临时对象,然后将临时对象的内容赋给metoo和also,这取决于具体的实现。最后一种声明使用motto
初始化一个匿名对象,并将新对象的地址赋给pstring 指针。
每当程序生成了对象副本时,编译器都将使用复制构造函数。具体地说,当函数按值传递对象(如程
序清单 12.3 中的callme2())或函数返回对象时,都将使用复制构造函数。记住,按值传递意味着创建原
始变量的一个副本。编译器生成临时对象时,也将使用复制构造函数。例如,将3个Vector对象相加时,
编译器可能生成临时的Vector对象来保存中间结果。何时生成临时对象随编译器而异,但无论是哪种编译
器,当按值传递和返回对象时,都将调用复制构造函数。具体地说,程序清单12.3中的函数调用将调用下
面的复制构造函数:
callme2 (headline2) :
程序使用复制构造函数初始化sb-callme2()函数的StringBad型形参。
由于按值传递对象将调用复制构造函数,因此应该按引用传递对象。这样可以节省调用构造函数的时
间以及存储新对象的空间。
(2)复制构造函数的功能
默认的复制构造函数逐个复制非静态成员(成员复制也称为浅复制),复制的是成员的值。在程序清单
12.3中,下述语句:
StringBad sailor = sports:
与下面的代码等效(只是由于私有成员是无法访问的,因此这些代码不能通过编译):
StringBad sailor:
sailor.str = sports.str:
sailor.len = sports.len:
如果成员本身就是类对象,则将使用这个类的复制构造函数来复制成员对象。静态函数(如
num_strings)不受影响,因为它们属于整个类,而不是各个对象。图12.2说明了隐式复制构造函数执行的
操作。

3. 复制构造函数的哪里出了问题
现在介绍程序清单 12.3 的两个异常之处(假设输出为该程序清单后面列出的)。首先,程序的输出表
明,析构函数的调用次数比构造函数的调用次数多2,原因可能是程序确实使用默认的复制构造函数另外
创建了两个对象。当callme2()被调用时,复制构造函数被用来初始化callme2()的形参,还被用来将对象
sailor初始化为对象sports。默认的复制构造函数不说明其行为,因此它不指出创建过程,也不增加计数器
num_strings的值。但析构函数更新了计数,并且在任何对象过期时都将被调用,而不管对象是如何被创建
的。这是一个问题,因为这意味着程序无法准确地记录对象计数。解决办法是提供一个对计数进行更新的
显式复制构造函数:
String :: String (const String & s)

num_ strings++:
.. // important stuff to go here

提示:如果类中包含这样的静态数据成员,即其值将在新对象被创建时发生变化,则应该提供一个显
式复制构造函数来处理计数问题。
第二个异常之处更微妙,也更危险,其表现之一是字符串内容出现乱码:
headline2: D0º

385