【C++初阶】第二站:类与对象(上) -- 下部分-Toy模板网

这篇具有很好参考价值的文章主要介绍了【C++初阶】第二站:类与对象(上) -- 下部分。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

前言：

本章知识点： 类对象模型、 this 指针

专栏： C++初阶

类对象模型

如何计算类对象的大小

类对象的存储方式猜测

结构体内存对齐规则

this指针

this指针的引出

this指针的特性

C语言和C++实现Stack的对比

C语言实现

C++实现

类对象模型

如何计算类对象的大小

代码演示
class Date
{
public:
	void Init(int year, int month,int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	void Print()
	{
		cout << _year << "/" << _month << "/" << _day << endl;
	}
//private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1;

	cout<< sizeof(Date)<<endl;//?
	cout << sizeof(d1) << endl;//?
}
Date类实例化了一个d1对象，分别求出它们占用的字节大小，是多少？

为什么结果都是12？

解析：对于Date来说，它也是一个数据类型，那么算类型大小，就是算这个类型的对象，实例化出来有多大。

所以说,sizeof(类名)，就相当于算该类的实例化对象有多大，即算类的大小就是算对象的大小。

问题：类中既可以有成员变量，又可以有成员函数，那么一个类的对象中包含了什么？如何计算一个类的大小？看下文。

类对象的存储方式猜测

设计方式一：对象中包含类的各个成员

缺陷：每个对象中成员变量是不同的，但是调用同一份函数，如果按照此种方式存储，当一
个类创建多个对象时， 每个对象中都会保存一份代码，相同代码保存多次，浪费空间。

那么如何解决呢？

设计方式二：代码只保存一份，在对象中保存存放代码的地址

设计方式三：只保存成员变量，成员函数存放在公共的代码段

问题：对于上述三种存储方式，那计算机到底是按照那种方式来存储的？

采用方式三，两种证明思路：

思路一：对于猜测一，再重新看上面的代码，右击打开反汇编：

由d1和d2两个不同的对象分别调用Init()和Print()，可以右边汇编代码看到 红色(Init)和 蓝色(Print)框里面的值(地址值)分别对应相等，说明什么？说明不同对象在调用同一个类里的同一个成员函数，它们调用的都是同一个函数，这个函数位于 公共的代码区域。

思路二： 对于猜测二，还有另一种为什么对象采用第三种设计方式，我的理解是：

但是结果是12，所以成员函数，并不在对象中存储，而是存储在 公共代码区。

我们再通过对下面的不同对象分别获取大小来分析看下

//类中有成员变量和成员函数
class A1
{
public:
	 void f1() {}
private:
	 char _ch;
	 int _a;
};
//类中仅有成员函数
class A2
{
public:
	void f2() {};
};
//类中什么都没有 -- 空类
class A3
{
};

int main()
{
//变量定义的特点就是开空间
	A1 a1;
	A2 a2;
	A3 a3;

	cout << sizeof(a1) << endl;//8
	//分配1byte，不存储数据，只是占位，表示对象存在过
	cout << sizeof(a2) << endl;//1
	cout << sizeof(a3) << endl;//1
}

通过sizeof操作符算出三个对象的大小，a1大小为8 byte，a2为1 byte，a3为1 byte。

结论：一个类的大小，实际就是该类中”成员变量”之和，当然要注意内存对齐，注意空类的大小，空类比较特殊，编译器给了空类一个字节来唯一标识这个类的对象

结构体内存对齐规则

1. 第一个成员在与结构体偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
3. 结构体总大小为：最大对齐数（所有变量类型最大者与默认对齐参数取最小）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整
体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。（VS中默认的对齐数为8)

C语言内存对齐详解：结构体内存对齐

【面试题】
1. 结构体怎么对齐？为什么要进行内存对齐？
2. 如何让结构体按照指定的对齐参数进行对齐？能否按照3、4、5即任意字节对齐？
3. 什么是大小端？如何测试某台机器是大端还是小端，有没有遇到过要考虑大小端的场景

this指针

this指针的引出

我们先来定义一个日期类 Date

class Date
{
public:
	void Init(int year,int month,int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	void Print()
	{
		cout << _year << "/" << _month << "/" <<_day << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1;//实例化d1对象
	d1.Init(2023,8,24);//设置d1的日期
	d1.Print();//打印d1的日期

	Date d2;//实例化d2对象
	d2.Init(2024,7,4);//设置d2的日期
	d2.Print();//打印d2的日期
	
	return 0;
}

对于上述类，有这样的一个问题:Date类中有 Init 与 Print 两个成员函数，函数体中没有关于不同对象的区分，那当d1调用 Init 函数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢？

C++中通过引入this指针解决该问题，即： C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参数，让该指针指向当前对象(函数运行时调用该函数的对象)，在函数体中所有“成员变量” 的操作，都是通过该指针去访问。只不过所有的操作对用户是透明的，即用户不需要来传递，编译器自动完成。

也就是说，编译器会在编译时进行处理，在传参的时候，在原本函数的第一个参数的前面添加一个地址作为新的参数