C嘎嘎~~[类和对象 精华篇]

static成员

引入

️[题目] 实现一个类，计算程序中创建出了多少个类对象

• 先分析一下题目: 程序运行中, 有对象的创建, 也有对象的销毁 ⇒ 对应下来就是 构造,拷贝构造 和 析构
  对象创建出来要初始化 — — 构造和拷贝构造, 对象到了生命周期就要销毁 — — 析构
  那我们可以用一个 全局变量来记录一下就可以了. 下面我用的是 Count

int Count = 0;

class A
{
public:
	A(int x) // 构造
	{
		Count++;
	}

	A(const A& x) // 拷贝构造
	{
		Count++;
	}

	~A() // 析构
	{
		Count--;
	}

private:
	int _a;
};

void func(A tem)
{
	cout << __LINE__ << ':' << Count << endl; // 504:4
}

int main()
{
	A a1(1);
	A a2(2);
	cout << __LINE__ << ':' << Count << endl; // 511:2

	A a3 = 4;
	cout << __LINE__ << ':' << Count << endl; // 514:3

	func(a1);
	cout << __LINE__ << ':' << Count << endl; // 517:3

}

*****
511:2
514:3
504:4
517:3
*****

• 其实通过上面的例子 514: 3, 也证明了之前讲的 隐式类型转换⇒ 构造 + 拷贝构造 ⇒ 系统会将它优化成一个构造
  但其实上面的写法有一个问题: 可以随意改变
  

上面的错误写法就要求要 封装Count,

1. 设置一个作用域, 使得我们的Count 不能轻易被改变.
2. 还有就是 可以不用对象去访问. [你想啊, 我们这个Count是用来展示的, 如果每一次都用对象去访问, 那么就是展示一个Count就必须创建一个对象 且 缺少灵活性]

特点

声明为static的类成员称为类的静态成员，用static修饰的成员变量，称之为静态成员变量.

️我们认为 静态成员变量 就是普通的成员变量, 并没有什么区别??

• 先看看初始化吧, 一般的成员变量初始化都是构造函数(初始化列表), 当我们给静态成员变量一个缺省值, 实则是想传给初始化列表的⇒ 以此来看看静态成员变量 跟 普通成员变量的初始化有何不同!!

class A
{
public:
	A(int x) // 构造
	{
		_Count++;
	}

	A(const A& x) // 拷贝构造
	{
		_Count++;
	}

	~A() // 析构
	{
		_Count--;
	}

private:
	int _a = 0;
	static int _Count = 0;
};

⇒ 可见, 静态成员变量不是在初始化列表中进行初始化的. 那么问题就接踵而至

先插一句:
根据前面所学知识, 我们知道了初始化列表是对象变量定义的地方

️静态成员变量是怎么进行初始化的?? 静态成员变量是不属于对象的吗??

• 
  
  我们知道 static修饰的对象是存储在 [静态区] 的, 而不是存储在 [栈区]即 对象空间
  ⇒
  普通的成员变量 — — 是属于对象的, 存储在对象里面
  静态成员变量 — — 是属于整个类的, 即被类中的所有对象共享, 存储在静态区
  ⇒
  所以, 静态成员变量是不能在类中进行初始化的, 必须在 全局进行初始化
  由于是初始化, 是不受访问限定符 (public 和 private)限制的, 但是你要表明你这个变量来自哪里⇒ 即受类域的限制
  ⇒ 所以, 要用 :: 来进行访问
  ️老陈, 你之前不是说用 类名 :: 成员变量 是错误的吗 ??
• 这个地方, 当做特殊情况处理.
  其实这个地方, 你也可以这样想: 把_Count 想作是一个全局变量, 只不过它受作用域的限制, 不能随意进行修改罢了

所以通过前面的铺垫, 我们得出了静态成员变量的几个特点:

1. 静态成员为所有类对象所共享，不属于某个具体的对象，存放在静态区
2. 静态成员变量必须在类外定义，定义时不添加static关键字，类中只是声明

