12.1.2 特殊成员函数
StringBad 类的问题是由特殊成员函数引起的。这些成员函数是自动定义的,就 StringBad 而言,这些函数的行为与类设计不符。具体地说,C++自动提供了下面这些成员函数:
1,默认构造函数,如果没有定义构造函数;
2,默认析构函数,如果没有定义;
3,复制构造函数,如果没有定义;
4,赋值运算符,如果没有定义;
5,地址运算符,如果没有定义。
更准确地说,编译器将生成上述最后三个函数的定义–如果程序使用对象的方式要求这样做。例如,
如果您将一个对象赋给另一个对象,编译器将提供赋值运算符的定义。结果表明,StringBad 类中的问题是由隐式复制构造函数和隐式赋值运算符引起的。隐式地址运算符返回调用对象的地址(即this指针的值)。这与我们的初衷是一致的,在此不详细讨论该成员函数。默认析构函数不执行任何操作,因此这里也不讨论,但需要指出的是,这个类已经提供默认构造函数。至于其他成员函数还需要进一步讨论。
C++11提供了另外两个特殊成员函数:移动构造函数(moveconstructor)和移动赋值运算符(moveassignment operator),这将在第18章讨论。
1.默认构造函数
如果没有提供任何构造函数,C++将创建默认构造函数。例如,假如定义了一个Klunk 类,但没有提供任何构造函数,则编译器将提供下述默认构造函数:
Klunk::Klunk())//implicit default constructor
也就是说,编译器将提供一个不接受任何参数,也不执行任何操作的构造函数(默认的默认构造函数),这是因为创建对象时总是会调用构造函数:
Klunk lunk;//invokes default constructor
默认构造函数使Lunk 类似于一个常规的自动变量,也就是说,它的值在初始化时是未知的。如果定义了构造函数,C++将不会定义默认构造函数。如果希望在创建对象时不显式地对它进行初始化,则必须显式地定义默认构造函数。这种构造函数没有任何参数,但可以使用它来设置特定的值
Klunk::Klunk()//explicit default constructor
{
klunk ct=0;
...
}
带参数的构造函数也可以是默认构造函数,只要所有参数都有默认值。例如,Klunk类可以包含下述内联构造函数:
Klunk(int n=0){
fklunk ct=n};
但只能有一个默认构造函数。也就是说,不能这样做:
Klunk(){
fklunkct=0}
Klunk(intn=0){
klunk ct=n};
// constructor #1
//ambiquous constructor #2
这为何有二义性呢?请看下面两个声明: