C++语言的某些内置类型之间可以自动转换,而类类型也可以。通常,传递单个实参的构造函数定义了从形参到该类类型的一个隐式转换。
比如我们定义一个类
class Sales_item {
public:
Sales_item(const std::string &book = "") : isbn(book),units_sold(0),revenue(0.0) {}
Sales_item(str::istream &is);
private:
string isbn;
int units_sold;
double revenue;
};
这里的两个构造函数都只有一个参数,因此可以进行隐式转换。也就是,在一个期待传递一个Sales_item类型对象的地方,可以传递一个string或者istream,该参数能隐式转换为Sales_item类对象。比如:
bool same_isbn(Sales_item) {} //Sales_tiem的一个成员函数
Sales_item item; //定义一个对象
string null_book = "9-999-99999-9";
item.same_isbn(null_book); //传递一个string类型 参数
当调用item.same_isbn(null_book)时,实际上传递的是一个执行了构造函数
Sales_item(null_book)
的对象,也就是string类型的null_book隐式转换为Sales_item。
我们要了解构造函数的这种隐式转换的特性,才能写出自己想要实现特定功能的程序,而不会出现莫名其妙的bug。对于现在的我来说,不好评判在实际的开发过程中是否需要用到类类型的隐式转换,如果不需要用到,甚至要避免隐式转换发生的时候,我们要了解怎样抑制隐式转换的发生。
我们只需要用explicit关键字,即可对声明的构造函数印制其隐式转换。
explicit Sales_item(const std::string &book = "") : isbn(book),units_sold(0),revenue(0.0) {}
explicit Sales_item(str::istream &is);
需要注意的是,只有在类内部声明需要explicit关键字修饰,当构造函数的定义在类外部时,不需要再使用explicit,事实上,如果在类外部使用explicit将会报错。
这样声明了之后,我们再次传递string类型的参数
item.same_isbn(null_book);
将会报错。
当然,我们可以显示的调用构造函数。
item.same_isbn(Sales_item(null_book));