C++入门 类和对象：深入构造函数，static成员，友元函数

1. 深入构造函数

1.1 初始化列表

构造函数初始化类的成员变量有多种方式，最常用的一种方式就是初始化列表。

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

class Date
{
public:
	//写在构造函数后，用初始化列表初始化
	Date(int year = 1, int month = 1, int day =1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
private:
	int _year; 
	int _month; 
	int _day;
};

要注意的是：

1. 每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
2. 引用成员变量 const成员变量 自定义类型成员(且该类没有默认构造函数时)这三者必须放在初始化列表位置进行初始化

class A
{public:
	//无默认构造函数
	A(int a){

	}
};
class Date
{
public:
	Date(int year = 1, int month = 1, int day =1)
		: _year(year)
		, _month(month)
		, _day(day)
		, temp(10)
	{}
private:
	int _year; 
	//这三者必须放在初始化列表位置进行初始化
	const int _month;//const修饰成员
	int& _day;//引用
	A temp;  //无默认构造函数
};

3. 不管写不写初始化列表，每个成员变量都会走一遍。如果没写初始化列表，自定义类型会调用其默认构造，自定义类型有缺省值就用缺省值，否则先不管。构造函数的初始化顺序：初始化列表->缺省值->函数体

class Time
{
public:
	Time(int hour = 0)
		:_hour(hour)
	{
		cout << "Time()" << endl;
	}
private:
	int _hour;
};
class Date
{
public:
	//Date类即使没有写显示初始化列表，每个成员变量都会走一遍
	//对于Time类型，调用Time的默认构造，将Time初始化，内置类型hour先不管
	//自定义成员变量就是在初始化列表初始化的。
	Date(int day)
	{}
private:
	int _day;
	Time _t;
};

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

class Date
{
public:
	//列表初始化顺序就是声明顺序
	//执行顺序：_year(n)->_month(n)->_day(n)
	//而不是 _day(n)->_month(n)->_year(n)
	Date(int  n):
		_day(n),
		_month(n),
		_year(n)
	{

	}
private:
	int _year;
	int _month;
	int _day;
};

反面教材：

class A
{
public:
	A(int a)
		:_a1(a)
		, _a2(_a1)
	{}
	void Print() {
		cout << _a1 << " " << _a2 << endl;
	}
private:
	int _a2;
	int _a1;
};

输出：成功初始化一个，而另一个没初始化到是随机值

1.2 explicit关键字

1.2.1 自定义类型的隐式类型转换

先看这一段代码段：

class A
{
public:
	//单参数
	A(int x )
	{
		//....
	}
};
int main(){
A test = 3;
}

内置类型是无法直接赋值给自定义类型的，那么A test = 3;是如何成立的？这其中就存在隐式类型转换：

内置类型3先隐式类型转换，调用A的构造函数先创造一个临时对象，再通过拷贝构造，将临时变量拷贝给test。

当然要特别注意，因为A类具有单参数的构造函数，所以可以支持这一行为。多参数的话就该将赋值的内容 用{ }括起来:

class A
{
public:
	A(int x ,int y )
	{
		//....
	}
};

int main()
{
	//多参数隐式类型转换要用{ } 
	A test = { 1,2 };
}

比较新编译器会优化隐式类型转换的过程，遇到连续构造+拷贝构造->优化为直接构造。

来看一个特别的语法：

class A
{
public:
	A(int x = 1)
	{
		//....
	}
};

int main()
{
	//常量引用
	const A& test = 3;
}

test是一个常量对象引用，可以绑定到一个临时对象，3是内置类型，无法其对象类型的别名，会隐式类型转换。test引用的是在类型转换中用3构造的临时对象。

1.2.1 explicit

explicit修饰构造函数，可以禁止类型转换:

class A
{
public:
	//A的构造函数禁止类型转换
	explicit A(int x = 1)//编译报错
	{
		//....
	}
};

int main()
{
	//存在类型转换
	 A test = 3;
}

2. static成员

声明为static的类成员称为类的静态成员，用static修饰的成员变量，称之为静态成员变量；用static修饰的成员函数，称之为静态成员函数。静态成员变量一定要在类外进行初始化

class A
{
public:
	//静态成员函数
	static void func()
	{
		
	}
private:
	//静态成员变量 不能带有缺省值
	static int y;
};

//静态成员变量在类外初始化
int A::y = 1;

int main()
{
	//静态成员
	static int x = 1;
}

特性：

1. 静态成员 存放在静态区(全局区) 。
2. 静态成员变量必须在类外定义，定义时不添加static关键字，类中只是声明。
3. 类静态成员 即可用 类名::静态成员 或者 对象.静态成员 来访问
4. 静态成员函数没有隐藏的this指针，不能访问任何非静态成员(不能访问非静态成员函数和成员变量)，但非静态成员函数可以调用静态成员函数。
5. 静态成员也是类的成员，受public、protected、private 访问限定符的限制

3 友元

3.1 友元函数

我们知道，类的成员函数第一个固定的参数是this指针，一般情况下，无法将其修改为第二个参数或其他位置的参数，那有没有其他方式能修改…？-> 类的友元函数可以解除固定的第一个参数this。

类的友元函数，可以直接访问类的私有成员，它是定义在类外部的普通函数，不属于任何类，但需要在类的内部声明，声明时需要加friend关键字。

假如：要实现类的<< >>运算符重载：

class Date
{	//友元函数 第一个参数不再是this指针
	//实现类的<< >>的重载,可以实现cout<<A , cin>>A的操作
	friend ostream& operator<<(ostream& _cout, const Date& d)
	{
		_cout << d._year << "-" << d._month << "-" << d._day;
		return _cout;
	}
	friend istream& operator>>(istream& _cin, Date& d)
	{
		_cin >> d._year;
		_cin >> d._month;
		_cin >> d._day;
		return _cin;
	};
public:
	//初始化列表
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date A(2022,3,2);
	cout << A;
}

!注意：

• 友元函数可访问类的私有和保护成员，但不是类的成员函数
• 友元函数不能用const修饰
• 友元函数可以在类定义的任何地方声明，不受类访问限定符限制一个函数可以是多个类的友元函数
• 友元函数的调用与普通函数的调用原理相同

3.2 友元类

我们知道，在类中如果有自定义类型，类是无法调用这个自定义类型的private成员的：

class Time
{
public:
	void Time_fun()
	{

	}
private:
	int hour;
	int minute;
};

class Date
{
public:
	void Date_fun()
	{
		s.hour;//报错：成员"Time::hour"(已声明 所在行数:54)不可访问
	}
private:
	Time s;
	int day;
	int month;
	int year;
};

但如果，Time类是Date类的友元类，Date的类就可以访问Time类的私有成员了：

class Time
{
	//友元类语法声明，声明Time是Date的友元类
	friend class Date;
public:
	void Time_fun()
	{

	}
private:
	int hour;
	int minute;
};
class Date
{
public:
	void Date_fun()
	{
		s.hour;//可以访问
	}
private:
	Time s;
	int day;
	int month;
	int year;
};

!注意:

• 友元关系是单向的，不具有交换性。比如上述Time类和Date类，Time类声明了是Date类的友元类，Date类可以访问Time类的private成员 , 但Time类不能访问Date类的private成员

• 类的私有成员变量，但想在Time类中访问Date类中私有的成员变量则不行。

• 友元关系不能传递如果B是A的友元，C是B的友元，则不能说明C时A的友元。

3.3 内部类

如果一个类定义在另一个类的内部，这个类就叫做内部类。内部类是一个独立的类，它不属于外部类，更不能通过外部类的对象去访问内部类的成员，外部类没有对内部类的任何权限。

相反，外部类是内部类的友元类，内部类可以通过外部类的对象参数来访问外部类中的所有成员。

特性：

1. 内部类可以定义在外部类的public、protected、private都是可以的。
2. 注意内部类可以直接访问外部类中的static成员，不需要外部类的对象/类名。
3. sizeof(外部类)=外部类，和内部类没有任何关系。

class Date
{
	

public:


	//内部类Time
	class Time
	{
	public:
		void Time_fun(const Date& d)
		{
			cout << d.day;
		}
	private:
		int hour;
		int minute;
	};

	Date():
		day(1),
		month(1),
		year(1)
	{

	}
private:
	int day;
	int month;
	int year;
};
int main()
{
	//sizeof(Date)与内部类Time的大小无关
	cout <<"sizeof(Date) = " << sizeof(Date) << endl;
	//声明Date的内部类Time
	Date::Time A;
	//Date()是匿名类，其生命周期只有这一行
	A.Time_fun(Date());
}

感谢你能看到这里！