构造函数的设计.doc

构造函数的设计 查看文章 论C++构造函数中的不合理设计 2009-02-19 12:23 在C++中，构造函数是一个在构件对象的时候调用的特殊的函数，其目的是对对象进行初始化的工作，从而使对象被使用之前可以处于一种合理的状态。但是，构造函数的设计并不完美，甚至有些不合理的特性。比如说，限定构造函数名称与类的名称相同的条件。这些特性在构造C++编译器的时候是值得引起注意的。还有，在今后C++的标准修订或者制定其他面向对象的设计语言时候应当避免这些特性。这里也提出了一些解决的方案。 　　C++中，任何类都有一个（至少有一个）构造函数，甚至在没有构造函数被声明的时候亦是如此。在对象被声明的时候，或者被动态生成的时候，这些构造函数就会被调用。构造函数做了许多不可见的工作，即使构造函数中没有任何代码，这些工作包括对对象的内存分配和通过赋值的方式对成员进行初始化。构造函数的名称必须与类的名称相同，但是可以有许多不同的重载版本来提供，通过参数类型来区分构造函数的版本。构造函数可以显式的通过用户代码来调用，或者当代码不存在是通过编译程序来隐式插入。当然，显式地通过代码调用是推荐的方法，因为隐式调用的效果可能不是我们所预料的，特别是在处理动态内存分配方面。代码通过参数来调用唯一的构造函数。构造函数没有返回值，尽管在函数体中可以又返回语句。每个构造函数可以以不同的方式来实例化一个对象，因为每个类都有构造函数，至少也是缺省构造函数，所以每个对象在使用之前都相应的使用构造函数。构造函数的调用如图1所示。 图1. The activities involved in the execution of a constructor 　　因为构造函数是一种函数，所以他的可见性无非是三种public、private、protected。通常，构造函数都被声明为public型。如果构造函数被声明为private或protected，就限制了对象的实例化。这在阻止类被其他人实例化的方面很有效。构造函数中可以有任何C++的语句，比如，一条打印语句，可以被加入到构造函数中来表明调用的位置。 构造函数的类型 　　C++中构造函数有许多种类型，最常用的式缺省构造函数和拷贝构造函数，也存在一些不常用的构造函数。下面介绍了四种不同的构造函数。 1、缺省构造函数 　　缺省构造函数是没有参数的函数。另外，缺省构造函数也可以在参数列表中以参数缺省值的方式声明。缺省构造函数的作用是把对象初始化为缺省的状态。如果在类中没有显式定义构造函数，那么编译器会自动的隐式创建一个，这个隐式创建的构造函数和一个空的构造函数很相像。他除了产生对象的实例以外什么工作都不做。在许多情况下，缺省构造函数都会被自动的调用，例如在一个对象被声明的时候，就会引起缺省构造函数的调用。 2、拷贝构造函数 　　拷贝构造函数，经常被称作X(X)，是一种特殊的构造函数，他由编译器调用来完成一些基于同一类的其他对象的构件及初始化。它的唯一的一个参数（对象的引用）是不可变的（因为是const型的）。这个函数经常用在函数调用期间于用户定义类型的值传递及返回。拷贝构造函数要调用基类的拷贝构造函数和成员函数。如果可以的话，它将用常量方式调用，另外，也可以用非常量方式调用。 　　在C++中，下面三种对象需要拷贝的情况。因此，拷贝构造函数将会被调用。 　　1)． 一个对象以值传递的方式传入函数体 　　2)． 一个对象以值传递的方式从函数返回 　　3)． 一个对象需要通过另外一个对象进行初始化 　　以上的情况需要拷贝构造函数的调用。如果在前两种情况不使用拷贝构造函数的时候，就会导致一个指针指向已经被删除的内存空间。对于第三种情况来说，初始化和赋值的不同含义是构造函数调用的原因。事实上，拷贝构造函数是由普通构造函数和赋值操作赋共同实现的。描述拷贝构造函数和赋值运算符的异同的参考资料有很多。 　　拷贝构造函数不可以改变它所引用的对象，其原因如下：当一个对象以传递值的方式传一个函数的时候，拷贝构造函数自动的被调用来生成函数中的对象。如果一个对象是被传入自己的拷贝构造函数，它的拷贝构造函数将会被调用来拷贝这个对象这样复制才可以传入它自己的拷贝构造函数，这会导致无限循环。 　　除了当对象传入函数的时候被隐式调用以外，拷贝构造函数在对象被函数返回的时候也同样的被调用。换句话说，你从函数返回得到的只是对象的一份拷贝。但是同样的，拷贝构造函数被正确的调用了，你不必担心。 　　如果在类中没有显式的声明一个拷贝构造函数，那么，编译器会私下里为你制定一个函数来进行对象之间的位拷贝（bitwise copy）。这个隐含的拷贝构造函数简单的关联了所有的类成员。许多作者都会提及这个默认的拷贝构造函数。注意到这个隐式的拷贝构造函数和显式声明的拷贝构造函数