CPP课件第5章堆与复制构造函数幻灯片.pptVIP

* 解决这个问题的一个方法是避免复制对象，可以将函数display( )改为传址调用，这时传递的是对象的地址。 * 在C++中将一个对象的值赋给另一个对象的两种方法：一种方法是赋值（assignment），另一种方法是初始化(initialization)。初始化在下面3种情况中发生： (1) 当一个对象副本被作为参数传递给函数时。 (2) 当一个对象被另一个对象显式地初始化时，例如在对象的声明中。 (3) 当创建一个临时对象时(最常见的情况是作为函数的返回值)。 复制构造函数只能用于初始化，而不能用于赋值运算(使用赋值号=)。 复制构造函数最通用的形式如下： classname (const classname obj){ //函数体 } 在上面的声明形式中，obj是一个对象的引用，这个对象将被用来初始化另一个对象。例如，假设有一个类my_string，y是my_string类型的对象，那么，下面的代码将会调用my_string的复制构造函数： display(y); //y被作为参数传递给函数 my_string x=y; //对象y被显式地用来初始化对象x y=func2( ); //y得到一个返回对象 * 从程序运行后的输出结果可以看出，没有出现【例5.3】中的问题。 * 下面是本程序在运行时发生的动作：在函数main( )中创建对象obj的时候，普通构造函数为对象obj分配了动态内存并且将内存地址赋给了变量obj.s。接下来，对象obj被作为参数传递给display( )中的ob。当这个动作发生时，对象obj的复制构造函数将被调用，从而创建了对象obj的一个副本。复制构造函数为对象副本分配动态内存，并且将这块内存地址赋给对象副本的成员s。这样，变量obj.s和ob.s所指向的动态内存空间将是不同的和相互独立的，但是它们所指向的动态内存空间中包含的值是一样的。如图5.3（a）所示。 * 当函数display( )结束时，对象副本被销毁，此时将调用析构函数，析构函数会释放ob.s所指的动态内存空间。如图5.3（b）所示。此时不会影响对象obj。 通过使用自定义的复制构造函数，能够准确控制在创建对象副本时发生的行为。从而避免了出现类似【例5.3】中的问题。 * 在上面的代码中，表达式s1 = s2执行的是赋值运算，而不是初始化。 * 当函数返回对象时，函数创建了一个临时对象来保存要返回的值，而函数所返回的对象实际上是这个临时对象。在对象的值被返回之后，临时对象将被销毁。在某些情况下，这会引起不可预料的错误。例如，如果函数所返回对象的析构函数释放动态分配的内存，那么即使接收返回对象的对象依然要使用这块动态内存，这块内存仍然将被释放，这将产生错误。下面【例5.6】中的程序就演示了这种错误情况。 * 从程序的输出结果可以看出该程序中存在严重的错误。下面我们来分析出现错误的原因：当对象从函数input( )中返回时，在函数中自动产生了一个的临时对象（调用默认的复制构造函数完成），它保存了要返回的值。在这种情况下，临时对象中的值只是对象ob中值的按位复制副本。当从函数input( )返回后，临时对象将被销毁，此时将调用析构函数。因为临时对象中用来保存用户输入的字符串的动态内存已经被释放了，所以在函数main( )中调用函数show( )时输出的将是垃圾数据。 在主函数main( )结束的时候，对象obj将被销毁，此时将再次调用析构函数。从而导致程序试图释放一个已被释放的动态内存块，这将引起严重的错误，这种错误与【例5.3】中的错误类似。 * 在【例5.7】的程序中，当在主函数main( )中创建对象obj的时候，需要调用复制构造函数进行初始化，而input( )函数返回对象也需要调用复制构造函数，从程序运行的输出结果可以看出，这两次调用合并成一次了。在函数input( )中创建对象ob的时候，调用了普通构造函数。 请记住：当函数返回对象时，会调用复制构造函数来创建临时对象。 * 因为通常对象是自动被析构的。如果需要一个自定义的析构函数，那就意味着有额外资源要在对象被析构之前释放。 此时，对象的复制就不能使用按位复制方法了。 初始化(initialization) (1) 当一个对象副本被作为参数传递给函数时。 my_string y; display(y); //y被作为参数传递给函数 当一个对象被另一个对象显式地初始化时，例如在对象的声明中。 my_string x=y; //对象y被显式地用来初始化对象x (3) 当创建一个临时对象时(最常见的情况是作为函数的返回值)。 y=func2( ); //y得到一个返回对象 5.4.2 复制构造函数与函数参数 当对