C++12.4.4 隐式类类型转换----explicit

简介

• 除非明显想要定义隐式转换，否则，单形参构造函数应该为 explicit。可以避免错误。

============================================================================================================

class Sales_item{
public:
    double avg_price() const; //声明了一个const 成员函数
    bool same_isbn(const Sale_item &rhs) const
    {return isbn==rhs.isbn;}
    Sales_item()：units_sold(0),revenue(0.0){}//构造函数
private:
    std::string isbn;
    unsigned units_sold;
    double revenue;
};

double Sales_item::avg_price() const  //在类外定义avg_price()函数，必须加上类的作用域，以及const限定符
{
   if(units_sold)
     return revenue/units_sold;
    else
     return 0;
}

• 5.12节定义了内置类型之间的自动转换，我们也可以定义如何将其他类型的对象隐式转换为我们的类类型。14.9讲如何定义从类类型到其他类型的转换。

• 为了定义到类类型的隐式转换，需要定义合适的构造函数。

• 可以用单个实参来调用的构造函数定义了从形参类型到该类类型的一个隐式转换。

class Sales_item{
public:
   Sales_item(const std::string &book = ""):isbn(book),units_sold(0),revenue(0.0){}
   Sales_item(std::istream &is);
};//这里每个构造函数都定义了一个隐式转换，因此，在期待一个Sales_item类型对象的地方，可以使用一个string或一个istream：

string null_book = "9-999-99999-9";
item.same_isbn(null_book);

• 这段程序使用一个string类型对象作为实参传给Sales_item的same_isbn函数。
• 该函数期待一个Sales_item对象作为实参。编译器使用接受一个string的Sale_item构造函数从null_book生成一个新的Sales_item对象（隐式创建一个对象）。新生成的（临时的）Sale_item被传递给same_isbn.

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

• 可以通过将构造函数声明为explicit，来防止在需要隐式转换的上下文中使用构造函数：

• explicit关键字只能用于类内部的构造函数声明上，在类的定义外部所做的定义上不再重复它

class Sales_item{
public:
    explicit Sales_item(const std::string &book=" "):isbn(book),units_sold(0),revenue(0.0){}
    explicit Sales_item(std::istream &is);
};

//因为声明为explicit，所以，两个构造函数都不能隐式地创建对象
//下面都是错误的
item.same_isbn(null_book);
item.same_isbn(cin);

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

string null_book = "9-999-99999-9";
item.same_isbn(Sales_item(null_book));
//从null_book创建一个Sales_item。尽管构造函数为显示的，但这个用法是允许的。显示使用构造函数中止了隐式地使用构造函数，任何构造函数都可以用来显示地创建临时对象。

习题 12.29