C++ 隐式的类类型转换

内容来源于C++ Primer 5，作为笔记。

如果构造函数只接受一个实参，则它实际上定义转换为此类类型的隐式转换机制，有时我们把这种构造函数称作转换构造函数。

能通过一个实参调用的构造函数定义了一条从构造函数的参数类型向类类型隐式转换的规则。

 只允许一步类类型转换

类类型转换不是总有效

抑制构造函数定义的隐式转换

在要求隐式转换的程序上下文中，我们可以通过将构造函数声明为 

explicit

加以阻止。

关键字explicit只对一个实参的构造函数有效。需要多个实参的构造函数不能用于执行因式转换，所以无须将这些构造函数指定为explicit的。只能在类内声明构造函数使用explicit关键字，在类外部定义时不应重复。

explicit构造函数只能用于直接初始化

发生隐式转换的一种情况是当我们执行拷贝形式的初始化时（使用=），此时，我们只能使用直接初始化而不能使用explicit构造函数：

Sales_data item1(null_book);        // 正确，直接初始化

// 错误:不能将explicit构造函数用于拷贝形式的初始化过程
Sales_data item2 = null_book;

为转换显示地使用构造函数

尽管编译器不会将explicit的构造函数用于隐式转换过程，但是我们可以将这样的构造函数显示地强制进行转换：

// 正确，实参是一个显式构造的Sales_data对象
item.combine(Sales_data(null_book));

// 正确，static_cast可以使用explicit的构造函数
item.combine(static_cast<Sales_data>(cin));