【C++笔记】类和对象的深入理解(一)

🔥个人主页：大白的编程日记

🔥专栏：C++笔记

文章目录

【C++笔记】类和对象的深入理解(一)
- 前言
- 一.类的定义
- - 1.1类定义格式
  - 1.2访问限定符
  - 1.3类域
- 二.实例化
- - 2.1 实例化概念
  - 2.2对象大小
- 三.this指针
- 四.练习
- 五. C++和C语言实现Stack对比
- 后言

前言

哈喽，各位小伙伴大家好！上期我们讲了C++的引用。今天我们就开始学习C++的重点—类和对象。话不多说，咱们进入正题！向大厂冲锋！

一.类的定义

C语言的结构体只能放变量。而C++的类除了能放成员变量，还能放成员函数。

1.1类定义格式

定义格式
例如我们用类定义一个栈。可以这样写

class为定义类的关键字，Stack为类的名字，{}中为类的主体，注意类定义结束时后面分号不能省略。类体中内容称为类的成员：类中的变量称为类的属性或成员变量;类中的函数称为类的方法或者成员函数。

class Stack//类名就是类型
{// 成员函数void Init(int n = 4){array = (int*)malloc(sizeof(int) * n);if (nullptr == array){perror("malloc申请空间失败");return;}capacity = n;top = 0;}void Push(int x){// ...扩容array[top++] = x;}int Top(){assert(top > 0);return array[top - 1];}void Destroy(){free(array);array = nullptr;top = capacity = 0;}
private:// 成员变量int* array;size_t capacity;size_t top;
}; //分号不能省略

成员变量和函数可以在类位置可以任意顺序。一般成员在下，函数在上。

成员标识
为了区分成员变量，⼀般习惯上成员变量会加⼀个特殊标识，如成员变量前⾯或者后面加_或者m开头，注意C++中这个并不是强制的，只是⼀些惯例，具体看公司的要求。
struct
C++中struct也可以定义类，C++兼容C中struct的用法，同时struct升级成了类，明显的变化是struct中可以定义函数，⼀般情况下我们还是推荐⽤class定义类。
类名
类的名字就是类的类型。所以我们定义类直接用类名定义即可。
默认内联
定义在类面的成员函数默认为inline。但声明和定义分离。声明在类里就不是内联了。

1.2访问限定符

C++⼀种实现封装的方式，用类将对象的属性与方法结合在一块，让对象更加完善，通过访问权限选择性的将其接口(函数)提供给外部的用户使用。

限定符
public修饰的成员在类外可以直接被访问；protected和private修饰的成员在类外不能直接被访问，protected和private目前可以认为是⼀样的，以后继承章节才能体现出他们的区别。
限定范围
访问权限作用域从该访问限定符出现的位置开始直到下⼀个访问限定符出现时为止，如果后面没有访问限定符，作用域就到—} 即类结束。一种访问可以出现多次。但一般同一作用域放在一起。
struct和class
class定义成员没有被访问限定符修饰时默认为private，struct默认为public。
使用场景
⼀般成员变量都会被限制为private/protected，需要给别人使用的成员函数会放为public。因为一般我们不想别人修改我们数据，只需要给别人调用我的函数接口。

1.3类域

域
类定义了⼀个新的作用域，类的所有成员都在类的作用域中，在类体外定义成员时，需要使用::作用域操作符指明成员属于哪个类域。
编译查找
类域影响的是编译的查找规则，下面程序中Init如果不指定类域Stack，那么编译器就把Init当成全局函数，那么编译时，找不到array等成员的声明/定义在哪里，就会报错。指定类域Stack，就是知道Init是成员函数，当前域找不到的array等成员，就会到类域中去查找。

// 声明和定义分离，需要指定类域void Stack::Init(int n){array = (int*)malloc(sizeof(int) * n);if (nullptr == array){perror("malloc申请空间失败");return;}capacity = n;top = 0;}

二.实例化

2.1 实例化概念

定义
用类类型在物理内存中创建对象的过程，称为类实例化出对象。
实例化
类是对象进行⼀种抽象描述，是⼀个模型⼀样的东西，限定了类有哪些成员变量，这些成员变量只是声明，没有分配空间，用类实例化出对象时，才会分配空间

多次实例化
⼀个类可以实例化出多个对象，实例化出的对象占⽤实际的物理空间，存储类成员变量。
打个比方：类实例化出对象就像现实中使用建筑设计图建造出房子，类就像是设计图，设计图规划了有多少个房间，房间大小功能等，但是并没有实体的建筑存在，也不能住⼈，用设计图修建出房子，房⼦才能住人。同样类就像设计图⼀样，不能存储数据，实例化出的对象分配物理内存存储数据。