初始化问题解决了, 那我们考虑一下 访问问题
️既然 初始化的时候不受 访问限定符的限制, 那么访问的时候, 我们也假设不受访问限定符的限制 !!

• 先看看下面的代码

class A
{
public:
	A() // 构造
	{
		_Count++;
	}

	A(const A& x) // 拷贝构造
	{
		_Count++;
	}

	~A() // 析构
	{
		_Count--;
	}

private:
	int _a = 0;
	static int _Count;
};

int A::_Count = 0;

int main()
{
	cout << A::_Count << endl;

	return 0;
}

显然, 我们发现访问静态成员变量是受访问限定符的限制 .
那我们该如何在类的外面来访问静态成员变量

1. 把private 变成 public
   1. 可以直接用 类名 :: 静态成员变量 来进行访问.
   2. 可以创建对象, 用 对象.静态成员变量 来进行访问.

class A
{
public:
	A() // 构造
	{
		_Count++;
	}

	A(const A& x) // 拷贝构造
	{
		_Count++;
	}

	~A() // 析构
	{
		_Count--;
	}

public:
	int _a = 0;
	static int _Count;
};

int A::_Count = 0;

int main()
{
	// 可以不创建对象, 直接用 类名 :: 静态成员变量 来进行访问
	cout << A::_Count << endl;

	// 可以创建对象, 用 对象.静态成员变量 来进行访问
	A a1;
	cout << a1._Count << endl;

	return 0;
}

*****
0
1
*****

2. 在类里面写一个公有函数
   • 我们知道在类里面是不受访问限定符 和 类域的限制⇒ 那么我们就可以在 公共区段函数(public)中写一个能够得到静态成员变量的值 的函数. 不过有几个缺点:
     • 1. 只能使用对象去访问
     • 2. 只能获取到静态成员变量当时的一个值, 不能进行修改

class A
{
public:
	A() // 构造
	{
		_Count++;
	}

	A(const A& x) // 拷贝构造
	{
		_Count++;
	}

	~A() // 析构
	{
		_Count--;
	}

	int GetCount()
	{
		return _Count;
	}

private:
	int _a = 0;
	static int _Count;
};

int A::_Count = 0;

int main()
{
	A a1;
	cout << a1.GetCount() << endl;

	return 0;
}

*****
1
*****

通过上面问题的铺垫, 我们可以看出静态成员变量的几个特点:

3.静态成员也是类的成员，受public、protected、private 访问限定符的限制
4.类静态成员即可用 类名::静态成员 或者 对象.静态成员 来访问

️老陈, 前面那个引入的题目中, 尽量能不用对象就能访问 静态成员变量. 如果静态成员变量用 [private] 来限定, 那么当前就必须用对象来访问静态成员变量. 有没有一种办法是可以不用对象就可以访问, 就跟静态成员变量初始化那样 用 类名 :: 静态成员变量 就可以访问 ??

• 
  先介绍一下 静态成员函数的双胞胎弟弟 — — 静态成员函数
  用static修饰的成员函数，称之为静态成员函数
  先剧透一下, 这个静态成员函数就能完美地解决这个问题

class A
{
public:
	A() // 构造
	{
		_Count++;
	}

	A(const A& x) // 拷贝构造
	{
		_Count++;
	}

	~A() // 析构
	{
		_Count--;
	}

	static int GetCount() // 静态成员函数
	{
		return _Count;
	}

public:
	int _a = 0;
	static int _Count;
};

int A::_Count = 0;

int main()
{
	cout << A::GetCount() << endl;

	return 0;
}

*****
0
*****

️静态成员函数能用类名 :: 静态成员函数的原理是什么??

• 
  先看一下普通成员函数的最大特点 — — this指针, 它有没有
  
  这个时候, 我们就恍然大悟了 — — 由于静态成员函数没有this指针, 所以不需要对象来进行访问.
  再加上 静态成员变量只要突破类域 和 访问限定符 的限制, 就能进行访问
  由于静态成员变量是属于整个类的, 不是属于某一个对象的; 静态成员函数是没有this指针的⇒ 在类外面突破类域就只能用 类名 :: 这种方法了. [普通的成员变量突破类域直接创建一个对象就行, 普通的成员函数突破类域也必须依靠对象.]
  ⇒ 公共函数区段的静态成员函数的访问就可以用 类名 :: 静态成员函数
  ⇒ 当然, 没有this指针, 静态成员函数就不能访问非静态成员变量

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

