[C++系列] 25. 再谈构造函数

1. 构造函数体赋值

在创建对象时，编译器通过调用构造函数，给对象中各个成员变量一个合适的初始值。

class Date {
public:
    Date(int year, int month, int day) {
        _year = year;
        _month = month;
        _day = day;
    }
    
private:
    int _year;
    int _month;
    int _day;
};

虽然上述构造函数调用之后，对象中已经有了一个初始值，但是不能将其称作为类对象成员的初始化，构造函数体中的语句只能将其称作为赋初值，而不能称作初始化。因为初始化只能初始化一次，而构造函数体内可以多次赋值。

2. 初始化列表

初始化列表：以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个"成员变量"后面跟一个放在括号中的初始值或表达式。

class Date {
public:
	Date(int year, int month, int day)
		:_year(year)
		,_month(month)
		,_day(day)
	    // ,_year(year)    // 仅能初始化一次
	{
		_year = year;
		_month = month;
		_day = day;
		_year = 200;       // 仍然可以赋值
		_month = 100;
		_day = 1;
	}
private:
		int _year;
		int _month;
		int _day;
};

3. 几点注意

1）每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)。

2）类中包含以下成员，必须放在初始化列表位置进行初始化：引用成员变量、const成员变量、类类型成员（该类没有默认构造函数）

class A {
public:
    // 初始化列表是成员变量定义的地方
    A(int a)
        :_a(a)
    {}
private:
    int _a;
};
 
class B {
public:
    B(int a, int ref)
        :_aobj(a)
        ,_ref(ref)
        ,_n(10)
    {}
private:
    A _aobj;      // 没有默认构造函数
    int& _ref;    // 引用
    const int _n; // const 
};

成员变量在private中，不是其定义的地方，如果说这里是成员变量定义的地方，类不占空间，只有类实例化出的对象才占空间，这些成员在对象内才占空间，所以说这些成员应该在实例化对象中定义。所以在private内的成员变量只是声明的地方，而不是定义的地方。定义的时候分配空间，变量定义的时候需要调用构造函数，成员变量定义的位置在构造函数，再具体的话是在构造函数的初始化列表中定义。

3）尽量使用初始化列表初始化，因为不管你是否使用初始化列表，对于自定义类型成员变量，一定会先使用初始化列表初始化。不管用不用编译器都会进行调用，构造函数体是空的都没关系。即便不写的话，编译器也会把它补充上，写上的话赋值会更加快速，效率更高。

class Time {
public:
    Time(int hour = 0)
        :_hour(hour) {
        cout << "Time()" << endl;
    }
private:
    int _hour;
};
 
class Date {
public:
    Date(int day)
    {}
 
private:
    int _day;
    Time _t;
};
 
int main() {
    Date d(1);
}

4）成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后次序无关。

class B {
public:
	B(int a)
		:_a(a)
		, _da(_a * 2)
	{}

	int _da;
	int _a;
};

int main() {
	B b(4);
	cout << b._da <<endl<< b._a << endl;
	system("pause");
	return 0;
}

看到这个结果，是不是有点怀疑人生23333...

成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后次序无关。

调整一下private中_da与_a前后顺序即可：

class B {
public:
	B(int a)
		:_a(a)
		, _da(_a * 2)
	{}

	int _a;
	int _da;
};

int main() {
	B b(4);
	cout << b._da <<endl<< b._a << endl;
	system("pause");
	return 0;
}

 4. explicit关键字

构造函数不仅可以构造与初始化对象，对于单个参数的构造函数，还具有类型转换的作用。阻止隐式类型转换，现在相当于阻止类和参数之间的隐式类型转换

class Date {
public:
	Date(int year = 1900)
		:_year(year)
	{
		cout << "Date(int year)" << endl;
	}
	Date(const Date& d) {
		_year = d._year;
		cout << "Date(cosnt Date& d)" << endl;
	}
private:
	int _year;
};

int main() {
	// 类型不一致，内部进行隐式类型转换，完成对象的创建
	Date d3 = 2020;   // 构造+拷贝构造-->编译器优化-->构造
        //2020作为构造函数的参数传入，构造一个命名对象，将该命名对象拷贝构造为新的对象
	system("pause");
	return 0;
}

但是在此我们无法显式查看此过程，编译器已经做了优化。构造出新的命名对象并没有实际用途，编译器即做了优化，无法正确打印其调用拷贝构造的过程。在此可以通过创建好一个新的对象，对''=''进行运算符重载，在以2020对已创建好的对象进行赋值。因为该对象已经存在，则不会通过构造函数直接构造出一个对象，但如果调用构造函数，那么肯定就是生成了一个新的命名对象，把该命名对象赋给它。

class Date {
public:
	Date(int year = 1900)
		:_year(year)
	{
		cout << "Date(int year)" << endl;
	}
	Date(const Date& d) {
		_year = d._year;
		cout << "Date(cosnt Date& d)" << endl;
	}
	Date& operator=(const Date& d) {
		if (this != &d) {
			_year = d._year;
		}
		cout << "operator=(const Date& d)" << endl;
		return *this;
	}
private:
	int _year;
};

int main() {
	Date d2(2019);
        // 对象已经存在，查看是否调用构造函数
	d2 = 2020;     // 构造+运算符重载
	system("pause");
	return 0;
}

this指针明显不为d2对象，那么可定是调用了构造函数构造出了一个新的命名对象，再将命名对象赋给d2。

这便是类与对象之间的隐式类型转换，其触发条件勿忘记：仅对于单个参数的构造函数，具有类型转换的作用。

若希望显示避免隐式类型转换时，需要添加关键字explicit（adj. 明确的；清楚的；直率的；详述的），阻止单参构造函数的隐式类型转换。

class Date {
public:
	explicit Date(int year = 1900)     // 阻止单参构造函数隐式类型转换
		:_year(year)
	{
		cout << "Date(int year)" << endl;
	}