2.11 C++转型构造函数

参考：http://www.weixueyuan.net/view/6343.html

总结：

　　带参数的构造函数中有两种比较常见的构造函数：拷贝构造函数和转型构造函数。

　　转型构造函数只有一个参数，如果该参数是int型，则我们是将int型对象转换为类对象。

　　直接强制关闭掉这种隐式类型转换，在C++中，通过关键字explicit可以实现该功能。

　　在C++中, 如果的构造函数只有一个参数时, 那么在编译的时候就会有一个缺省的转换操作:将该构造函数对应数据类型的数据转换为该类对象。

　　C++中的explicit关键字只能用于修饰只有一个参数的类构造函数, 它的作用是表明该构造函数是显示的, 而非隐式的, 跟它相对应的另一个关键字是implicit, 意思是隐藏的,类构造函数默认情况下即声明为implicit(隐式).

　　 explicit关键字只对有一个参数的类构造函数有效, 如果类构造函数参数大于或等于两个时, 是不会产生隐式转换的, 所以explicit关键字也就无效了.

　　但是, 也有一个例外, 就是当除了第一个参数以外的其他参数都有默认值的时候, explicit关键字依然有效, 此时, 当调用构造函数时只传入一个参数, 等效于只有一个参数的类构造函数。

在前面，我们已经将构造函数划分为两类：默认构造函数（不带参数的构造函数）和带参构造函数。其中带参数的构造函数中有两种比较常见的构造函数：拷贝构造函数和转型构造函数。我们先来了解一下转型构造函数。

转型构造函数用于类型间的转换，将其它数据类型转变为类的对象类型。转型构造函数只有一个参数，如果该参数是int型，则我们是将int型对象转换为类对象，如果该参数类型为char *类型，我们则是将字符串常量转换为类对象。

例1：

1. class Age
2. {
3. public:
4. Age(int a){age = a;}
5. private :
6. int age;
7. }

在本例中Age(int a)即为一个转型构造函数，该构造函数仅有一个参数，该构造函数是将int型转换为类对象类型的。

例2：

1. class student
2. {
3. public:
4. student(){}
5. student(char * n){name = n;}
6. private :
7. char * name;
8. }

在本例中，student类中有两个构造函数，一个是默认构造函数，另一个是转型构造函数，该构造函数将字符串常量转换为类对象类型。

假设我们在程序设计过程中有一个以类对象作为函数参数的函数，函数声明如下：

1. void fun(student s); //函数声明

如果我们设计了如下程序以调用该函数：

1. char * name = “Harry Potter”;
2. fun(name);

在例2中我们恰好在student类中定义了这样一个转型构造函数student(char * n);，该函数可以将字符串常量转换为student类的对象。在我们运行fun(name);语句时，编译器会自动调用转型构造函数将name转换为student类的对象，然后调用void fun(student s);函数。这一系列的过程都是编译器自动完成的，我们称此时的student类的转型构造函数student(char * n);支持隐式类型转换。之所以说是隐式的，是因为这个转型过程完全由编译器完成，无需程序设计人员显示转换类型。

隐式类型转换给程序设计人员带来了一定的便利，但是隐式类型转换可能会给我们设计的程序带来一些难以觉察的细微错误。有时候我们为了避免这种错误，我们希望直接强制关闭掉这种隐式类型转换，在C++中，通过关键字explicit可以实现该功能。

例3：

1. class student
2. {
3. public:
4. student(){}
5. explicit student(char * n){name = n;}
6. private :
7. char * name;
8. }

如例3所示，我们在转型构造函数前加上了explicit关键字，如此一来，我们再想通过以下语句：

1. char * name = “Harry Potter”;
2. fun(name);

调用void fun(student s);函数则是无法通过编译的，因为fun函数的参数是student类的对象而非字符串常量，并且student类的转型构造函数被标记为explicit，因此无法隐式地将字符串常量转换为student 类对象。使用explicit关键字的好处就在于将难以察觉的后期运行时可能会出现的错误提前到了编译期，如此一来改正错误就比较容易了。