C++程序设计兼谈对象模型-02-non-explicit one argument constructor

有如下代码：

#include <iostream>
using namespace std;
class Fraction
{
public:
	Fraction(int num, int den = 1) :m_numerator(num), m_denominator(den)
	{
		cout << "构造函数被调用" << endl;
	}
	~Fraction()
	{
		cout << "析构函数被调用" << endl;
	}

	Fraction operator + (const Fraction & o)
	{
		return Fraction(1,2);//为了简单说明问题。
	}

private:
	int m_numerator;//分子
	int m_denominator;//分母
};

void main()
{
	Fraction f(3, 5);
	Fraction f2 = f+4;

	system("pause");
}

1.特别把这一种构造函数叫做non-explcit-one-argument ctor.
argument代表实参，但后一个参数有初值，所以此时要创建一个Fraction的对象，只要提供一个实参就行了。因为第二个实参有默认值。这样的设计是合理的，因为在数学上，3等于1分之3，分母默认1.

2.explicite是个关键字，可以出现在构造函数的前面，现在没有出现，所以就叫做non-explicit-one-argument ctor.

3.Fraction d2=f+4; 这一句会让编译器寻找‘+’这个动作，它找到了，就是函数operator+() . +要作用在左边的操作数上，左边的f调用+，但是它发现+的右边的操作数也是一个Fraction(注意，类的成员函数有个隐含的this指针)，而实际调用的时候却是f+4,右边的操作数不是Fraction类型的对象。此时编译器会看看能不能把4转换为Fraction类型的对象，如果有4能转换为Fraction，那就是分数+分数，就符合那个成员函数的设计了。因此，现在编译器考虑的是4能不能转换成Fraction，4就是4/1，它构造函数的代码可以把4转变为分数。所以Fraction d2=f+4; 这一句会首先调用non-explicit ctor 将4转为Fraction(4,1),然后调用operator +()这个函数。

4.Fraction d2=f+4; 这句相当于Fraction d2=f(3,5)+f(4,1)

5.内置类转变为Fraction，而上一讲是Fraction转变为别(内置)的类。方向正好相反。

现在做一个改变，类中同时出现：

//转换函数
	operator double() const
	{
		return (double)m_numerator / m_denominator;
	}

	Fraction operator + (const Fraction & o)
	{
		return Fraction(1,2);//为了简单说明问题。
	}

void main()
{
	Fraction f(3, 5);
	Fraction f2 = f+4;//出错，二义性

	system("pause");
}

因为一个要转为double,一个要转为Fraction对象，所以存在二义性。

现在对构造函数继续做一个改变：

explicit Fraction(int num, int den = 1) :m_numerator(num), m_denominator(den)
	{
		cout << "构造函数被调用" << endl;
	}

main函数不变。

explicit意思是明确的，加上explicit意思就是告诉编译器，我这个构造函数是明确的构造函数，只用于构造对象，不用于类型转换，不要自动把int转换为Fraction哦.
Fraction d2=f+4; 编译器再遇到这一行的时候，就不会把4转变为4/1了，因为构造函数的前面加了关键字explicit.
Fraction d2=f+4; 编译器遇到这一句就会去调用+的重载函数了，但重载函数的右操作数类型是Fraction，而4不会被转变为Fraction，所以会出错。报错信息为：[Error] conversion from “double” to ‘Fraction’ requested.