物件模型與this指標

1.C++物件模型和this指標

1.1.成員變數和成員函式分開儲存

在C++中，類內的成員變數和成員函式分開儲存

只有非靜態成員變數才屬於類的物件上

class Person {
public:
	Person() {
		mA = 0;
	}
	//非静态成员变量占对象空间
	int mA;
	//静态成员变量不占对象空间
	static int mB; 
	//函数也不占对象空间，所有函数共享一个函数实例
	void func() {
		cout << "mA:" << this->mA << endl;
	}
	//静态成员函数也不占对象空间
	static void sfunc() {
	}
};

int main() {

	cout << sizeof(Person) << endl;


	return 0;
}

執行結果（型別大小或型別名可能隨編譯器和平臺變化）：

4

1.2.this指標概念

通過4.3.1我們知道在C++中成員變數和成員函式是分開儲存的

每一個非靜態成員函式只會誕生一份函式例項，也就是說多個同類型的物件會共用一塊程式碼

那麼問題是：這一塊程式碼是如何區分那個物件呼叫自己的呢？

c++通過提供特殊的物件指標，this指標，解決上述問題。this指標指向被呼叫的成員函式所屬的物件

this指標是隱含每一個非靜態成員函式內的一種指標

this指標不需要定義，直接使用即可

this指標的用途：

• 當形參和成員變數同名時，可用this指標來區分
• 在類的非靜態成員函式中返回物件本身，可使用return *this

class Person
{
public:

	Person(int age)
	{
		//1、当形参和成员变量同名时，可用this指针来区分
		this->age = age;
	}

	Person& PersonAddPerson(Person p)
	{
		this->age += p.age;
		//返回对象本身
		return *this;
	}

	int age;
};

void test01()
{
	Person p1(10);
	cout << "p1.age = " << p1.age << endl;

	Person p2(10);
	p2.PersonAddPerson(p1).PersonAddPerson(p1).PersonAddPerson(p1);
	cout << "p2.age = " << p2.age << endl;
}

int main() {

	test01();


	return 0;
}

執行結果：

p1.age = 10
p2.age = 40

1.3.空指標訪問成員函式

C++中空指標也是可以呼叫成員函式的，但是也要注意有沒有用到this指標

如果用到this指標，需要加以判斷保證程式碼的健壯性

示例：

//空指针访问成员函数
class Person {
public:

	void ShowClassName() {
		cout << "我是Person类!" << endl;
	}

	void ShowPerson() {
		if (this == NULL) {
			return;
		}
		cout << mAge << endl;
	}

public:
	int mAge;
};

void test01()
{
	Person * p = NULL;
	p->ShowClassName(); //空指针，可以调用成员函数
	p->ShowPerson();  //但是如果成员函数中用到了this指针，就不可以了
}

int main() {

	test01();


	return 0;
}

執行結果：

我是Person类!

1.4.const修飾成員函式

常函式：

• 成員函式後加const後我們稱為這個函式為常函式
• 常函式內不可以修改成員屬性
• 成員屬性宣告時加關鍵字mutable後，在常函式中依然可以修改

常物件：

• 宣告物件前加const稱該物件為常物件
• 常物件只能呼叫常函式

示例：

class Person {
public:
	Person() {
		m_A = 0;
		m_B = 0;
	}

	//this指针的本质是一个指针常量，指针的指向不可修改
	//如果想让指针指向的值也不可以修改，需要声明常函数
	void ShowPerson() const {
		//const Type* const pointer;
		//this = NULL; //不能修改指针的指向 Person* const this;
		//this->mA = 100; //但是this指针指向的对象的数据是可以修改的

		//const修饰成员函数，表示指针指向的内存空间的数据不能修改，除了mutable修饰的变量
		this->m_B = 100;
	}

	void MyFunc() const {
		//mA = 10000;
	}

public:
	int m_A;
	mutable int m_B; //可修改 可变的
};

//const修饰对象  常对象
void test01() {

	const Person person; //常量对象  
	cout << person.m_A << endl;
	//person.mA = 100; //常对象不能修改成员变量的值,但是可以访问
	person.m_B = 100; //但是常对象可以修改mutable修饰成员变量

	//常对象访问成员函数
	person.MyFunc(); //常对象不能调用const的函数

}

int main() {

	test01();


	return 0;
}

執行結果：

0