总结一下静态成员变量/ 静态成员函数 的特点:

1. 静态成员为所有类对象所共享，不属于某个具体的对象，存放在静态区
2. 静态成员变量必须在类外定义，定义时不添加static关键字，类中只是声明
3. 类静态成员即可用 类名::静态成员 或者 对象.静态成员 来访问
4. 静态成员函数没有隐藏的this指针，不能访问任何非静态成员
5. 静态成员也是类的成员，受public、protected、private 访问限定符的限制

问题收尾

[问题]

1. 静态成员函数可以调用非静态成员函数吗？
   
   由于静态成员函数没有this指针, 而非静态成员函数又需要this指针⇒ 静态成员函数不能调用非静态成员函数.

2. 非静态成员函数可以调用类的静态成员函数吗？
   
   非静态成员函数有隐藏的this指针, 但是静态成员函数不需要this指针; 不过两者并不干扰⇒ 非静态成员函数可以调用静态成员函数.

友元

友元提供了一种突破封装的方式，有时提供了便利。但是友元会增加耦合度(依赖性增强了)，破坏了封装，所以友元不宜多用

友元函数

通过前面的学习, 我们知道了 有一种情况:
我们的普通函数必须定义在类外面, 但是我们必须要使用类中的私有成员变量 — — 我们的 重载 << 和 重载 >> 就是这样的一个函数
这个时候就需要用 友元 来解决问题

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

class Date
{
	// 这里只是声明一下 -- 这个函数是我的 '朋友', 可以使用我的 '东西'
	friend ostream& operator<<(ostream& _cout, const Date& d);
	friend istream& operator>>(istream& _cin, Date& d);

public:
	Date(int year = 2023, int month = 5, int day = 23)
		: _year(year)
		, _month(month)
		, _day(day)
	{}

private:
	int _year;
	int _month;
	int _day;

};

ostream& operator<<(ostream& _cout, const Date& d)
{
	_cout << d._year << "-" << d._month << "-" << d._day;
	return _cout;
}

istream& operator>>(istream& _cin, Date& d)
{
	_cin >> d._year;
	_cin >> d._month;
	_cin >> d._day;
	return _cin;
}

int main()
{
	Date d;
	cin >> d;
	cout << d << endl;

	return 0;
}

• 注意: 对于友元, 如果有代替方案, 就不要使用友元. 因为它是一个 特例, 破坏了封装
• 总结:
  • 友元函数可访问类的私有和保护成员，但不是类的成员函数
  • 友元函数不能用const修饰
    • 因为友元函数不是类的成员函数, 是没有this指针的. const修饰函数, 就是修饰this指针⇒ 故友元函数不能用const修饰
  • 友元函数可以在类定义的任何地方声明，不受类访问限定符限制
  • 一个函数可以是多个类的友元函数
  • 友元函数的调用与普通函数的调用原理相同

友元类

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

class Time
{
	friend class Date; // 声明日期类为时间类的友元类，则在日期类中就直接访问Time类中的私有成员变量

public:
	Time(int hour = 0, int minute = 0, int second = 0)
		: _hour(hour)
		, _minute(minute)
		, _second(second)
	{}

private:
	int _hour;
	int _minute;
	int _second;
};

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

	void SetTimeOfDate(int hour, int minute, int second)
	{
		// 直接访问时间类私有的成员变量
		_t._hour = hour;
		_t._minute = minute;
		_t._second = second;
	}

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

由于友元的知识很简单, 这里都是直接上代码看看就行了
[总结]:

