类和对象（三）

目录

一、再谈构造函数

1.1 构造函数体赋值

1.2 初始化列表

1.3 explicit关键字

二、static成员

2.1 概念

2.2 特性

三、C++11成员初始化的缺省设置

四、友元

4.1 友元函数

4.2 友元类

五、内部类

---

一、再谈构造函数

1.1 构造函数体赋值

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

class Date
{
public:
	Date(int year = 0, int month = 1, int day = 1) {//构造函数
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

虽然通过调用上述的构造函数后，对象中的每个成员变量都有了一个初始值，但是构造函数中的语句只能将其称为赋初值，不能称为初始化。因为初始化只能初始化一次，而构造函数体内可以进行多次赋值

class Date
{
public:
	Date(int year = 0, int month = 1, int day = 1) {//构造函数
		_year = year;// 第一次赋值
		_year = 2022;// 第二次赋值
		//...
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

1.2 初始化列表

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

一、每个成员变量在初始化列表中只能出现一次

初始化只能进行一次，所以同一个成员变量在初始化列表中不能多次出现

二、类中包含以下成员，必须放在初始化列表进行初始化

• 1. 引用成员变量

引用类型的变量在定义时就必须给其一个初始值，所以引用成员变量必须使用初始化列表对其进行初始化

int a = 10;
int& b = a;// 创建时就初始化

• 2. const成员变量

被const修饰的变量必须在定义时就给其一个初始值，因此必须使用初始化列表进行初始化

const int a = 10;//创建时初始化
const int b;//error 创建时未初始化

• 3. 自定义类型成员（该类没有默认构造函数）

若一个类没有默认构造函数，那么在实例化该类对象时就需传参对其进行初始化，所以实例化没有默认构造函数的类对象时必须使用初始化列表对其进行初始化

注意：默认构造函数指不用传参就可调用的构造函数。编译器自动生成的构造函数、无参构造函数、全缺省构造函数，都属于默认构造函数

class A //该类没有默认构造函数 
{
public:
	A(int val) { _val = val; }//注：不是默认构造函数（需要传参调用）
private:
	int _val;
};

class B
{
public:
	B():_a(2021) {}//必须使用初始化列表对其进行初始化
private:
	A _a; //自定义类型成员（该类没有默认构造函数）
};

总之，在定义时就必须进行初始化的变量类型，就必须放在初始化列表进行初始化

• 4. 调用基类的构造函数时（基类没有默认构造函数）

构建派生类对象前需先完成基类对象的构建，此时会调用基类的构造函数，若基类不存在默认构造函数，就需要在派生类的初始化列表中显示的调用基类的构造函数 

三、尽量使用初始化列表初始化

初始化列表实际上就是当实例化一个对象时，该对象的成员变量定义的地方，所以无论是否使用初始化列表，都会走这么一个过程（成员变量需要被定义）

对于内置类型，使用初始化列表和在构造函数体内进行初始化实际上是没有差别的

// 使用初始化列表
int a = 10;
// 在构造函数体内初始化（不使用初始化列表）
int a;
a = 10;

对于自定义类型，使用初始化列表可以提高代码的效率

class Time
{
public:
	Time(int hour = 0) {
		_hour = hour;
	}
private:
	int _hour;
};
class Test
{
public:
	// 使用初始化列表
	Test(int hour):_t(12)// 调用一次Time类的构造函数
	{}
private:
	Time _t;
};

对于以上代码，当要实例化一个Test类的对象时，使用了初始化列表，在实例化过程中只调用了一次Time类的构造函数。若是想在不使用初始化列表的情况下，达到预期的效果，就不得不像下面这样写了

class Time
{
public:
    Time() {}
	Time(int hour = 0) {
		_hour = hour;
	}
private:
	int _hour;
};
class Test
{
public:
	// 在构造函数体内初始化（不使用初始化列表）
	Test(int hour) { //初始化列表调用一次Time类的构造函数（不使用初始化列表但也会走这个过程）
        Time t(_hour);//调用一次Time类的构造函数
		_t = t;// 调用一次Time类的赋值运算符重载函数
	}
private:
	Time _t;
};

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

#include <iostream>
using namespace std;
int i = 0;
class Test
{
public:
	Test()
		:_b(i++)
		,_a(i++)
	{}
	void Print()
	{
		cout << "_a:" << _a << endl;
		cout << "_b:" << _b << endl;
	}
private:
	int _a;
	int _b;
};
int main()
{
	Test test;
	test.Print(); //打印结果test._a为0，test._b为1
	return 0;
}

代码中，Test类构造函数的初始化列表中成员变量_b先初始化，成员变量_a后初始化，按道理打印结果test._a为1，test._b为0，但是初始化列表的初始化顺序是成员变量在类中声明次序，所以最终test._a为0，test._b为1

1.3 explicit关键字

构造函数不仅可以构造和初始化对象，对于单个参数的构造函数，还支持隐式类型转换

#include <iostream>
using namespace std;
class Date
{
public:
	Date(int year = 0) //单个参数的构造函数
		:_year(year) {}
	void Print() {
		cout << _year << endl;
	}
private:
	int _year;
};
int main()
{
	Date d1 = 2021; //支持该操作
	d1.Print();
	return 0;
}

代码中Date d1 = 2021等价于以下两句代码：

Date tmp(2021); //先构造
Date d1(tmp); //再拷贝构造

在早期的编译器中，当编译器遇到Date d1 = 2021这句代码时，会先构造一个临时对象，再用临时对象拷贝构造d1；但是现在的编译器已经做了优化，当遇到Date d1 = 2021这句代码时，会按照Date d1(2021)这句代码处理，这就被称为隐式类型转换

以下代码也被称为隐式类型转换：

int a = 10;
double b = a; //隐式类型转换

编译器会先构建一个double类型的临时变量接收a的值，然后再将该临时变量的值赋值给b。这就是为什么函数可以返回局部变量的值，因为当函数被销毁后，虽然作为返回值的变量也被销毁了，但是隐式类型转换过程中所产生的临时变量并没有被销毁，所以该值仍然存在

但是，对于单参数的自定义类型来说，Date d1 = 2021这种代码的可读性不是很好，若是想禁止单参数构造函数的隐式转换，可以使用关键字explicit来修饰构造函数

二、static成员

2.1 概念

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

2.2 特性

一、静态成员为所有类对象所共享，不属于某个具体的对象

#include <iostream>
using namespace std;
class Test
{
private:
	static int _n;
};
int main()
{
	cout << sizeof(Test) << endl;
	return 0;
}

结果计算Test类的大小为1，因为静态成员_n是存储在静态区的，属于整个类，也属于类的所有对象。所以计算类的大小或是类对象的大小时，静态成员并不计入其总大小之和

二、静态成员变量必须在类外定义，定义时不添加static关键字

class Test
{
private:
	static int _n;
};
// 静态成员变量的定义初始化
int Test::_n = 0;

静态成员变量_n虽然是私有，但是在类外突破类域直接对其进行了访问。这是特例，不受访问限定符的限制，否则就没办法对静态成员变量进行定义和初始化了

三、静态成员函数没有隐藏的this指针，不能访问任何非静态成员

class Test
{
public:
	static void Fun()
	{
		cout << _a << endl; //error不能访问非静态成员
		cout << _n << endl; //correct
	}
private:
	int _a; //非静态成员
	static int _n; //静态成员
};

注意：含有静态成员变量的类，一般含有一个静态成员函数，用于访问静态成员变量

四、访问静态成员变量的方法

当静态成员变量为公有时

#include <iostream>
using namespace std;
class Test
{
public:
	static int _n; //公有
};
// 静态成员变量的定义初始化
int Test::_n = 0;
int main()
{
	Test test;
	cout << test._n << endl; //1.通过类对象突破类域进行访问
	cout << Test()._n << endl; //3.通过匿名对象突破类域进行访问
	cout << Test::_n << endl; //2.通过类名突破类域进行访问
	return 0;
}

当静态成员变量为私有时

#include <iostream>
using namespace std;
class Test
{
public:
	static int GetN() {
		return _n;
	}
private:
	static int _n;
};
// 静态成员变量的定义初始化
int Test::_n = 0;
int main()
{
	Test test;
	cout << test.GetN() << endl; //1.通过对象调用成员函数进行访问
	cout << Test().GetN() << endl; //2.通过匿名对象调用成员函数进行访问
	cout << Test::GetN() << endl; //3.通过类名调用静态成员函数进行访问
	return 0;
}

五、静态成员和类的普通成员一样，也有public、private和protected这三种访问级别

当静态成员变量设置为private时，尽管突破了类域，也不能对其进行直接访问，只能通过提供的接口进行访问

1. 静态成员函数可以调用非静态成员函数吗？
2. 非静态成员函数可以调用静态成员函数吗？

• 问题1：不可以。因为非静态成员函数的第一个形参默认为this指针，而静态成员函数中没有this指针，故静态成员函数不可调用非静态成员函数
• 问题2：可以。因为静态成员函数和非静态成员函数都在类中，在类中不受访问限定符的限制

三、C++11成员初始化的缺省设置

C++11支持非静态成员变量在声明时进行初始化赋值，但这里并不是初始化，而是给声明的成员变量一个缺省值

class A
{
public:
	void Print()
	{
		cout << _a << endl;
		cout << _p << endl;
	}
private:
	// 非静态成员变量，可以在成员声明时给缺省值。
	int _a = 10; 
	int* _p = (int*)malloc(4);
	static int _n; //静态成员变量不能给缺省值
};

初始化列表是成员变量定义初始化的地方，若是给定了值，就用所给的值对成员变量进行初始化。若没有给定值，则用缺省值进行初始化，若是没有缺省值，则内置类型的成员就是随机值，自定义类型的成员则调用默认构造函数进行初始化

四、友元

友元分为友元函数和友元类。友元提供了一种突破封装的方式，有时提供了便利，但会增加耦合度，破坏封装，所以友元不宜多用

4.1 友元函数

C++的<<和>>运算符很神奇，其能够自动识别输入和输出变量的类型，使用时不必像C语言一样增加数据格式的控制。实际上，内置类型的对象能直接使用cout和cin输入输出，是因为库里面已经将<<和>>重载好了

若是想让<<和>>也自动识别自定义类型，就需要程序员编写对应的运算符重载函数

但没办法将operator<<重载为成员函数，因为cout的输出流对象和隐含的this指针在抢占第一个参数的位置：this指针默认是第一个参数，即左操作数，但实际使用中cout需要是第一个形参对象才能正常使用。所以要将operator<<重载为全局函数，但类外没法访问私有和保护成员，那么就需要友元来解决（operator>>同理）

class Date
{
	// 友元函数的声明
	friend ostream& operator<<(ostream& out, const Date& d);
	friend istream& operator>>(istream& in, Date& d);
public:
	Date(int year = 0, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};
// <<运算符重载
ostream& operator<<(ostream& out, const Date& d)
{
	out << d._year << "-" << d._month << "-" << d._day<< endl;
	return out;
}
// >>运算符重载
istream& operator>>(istream& in, Date& d)
{
	in >> d._year >> d._month >> d._day;
	return in;
}

注意：cout是ostream类的一个全局对象，cin是istream类的一个全局对象，<<和>>运算符的重载函数具有返回值是为了实现连续输入和输出

友元函数说明：

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

4.2 友元类

友元类的所有成员函数都可以是另一个类的友元函数，都可以访问另一个类中的所有成员

class A
{
	friend class B;//声明B是A的友元类
public:
	A(int n = 0):_n(n) {}
private:
	int _n;
};

class B
{
public:
	void Test(A& a) {
		//B类可以直接访问A类中的私有成员变量
		cout << a._n << endl;
	}
};

• 1、友元关系是单向的，不具有交换性

 如上述代码中，B是A的友元，所以在B类中可以直接访问A类的私有成员变量，但是在A类中不能访问B类中的私有成员变量

• 2、友元关系不能传递

 若A是B的友元，B是C的友元，不能推出A是C的友元

五、内部类

若一个类定义在另一个类的内部，则这个类被称为内部类

• 内部类是一个独立的类，不属于外部类，更不能通过外部类的对象区调用内部类
• 外部类对内部类没有任何优越的访问权限
• 内部类就是外部类的友元类，即内部类可以通过外部类的对象来访问外部类中的所有成员。但是外部类不是内部类的友元
• 内部类可以定义在外部类的public、private以及protected这三个区域中的任一区域
• 内部类可以直接访问外部类中的static、枚举成员，不需要外部类的对象/类名
• 外部类的大小与内部类的大小无关

#include <iostream>
using namespace std;
class A //外部类
{
public:
	class B //内部类
	{
	private:
		int _b;
	};
private:
	int _a;
};
int main()
{
	cout << sizeof(A) << endl; //外部类的大小
	return 0;
}

输出结果外部类A的大小为4，与内部类的大小无关