(C++) 类和对象 (一) class 访问限定符 this指针 类的大小计算

# 0 概论

类和对象的加入是C++的最重要的改进之一。

简单的理解：
类其实就相当于是C中的自定义结构体类型；
对象就是这个结构体类型的一个变量。

初步理解和掌握运用类和对象，是从C踏入C++里程性的一步。

类由结构体变量改进而来，并且由于C++兼容C，故类的写法可以和结构体一致。
不过一般习惯将在成员变量前加上_，以便于在函数传参时区分成员变量与形参。

struct Date
{
	int _year;
	int _month;
	int _day;
};

当然，把结构体升级为类就是为了改进结构体的一些不足。
于是对于类的定义，还有改进的写法。

# 1 无需typedef

以往在C中，如果在结构体内部有该结构体自己的指针，代码往往需要这样写：

//以往C
struct List
{
	int _val;
	struct List* next;
};

即使加上typedef，内部的定义也无法享用。

//内部变量无法省略struct
typedef struct List
{
	int _val;
	struct List* next;
}List;

需要重命名，同时结构体内部还不能用，很讨厌。
于是C++对其进行改进，无需typedef，类的名称就已经省略了struct，类名就是类型。
代码就可以写成：

//在C中这样写是错误的
//C++中可以这样省略的写
struct List
{
	int _val;
	List* next;
};

# 2 函数可以作为成员

类支持将函数也作为成员写进类的内部。
这样做的好处是，支持不同类内部存在同名函数，互不影响。

//Stack和Queue是两个不同的类，允许同名函数Push的存在
struct Stack
{
	void Push(int val)
	{
		//...
		;
	}
};

struct Queue
{
	void Push(int val)
	{
		//...
		;
	}
};

# 3 this指针

成员函数的调用与普通函数略有不同，区别在于存在this指针。

struct Date
{
	int _year;
	int _month;
	int _day;

	//写出来的代码
	void Print()
	{
		cout << _year << endl;
		cout << _month << endl;
		cout << _day << endl;
	}

	//实际被编译器视为
	//void Print(Date* const this)
	//{
	//	cout << this->_year << endl;
	//	cout << this->_month << endl;
	//	cout << this->_day << endl;
	//}
};

int main()
{
	Date d;

	d._year = 2024;
	d._month = 2;
	d._day = 21;

	//写出来的代码
	d.Print();

	//实际被编译器视为
	//d.Print(&d);

	return 0;
}

可以看出，在调用成员函数，传递参数和接收参数时，都隐藏着一个指针。
这就是this指针。

this指针在传递过程中的隐藏是必要的，不允许像上述被注释的部分那样写出来。
所有this指针的传递与接收都是由编译器在暗中搞定的，即可以省略这个参数。

虽然不允许显性的传递，但是允许显性的使用。
也就是上述被注释部分中，这一段是没问题的：

	cout << this->_year << endl;
	cout << this->_month << endl;
	cout << this->_day << endl;

这里的this->可写可不写。

顺带一提，this指针的类型为：

void Print(Date* const this)

即this指针本身不允许改变，指向的内容可以改变。

如果想要让指向的内容也不可以改变，
同时由于thsi指针不允许显性的作为参数，代码中没有这么一个this可以让你在前面加上const
于是就在函数末尾加上const。
这是语法。
也就是这样：

void Print() const

# 4 新关键词class

C++新加入了一个关键词class。

class的使用与struct几乎一致，一般为了区分，写类时都用class来代替struct。

二者唯一的不同在于默认的访问限定符不同。
见下文。

# 5 访问限定符

访问限定符分为三类：

//公有 public
//保护 protected
//私有 private

保护成员在子类可以直接被访问，相较于其他二者用的少，
私有成员在子类中不能被访问，
公有成员在子类和对象外都可以直接访问。

大部分情况下将成员变量设为私有，不允许外部私自调用。
将成员函数设为公有，通过公有的成员函数来调用改变成员变量。
这样做严谨规范且安全。

于是一个基础的类就会写成：

class Date
{
private:
	int _year;
	int _month;
	int _day;

public:
	void Print()
	{
		cout << _year << endl;
		cout << _month << endl;
		cout << _day << endl;
	}
};

class的默认访问限定符是私有，
struct的默认访问限定符是公有。

即如果不写访问限定符，或者访问限定符没有包含所有的成员变量和成员函数，
那么未被包含的部分，在class中是私有的，在struct中是公有的。

# 6 声明与定义分离

就像C中一样，分离后，
头文件中放成员变量和成员函数的声明：

//头文件中
class Date
{
private:
	int _year;
	int _month;
	int _day;

public:
	void Print();
};

cpp文件中放成员函数的实现。
不同的是成员函数的定义要在函数名前面加上::来指明是哪个类。

//cpp文件中
void Date::Print()
{
	cout << _year << endl;
	cout << _month << endl;
	cout << _day << endl;
}

当然也支持成员函数直接在类内实现。
类内定义的函数，相当于前面加了inline，
依然是由编译器自己判断是否视为内联。

# 7 类的大小计算

类的大小计算大体上与结构体计算类似，同样需要考虑内存对齐。

不同点有二：
第一，虽然成员函数也写在类里面，但并不储存在类内部，计算大小时只需要考虑成员变量。
这样一来就与结构体完全一致了。

第二，如果一个类没有成员变量，那么大小并不是0，而是1字节。
这个字节不储存有效数据，仅仅标识对象存在过。