C++核心之类和对象——C++对象模型和this指针P114-P117

4.3C++对象模型和this指针

4.3.1成员变量和成员函数分开存储

在C++中，类内的成员变量和成员函数分开存储
只有非静态成员变量才属于类的对象上

#include<iostream>
using namespace std;

//成员变量和成员函数 分开存储
class Person
{

};
class Person02
{
	int m_a;//非静态成员变量，属于类的对象上,size:4

	static int m_b;//静态成员变量，不属于类的对象上,size=4

	void func()
	{
	}//非静态成员函数，不属于类的对象上,size=4
	void func2()
	{
	}//静态成员函数，不属于类的对象上,size=4
};
int Person02::m_b = 0;

void test01()
{
	Person p;
	//空对象占用内存空间为：1
	//C++编译器会给每个空对象也分配一个字节空间，是为了区分空对象占内存的位置，比如说有两个空对象总要区分开
	//每个空对象也应该有一个独一无二的内存地址
	cout << "size of p=" << sizeof(p) << endl;//size of p=1
}
void test02()
{
	Person02 p;
	cout << "size of p=" << sizeof(p) << endl;//size of p=4
}
int main()
{
	test01();

	test02();

	system("pause");
	return 0;
}

运行结果：

总结：
非静态成员变量占对象空间
静态成员变量不占对象空间
函数也不占对象空间，所有函数共享一个函数实例
静态成员函数也不占对象空间

4.3.2this指针概念

通过4.3.1我们知道在C++中成员变量和成员函数是分开存储的

每一个非静态成员函数只会诞生一份函数实例，也就是说多个同类型的对象会共用一块代码

那么问题是：这一块代码是如何区分那个对象调用自己的呢？

c++通过提供特殊的对象指针，this指针，解决上述问题。this指针指向被调用的成员函数所属的对象，如：p1调用成员函数了，那么this就指向p1,p2调用成员函数了，那么this就指向p2。
this指针是隐含在每一个非静态成员函数内的一种指针

this指针不需要定义，直接使用即可

this指针地址等于此对象指针的地址

this指针的用途：

• 当形参和成员变量同名时，可用this指针来区分
• 在类的非静态成员函数中返回对象本身，可使用return *this

#include<iostream>
using namespace std;

class Person03
{
public:
	Person03(int age)//age是形参
	{
		this->age = age;//this指针指向被调用的成员函数所属的对象
	}
	int age;//成员变量
	void PersonAddAge(Person03& p)
	{
		this->age += p.age;//将p的age加到调用的成员函数所属的对象
	}
	Person03& PersonAddAge2(Person03& p)
	{
		this->age += p.age;//将p的age加到调用的成员函数所属的对象
		return *this;//this指向被调用的成员函数所属的对象的指针，也就是p2的指针，而*this指向的就是p2这个对象的本体
	}

	//p108：以值方式返回局部对象会调用拷贝构造函数
	Person03 PersonAddAge3(Person03& p)//没加引用，返回的不是p2的本体，调用了拷贝构造函数，拷贝出一个新的数据p2’
	{
		this->age += p.age;//将p的age加到调用的成员函数所属的对象
		return *this;//this指向被调用的成员函数所属的对象的指针，也就是p2的指针，而*this指向的就是p2这个对象的本体
	}
};
//1.解决名称冲突当形参和成员变量同名时，可用this指针来区分
void test03()
{
	Person03 p1(18);
	cout << p1.age << endl;//18
}
//2.在类的非静态成员函数中返回对象本身，可使用return *this
void test04()
{
	Person03 p1(10);
	Person03 p2(10);
	p2.PersonAddAge(p1);
	cout << "p2的年龄为：" << p2.age << endl;//20

	Person03 p3(10);
	//链式编程思想
	p3.PersonAddAge2(p1).PersonAddAge2(p1).PersonAddAge2(p1);
	cout << "p3的年龄为：" << p3.age << endl;//40
	Person03 p4(10);
	p4.PersonAddAge3(p1).PersonAddAge3(p1).PersonAddAge3(p1);
	cout << "p4的年龄为：" << p4.age << endl;//40
}
int main()
{
	test03();
	test04();
	system("pause");
	return 0;
}

运行结果：

4.3.3空指针访问成员函数

C++中空指针也是可以调用成员函数的，但是也要注意有没有用到this指针，如果用到this指针，需要加以判断来保证代码的健壮性

#include<iostream>
using namespace std;

class Person03 
{
public:

	void ShowClassName() 
	{
		cout << "this is Person class" << endl;
	}
	/*void ShowPersonAge()
	{
		//报错原因是因为传入的指针是为NULL
		cout << "age=" << this->m_age << endl;

	}*/

	void ShowPersonAge()
	{
		if (this == NULL) {
			return;//代码直接结束
		}
		cout << "age=" << this->m_age << endl;
	}

	int m_age;
};

void test05()
{
	Person03* p = NULL;
	p->ShowClassName();
	p->ShowPersonAge();
}

int main()
{
	test05();
	system("pause");
	return 0;
}

总结：空指针可以访问成员函数，但是不可以调用成员函数的成员属性

4.3.4const修饰成员函数

常函数：

• 成员函数后加const后我们称为这个函数为常函数
• 常函数内不可以修改成员属性
• 成员属性声明时加关键字mutable后，在常函数中依然可以修改

常对象：

• 声明对象前加const称该对象为常对象
• 常对象只能调用常函数

#include<iostream>
using namespace std;

class Person04
{
public:
	//this指针：Person04 *const this ；this指针的本质是指针常量，指针的指向是不可以修改的
	//加上const之后：const Person04 *const this；这下不仅连指针的指向不能改，连指针指向的值也不能修改
	//在成员函数后面加const,修饰的是this指向，让指针指向的值也不可以修改
	void showPerson()const
	{
		this->m_b = 200;
		//this->m_a = 100;报错
	}
	void func()
	{

	}
	int m_a;
	mutable int m_b;//特殊变量，即使在常函数中，也可以修改这个值
};
void test06()
{
	Person04 p;
	p.showPerson();
}

void test07()
{
	//常对象：
	const Person04 p;//在对象前加const，变为常对象
	//p.m_a=100;报错
	p.m_b=200;//m_b是特殊值，在常对象下也可以修改

	//常对象只能调用常函数
	p.showPerson();
	//p.func();报错，常对象不可以调用普通成员函数，因为普通成员函数可以修改属性
}
int main()
{
	test06();

	test07();
	
	system("pause");
	return 0;
}