类和对象（上）续——类对象模型和this指针

目录

1. 类对象模型

1.1 如何计算类对象的大小

1.2 类对象的存储方式

1.3 结构体内存对齐规则

2. this指针

2.1 this指针的引出

2.2 this指针的特性 

---

1. 类对象模型

1.1 如何计算类对象的大小

class Data
{
public:
	void Init(int year,int month,int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Data d;
}

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

1.2 类对象的存储方式

//类中既有成员变量，又有成员函数
class A1 {
public:
	void f1(){}
private:
	int _a;
};
// 类中仅有成员函数
class A2 {
public:
	void f2() {}
};
// 类中什么都没有---空类
class A3
{};
int main()
{
	cout << "A1空间大小:" << sizeof(A1) << endl;
	cout << "A2空间大小:" << sizeof(A2) << endl;
	cout << "A3空间大小:" << sizeof(A3) << endl;
	return 0;
}

 

结论：一个类的大小，实际就是该类中“成员变量”之和，但是要注意内存对齐，与结构体大小计算相同。

注意：空类的大小为1，空类比较特殊，编译器给了空类一个字节来唯一标识这个类的对象。

1.3 结构体内存对齐规则

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

2. this指针

2.1 this指针的引出

class Data
{
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()
{
	Data d1,d2;
	d1.Init(2022, 11, 18);
	d2.Init(2022, 11, 19);
	d1.Print();
	d2.Print();
	return 0;

}

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

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

2.2 this指针的特性 

        1.this指针的类型：类类型* const，即成员函数中，不能给this指针赋值。

        2.this指针只能在成员函数内部使用。

        3.this指针本质上是"成员函数"的形参，当对象调用成员函数时，将对象的地址作为实参传递给this形参。所以对象中不存储this指针。

        4.this指针是成员函数第一个隐含的指针形参，vs中一般情况由编译器通过exc寄存器（但并不是所有的成员函数的this都是ecx寄存器传递的）自动传递，不需要用户传递。

 【面试题】

1.this指针存在哪里？

class A
{
public:
	void Print()
	{
		A* const& lthis = this;
		cout <<"this的地址"<< &lthis << endl;
	}
private:
	int _a;
};

 通过引用来查看this的地址， esp、ebp分别是程序运行时的栈帧的栈顶和栈底，栈帧中存放的是函数的参数、局部变量、一些寄存器信息。通过对比可以发现，&lthis的值恰好在esp、ebp之间，说明this就在栈中存放。

2.this指针可以为空吗？

class A
{
public:
	void Print()
	{
		cout << this << endl;
		cout << this->_a << endl;
		cout << "Print()" << endl;
	}
private:
	int _a;
};


int main()
{
	A a;
	a.Print();

	A* pa = &a;
	pa->Print();
	
	pa = nullptr;
	pa->Print();
	return 0;
}

结论：this指针可以为空，但是当this指针指向空后，不可以用this访问成员变量，否则会报错。