把类看作一个建筑图，简单来说实例化就是将根据建筑图建出房子。一个建筑图可以建出多个房子。也就是实例化多个对象。

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 d2Date d1;Date d2;return 0;
}

2.2对象大小

存储对象
一个类对象大小还得看他里面存储的是啥。
先说结论类里面只存储了类成员变量。不存储成员函数。
那如果不存储成员函数如何找到函数呢？

首先函数被编译后是⼀段指令，对象中没办法存储，这些指令存储在⼀个单独的区域(代码段)，那么对象中非要存储的话，只能是成员函数的指针。

那为什么又不存储函数指针呢？

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 d2Date d1;Date d2;d1.Init(2024, 3, 31);d1.Print();d2.Init(2024, 7, 5);d2.Print();return 0;
}

以这段日期类代码来说。D1和D2执行的函数我们通过代码转化的汇编指令可以看到他们执行的函数都是同一个函数。

那再分析⼀下，对象中是否有存储指针的必要呢，Date实例化d1和d2两个对象，d1和d2都有各自独立的成员变量_year/_month/_day存储各自的数据，但是d1和d2的成员函数Init/Print指针却是⼀样的，存储在对象中就浪费了。如果用Date实例化100个对象，那么成员函数指针就重复存储100次，太浪费了。

那如果不存储函数指针调用时又如何找到函数呢？

其实函数指针是不需要存储的，函数指针是⼀个地址，调用函数被编译成汇编指令[call
地址]，其实编译器在编译链接时，就要找到函数的地址，不是在运行时找，只有动态多态是在运行时找，就需要存储函数地址，这个我们以后会讲解。

内存对齐
上面我们分析了对象中只存储成员变量，C++规定类实例化的对象也要符合内存对齐的规则。内存对齐的规则和C语言保持一致。

// 计算⼀下
A实例化的对象是多⼤？class A{public:void Print(){cout << _ch << endl;}private:char _ch;int _i;};

占位

class A
{
public:void Print(){cout << _ch << endl;}
private:char _ch;int _i;
};
class B
{
public:void Print(){//...}
};
class C
{};
int main()
{A a;B b;C c;cout << sizeof(a) << endl;cout << sizeof(b) << endl;cout << sizeof(c) << endl;return 0;
}

这里我们看一下ABC三个类对象的大小是多少。

A是8没问题。可是B和C都没有成员变量。前面我们说类只存储成员变量。
那他们没有为什么不是0呢？
因为如果⼀个字节都不给，那他地址是多少？如果定义多个B对象怎么区分？怎么表示对象存在过呢！所以这里给1字节，纯粹是为了占位标识对象存在。

三.this指针

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类实例化出对象d1d2Date d1;Date d2;d1.Init(2024, 3, 31);d1.Print();d2.Init(2024, 7, 5);d2.Print();return 0;
}

这里我们定义d1和d2两个类对象。

这里我们打印分别两个日期类。
在这里插入图片描述
前面我们说了不同类对象调用的函数都是同一个函数。而且参数都是无参的。
那当d1和d2调用Init和Print函数时，该函数是如何知道应该访问的是d1对象还是d2对象呢？那么这里就要看到C++给了⼀个隐含的this指针解决这里的问题。

隐含的this指针
编译器编译后，类的成员函数默认都会在形参第⼀个位置，增加⼀个当前类类型的指针，叫做this指针。比如Date类的Init的真实原型为
void Init(Date* const this, int year, int month, int day)

 void Prin(Date* const this)//原型void Print(){cout << _year << "/" << _month << "/" << _day << endl;}

那this指针是什么呢？

int main()
{// Date类实例化出对象d1d2Date d1;Date d2;d1.Init(2024, 3, 31);d1.Print(&d1);d2.Init(2024, 7, 5);d2.Print(&d2);return 0;
}

函数调用时编译器会自己把类对象的地址传过去。
所以this就是类对象的地址。

this访问
类的成员函数中访问成员变量，本质都是通过this指针访问的，如Init函数中给_year赋值，this->_year = year;

void Init(Date* const this,int year, int month, int day)
{this->_year = year;this->_month = month;this->_day = day;
}
//void Prin(Date* const this)//原型
void Print(Date* const this)
{cout << this->_year << "/" <<this-> _month << "/" <<this-> _day << endl;
}

