单参数的构造函数带来的隐式转换

时间:2021-11-13 04:04:29

构造函数会引起一个不引人注意的问题:
用单个实参来调用的构造函数定义了从从形参类型到类类型的一个隐式转换。
举个例子说:

class Sales_item
{
public:
	std::istream& input(std::istream& in);
	std::ostream& output(std::ostream& out);
	inline double avg_price() const;
	bool same_isbn(const Sales_item &rbs) const
	{
		return isbn == rbs.isbn;
	}
	Sales_item add(Sales_item& other);
	Sales_item(const std::string &book = "7115145547"):isbn(book),units_sold(0),revenue(0.0){}
private:
	std::string isbn;
	unsigned units_sold;
	double revenue;
};


这个类的same_isbn函数的输入参数是这个类的类型,但是我们却可以这样调用这个函数:

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


这是因为Sales_item的构造函数可以是带单个实参的(也可以不带实参,因为我定义了默认实参7115145547),这时在调用trans1.same_isbn(null_book);时,就会发生类型转化:从string转换为Sales_item。建立一个临时的类的对象(一旦函数调用结束,就不能再放这个对象了)。

为了避免这个情况的发生,可以将类的构造函数声明为explicit:

explicit Sales_item(const std::string &book = "7115145547"):isbn(book),units_sold(0),revenue(0.0){}


这样,前面的默认类型转化就不起作用了。所以对于单形参构造函数,除非有非常明显的理由让他发生隐式类型转换,否者我们应该把它设计为explicit,防止隐式转化的发生。

当然我们总可以为转化而显示的使用构造函数:

	trans1.same_isbn(Sales_item(null_book));