1. 搞懂谁是谁的友元 — — Date类 是 Time类的友元⇒ Date类里面可以访问Time类中的私有成员, 而Time类就不能访问Date类的私有成员
2. 友元具有单向性, 不具有交换性 — — Time类 不是 Date类的友元
3. 友元不具有传递性 — — 小明是小红的好朋友, 小鹏是小红的好朋友, 小明和小鹏不一定是好朋友
4. 友元关系不能继承，在继承位置再给大家详细介绍

---

内部类

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

首先, 先看一看内部类的基本形式

class A
{
private:
	static int _k;
	int _h;

public:

	class B // B是A的内部类
	{
	public:
		void foo(const A& a)
		{
			cout << _k << endl;
			cout << a._h << endl;
		}

	private:
		int _tem;
		int _b;

	};
};

️如何证明内部类不包含在外部类, 是一个独立的类?

• 分下面的两种思路:

1. sizeof(外部类)
   

2. 用外部类的对象去访问内部类的成员
   
   ⇒ 结合上面两种结果, 我们不难发现: 内部类是不在外部类中的, 只是定义在外部类中

️如果我们想在 main函数里面创建一个 B对象, 那该怎么创建?

• 虽然, 我们的内部类是不属于外部类的, 但是定义在外部类里面
  类 — — 一个作用域, 那么创建一个内部类对象就必须突破外部类的限制, 即要使用::
  上面的 B类是定义在A类的 public区段, 就可以不受访问限定符的限制
  ⇒ 所以, 在 main函数里面创建一个内部类对象: 外部类::内部类 对象

A :: B b;

️友元是声明, 所以声明的位置没有限制. 内部类是一种定义, 那么它的定义位置有没有限制呢?

• 
  
  内部类的位置也是没有限制的, 但是对外面创建对象是有影响的⇒ 从这个就可以看出, 是受访问限定符限制的

插一句话:
访问限定符限定的是成员的访问方式, 而成员包括成员变量 和 成员函数
而只有在类中定义的东西才会受访问限定符的限制. 比如成员变量, 成员函数, 内部类

• 内部类是外部类的天生友元. 内部类可以访问外部类的私有成员, 而外部类却不能访问内部类的成员(内部类的访问权限高于外部类). 对于外部类不能访问内部类的成员⇒ 建议把成员变量写在外部类中, 这样大家都可以用
• 内部类可以直接访问外部类中的static成员，不需要外部类的对象/类名
  

[总结]:

• 内部类是一个独立类, 不属于外部类⇒ 加了一层作用域
• 内部类是外部类的一个天生友元
• 内部类受访问限定符 和 类域的限制
• 内部类可以定义在外部类的public、protected、private

---

理解 类和对象

现实生活中的实体计算机并不认识，计算机只认识二进制格式的数据。如果想要让计算机认识现实生活中的
实体，用户必须通过某种面向对象的语言，对实体进行描述，然后通过编写程序，创建对象后计算机才可以
认识。比如想要让计算机认识洗衣机，就需要：

1. 用户先要对现实中洗衣机实体进行抽象—即在人为思想层面对洗衣机进行认识，洗衣机有什么属性，有
   那些功能，即对洗衣机进行抽象认知的一个过程
2. 经过1之后，在人的头脑中已经对洗衣机有了一个清醒的认识，只不过此时计算机还不清楚，想要让计
   算机识别人想象中的洗衣机，就需要人通过某种面相对象的语言(比如：C++、Java、Python等)将洗衣
   机用类来进行描述，并输入到计算机中
3. 经过2之后，在计算机中就有了一个洗衣机类，但是洗衣机类只是站在计算机的角度对洗衣机对象进行
   描述的，通过洗衣机类，可以实例化出一个个具体的洗衣机对象，此时计算机才能洗衣机是什么东西。
4. 用户就可以借助计算机中洗衣机对象，来模拟现实中的洗衣机实体了。
   在类和对象阶段，大家一定要体会到，类是对某一类实体(对象)来进行描述的，描述该对象具有那些属性，
   那些方法，描述完成后就形成了一种新的自定义类型，才用该自定义类型就可以实例化具体的对象

It is not enough to be industrious, so are the ants. What are you industrious about?
光勤劳是不够的，蚂蚁也是勤劳的。要看你为什么而勤劳。