C++-Record25—C++面向对象模型初探

目录

基本知识 

汇总

this指针

总体代码

---

通过之前的学习，知道类里面有普通成员变量和静态成员变量，那么请问编译器是如何管理这些变量的？这个涉及到编译器如何在面向过程的基础之上提供面向对象的设计。这个话题异常重要，也决定了是否能从面向过程的思路上，转化到面向对象上来。

本次初探，目的是弄明白C++编译器是如何实现类型的封装的。

1. 语言中直接支持面向对象程序设计的部分，主要涉及如构造函数、析构函数、虚函数、继承（单继承、多继承、虚继承）、多态等等。

2. 对于各种支持的底层实现机制。

在c语言中，“数据”和“处理数据的操作（函数）”是分开来声明的，也就是说，语言本身并没有支持“数据和函数”之间的关联性。而在c++中，通过抽象数据类型（abstract data type，ADT），在类中定义数据和函数，来实现数据和函数直接的绑定，也就是封装。

概括来说，在C++类中有两种成员数据：static、nonstatic；三种成员函数：static、nonstatic、virtual。

基本知识 

C++中的class从面向对象理论出发，将变量(属性)和函数(方法)集中定义在一起，用于描述现实世界中的类。从计算机的角度，程序依然由数据段和代码段构成。

C++编译器如何完成面向对象理论到计算机程序的转化？

换句话：C++编译器是如何管理类、对象、类和对象之间的关系的呢？

具体的说：具体对象调用类中的方法，那，c++编译器是如何区分，是那个具体的类，调用这个方法那?

看如下这张图：

C++大牛在设计编译器的时候，设计编译器处理的时候，是把成员函数和成员变量分开的，把一个输入的（上图左侧）代码，拆解为右侧样式，把属性放在一起，即C++类对象中的成员变量和成员函数是分开存储的。

而且，普通成员变量：存储于对象中，与struct变量有相同的内存布局和字节对齐方式；静态成员变量：存储于全局数据区中

；成员函数：存储于代码段中。

这样解释，又带来了一个问题：很多对象共用一块代码？代码是如何区分具体对象的呢？遇到这种问题的时候C++编译器是如何做的呢？答案是C++编译器创建了一个this指针（就是一个指向自己的数据类型的指针）来解决这个问题，在上图中，右侧的“Test(int i)”这行，放在编译器中的实际样式是："void Test_initialize(Test* pThis, int i)"多出一个this指针来进行，如果是对象a1,那么这个指针就指向a1,如果是a2，那就是指向a2。

C++编译也是建立在面向过程之上的，只不过是建立了一层封装机制，实现了面向对象而已。

再看静态成员函数，发现，其没有this指针，因为静态成员函数是属于整个类的，只需要有类名作用符，就可以了。

所以，再叙述一遍，在建立多个对象的时候，假设就创建a1,a2,a3这三个对象，如何让代码具体区分处理的过程中到底是那个对象的呢，当执行到a1的时候，取a1的地址，传给类的this指针，那编译器就知道这个时候处理的是a1;当执行到a2的时候，取a2的地址，传给类的this指针，编译器就知道处理的是a2了。在代码中，就可以通过this指针求出来，到底是那个对象调用过这个函数了。

汇总

1、C++类对象中的成员变量和成员函数是分开存储的。C语言中的内存四区模型仍然有效！

2、C++中类的普通成员函数都隐式包含一个指向当前对象的this指针。

3、静态成员函数、成员变量属于类

静态成员函数与普通成员函数的区别

静态成员函数不包含指向具体对象的指针

普通成员函数包含一个指向具体对象的指针

this指针

通过上面的记录，可以知道，C++中的类，其实就是C语言中的结构体的加强版，那么每次调用的类的时候，其实都是把对象取地址，传给类中函数的this指针的（静态成员函数除外）所以，可以直接通过this指针来进行操作：

class Test
{
public:
	Test(int a, int b) //---> Test(Test *this, int a, int b)
	{
		this->a = a;
		this-> b = b;	
	}
	void printT()
	{
		cout<<"a: " <<a <<endl;
		cout<< "b: " << this->b <<endl;
	}
protected:
private:
	int a;
	int b;
};

定义一个类，其中:

		this->a = a;
		this-> b = b;

这样类似于C中的，结构体的方式来赋值。也是可以的。 

总体代码

dm16_面向对象模型初探.cpp

#include "iostream"

using namespace std;

class C1
{
public:
	int i;  //4
	int j; //4
	int k;  //4
protected:
private:
}; //12

class C2
{
public:
	int i; 
	int j; 
	int k; 

	static int m; //4
public:
	int getK() const { return k; } //4
	void setK(int val) { k = val; }  //4

protected:
private:
}; //24 16 12(Ìú¶¤µÄ²»¶Ô)

struct S1
{
	int i;
	int j;
	int k;
}; //12

struct S2
{
	int i;
	int j;
	int k;
	static int m;
}; //16

int main()
{
	printf("c1:%d \n", sizeof(C1));
	printf("c2:%d \n", sizeof(C2));
	printf("s1:%d \n", sizeof(S1));
	printf("s2:%d \n", sizeof(S2));

	system("pause");
}

dm17_面向对象模型this指针练习.cpp

#include <iostream>
using namespace std;
class Test
{
public:
	Test(int a, int b) //---> Test(Test *this, int a, int b)
	{
		this->a = a;
		this-> b = b;	
	}
	void printT()
	{
		cout<<"a: " <<a <<endl;
		cout<< "b: " << this->b <<endl;
	}
protected:
private:
	int a;
	int b;
};

void main()
{
	
	Test t1(1, 2);
	t1.printT();// ===> printT(&t1)
	cout<<"hello..."<<endl;
	system("pause");
	return ;
}