类和对象终

1. 构造函数

1.1 初始化列表

之前我们讲构造函数的时候都是在函数体内赋值，虽然对象的成员变量都有了初始值，但是这不能称之为初始化，这是对成员赋初值。因为初始化只能在定义的时候进行一次，而赋值可以进行很多次。这就说明了成员变量不是在构造函数里定义的，只是在这里进行赋值的。这就引出了一个问题，对于const修饰的变量和引用，我们知道对于这两个我们需要在定义的时候赋值，我们不能在构造函数的函数体内进行赋值。

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

	//只能在定义的时候赋值
	int& ref; 
	const int a;
};

那我们如何解决这个问题？肯定要找到成员变量定义的地方，那就是初始化列表。

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

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

	//只能在定义的时候赋值
	int& ref; 
	const int a;
};

因为初始化列表是成员定义的地方，所以这样就解决了上面的问题，但是还有一个问题没有解决，就是如果成员里有个类，而且这个类没有默认构造，或者你不想调用它的默认构造。我们之前学过实例化对象的时候，对于内置类型不做处理，但是对于自定义类型会调用它的默认构造函数。

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

	//没有默认构造的类成员
	A a;
};

我们也能使用初始化列表解决这个问题。

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

	//没有默认构造的类成员
	A a ;
};

总结：

1. 初始化列表可以解决成员必须在定义的地方显示初始化的问题
2. 初始化化列表可以解决有些自定义成员想要显示初始化
3. 初始化列表可以和函数体内赋值一起用

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)
		,_month(month)
		,_day(day)
	{
	//按照执行顺序，这几个成员的值会被函数体的赋值覆盖掉
		_year = 1;
		_month = 1;
		_day = 1;
	}
private:
	int _year;
	int _month;
	int _day;
};

4. 尽量使用初始化列表，但是对于特定情况要和函数体混合使用，比如做一些判断

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)
		,_month(month)
		,_day(day)
		,arr((int*)malloc(sizeof(int)*4))
	{
		if (arr == nullptr)
		{
			perror("malloc fail");
			exit(-1);
		}
		_year = 1;
		_month = 1;
		_day = 1;
	}
private:
	int _year;
	int _month;
	int _day;
	int* arr;
};

5. 初始化列表的执行顺序和你成员变量声明的顺序一样，与你初始化列表的顺序无关，所以最好按照顺序写。

class A
{
public:
	A(int a)
	//这里原本的意思给a赋值给_a2，然后用_a2赋值给_a1，最终它们的值都为a
	//但执行的顺序是，先用_a2赋值给_a1，再a赋值给_a2，造成了_a1的值为随机值
		:_a2(a)
		,_a1(_a2)
	{
	}
	void Print()
	{
		cout << _a1 << endl << _a2 << endl;
	}
private:
	int _a1;
	int _a2;
};
int main()
{
	A a(1);
	a.Print();
	return 0;
}

1.2 explicit关键字使用

我们先来看一段代码

class Date
{
public:
	Date(int year, int month = 11, int day = 2)
		:_year(year)
		, _month(month)
		, _day(day)
	{
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d = 2023;
	return 0;
}

这样的写法对吗？答案是对的，但是有前提条件，内置类型可以隐式的转化成自定义类型，前提条件是有单参数构造函数(传一个参数多参数带缺省也可以)。但C++后面也支持传多个参数，形式类似于结构初始化。

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)
		, _month(month)
		, _day(day)
	{
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d = { 2023,11,3 };
	return 0;
}

但如果你不想让这种隐式转换发生，只需要在构造函数前面增加explicit关键字就可以了

class Date
{
public:
	explicit Date(int year, int month, int day)
		:_year(year)
		, _month(month)
		, _day(day)
	{
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d = { 2023,11,3 };
	return 0;
}

2. static成员

2.1 概念

在声明时用static修饰的成员变量就是静态变量，修饰成员函数，就是静态函数。

2.2 特性

1. 静态成员不在类里，它存放在静态区，不属于某个具体的对象，为所有类对象共享

class A
{
private:
	int a;
	static int _a;
};
 int A::_a = 1;
int main()
{
	cout << sizeof(A) << endl;
	return 0;
}

2. 静态变量在类内声明，必须在类外初始化（要指定类域）

class A
{
private:
	static int _a;
};
 int A::_a = 1;

3. 因为静态变量不属于某个对象，所以可以用类名+：：来访问，当然也可以用对象.来访问（注意访问限定符）

 class A
{
public:
	static int _a;
};
 int A::_a = 1;
int main()
{
	A a;
	cout << A::_a << endl << a._a << endl;
	return 0;
}

4. 静态成员函数和普通的成员函数的区别就是没有了对象的this指针，这也是在静态成员函数里面不能访问非静态成员变量的原因。

class A
{
public:
	static void Print()
		{
			cout << a << endl;
		}
private:
	int a;
	static int _a;
};
 int A::_a = 1;
int main()
{
	A a;
	a.Print();
	return 0;
}

5. 静态成员可以理解成就是全局变量和全局函数，只不过被类域和访问权限给限制住了。

我们可以用这个特性解决下面这道题目
OJ链接