函数内部编译器会自动加上this指针。
这样函数就可以调用通过this指针访问不同类对象的成员变量。
所以就可以打印不同的日期类。

规定
C++规定不能在实参和形参的位置显示的写this指针(编译时编译器会处理)，但是可以在函数体内显示使用this指针。

四.练习

为了加深学的知识印象。我们接下来做几个题目看看对知识的掌握如何。

练习一

首先排出E选项。为什么？前面我们说了类对象里面只存储成员变量。
其次又因为this指针是形参。形参是存储在栈帧里面。所以选A比较合理。
但是VS下因为this指针会频繁使用，所以把this指针放在寄存器里面。
这可以认为是VS做的优化。

练习二

class A
{
public:void Print(){cout << "A::Print()" << endl;}
private:int _a;
};
int main()
{A* p = nullptr;p->Print();return 0;
}

有人会觉得这对空指针解引用了。那就会运行崩溃。选B。

其实不是。是正常运行。

我们从汇编底层来看。这段代码会去call和jmp成员函数的地址。
那成员函数在不在p里面。不在，因为前面我们说类对象只存储成员变量。不存储成员函数的地址。
所以p就是为了为了让编译器知道去A这个类找Prit函数和传递this指针。
所以p是类对象的地址也就是this。this就是空指针。

所以这段程序没有对空指针解引用。虽然this指针是空指针。所以正常运行。

但是对this解引用就会崩溃。

练习三

class A
{
public:void Print(){cout << "A::Print()" << endl;cout << _a << endl;}
private:int _a;
};
int main()
{A* p = nullptr;//成员函数空指针p->Print();//为了让编译器知道去A这个类找Prit函数和传递this指针return 0;
}

这时就和我们前说的一样。_a访问是通过隐含的this指针访问。this指针是空指针。就会崩溃。

五. C++和C语言实现Stack对比

面向对象三大特性：封装、继承、多态，下面的对比我们可以初步了解⼀下封装。
通过下面两份代码对比，我们发现C++实现Stack形态上还是发生了挺多的变化，底层和逻辑上没啥变化。

C++实现栈：

void Push(STDataType x)
{if (_top == _capacity){int newcapacity = _capacity * 2;STDataType* tmp = (STDataType*)realloc(_a, newcapacity *sizeof(STDataType));if (tmp == NULL){perror("realloc fail");return;}_a = tmp;_capacity = newcapacity;}_a[_top++] = x;
}
void Pop()
{assert(_top > 0);--_top;
}
bool Empty()
{return _top == 0;
}
int Top()
{assert(_top > 0);return _a[_top - 1];
}
void Destroy()
{free(_a);_a = nullptr;_top = _capacity = 0;
}

C语言实现栈：

void STDestroy(ST* ps)
{assert(ps);free(ps->a);ps->a = NULL;ps->top = ps->capacity = 0;
}
void STPush(ST* ps, STDataType x)
{assert(ps);// 满了，扩容if (ps->top == ps->capacity){int newcapacity = ps->capacity == 0 ? 4 : ps->capacity * 2;STDataType* tmp = (STDataType*)realloc(ps->a, newcapacity *sizeof(STDataType));if (tmp == NULL){perror("realloc fail");return;}ps->a = tmp;ps->capacity = newcapacity;}ps->a[ps->top] = x;ps->top++;
}
bool STEmpty(ST* ps)
{assert(ps);return ps->top == 0;
}
void STPop(ST* ps)
{assert(ps);assert(!STEmpty(ps));ps->top--;
}
STDataType STTop(ST* ps)
{assert(ps);assert(!STEmpty(ps));return ps->a[ps->top - 1];
}

封装
C++中数据和函数都放到了类里面，通过访问限定符进行了限制，不能再随意通过对象直接修改数据，这是C++封装的⼀种体现，这个是最重要的变化。这⾥的封装的本质是⼀种更严格规范的管理，避免出现乱访问修改的问题。当然封装不仅仅是这样的，我们后面还需要不断的去学习。
方便
C++中有⼀些相对方便的语法，比如Init给的缺省参数会⽅便很多，成员函数每次不需要传对象地址，因为this指针隐含的传递了，⽅便了很多，使⽤类型不再需要typedef用类名就很方便

在我们这个C++入门阶段实现的Stack看起来变了很多，但是实质上变化不大。等着我们后面看STL中的用适配器实现的Stack，大家再感受C++的魅力。