【C++】类和对象(第一篇)(二)

简介: 【C++】类和对象(第一篇)(二)

6. 类的实例化

用类创建对象的过程,称为类的实例化。


类是对对象进行描述的,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没有分配实际的内存空间来存储它

类就好比是建造房子的图纸,类的实例化就好比用图纸去建造房子。图纸只是对房子进行了一个描述,用图纸建造出来的房子(类的实例化)才占用实际空间。

fd448571b83e48b89ac461753e96019f.png

一张图纸可以建造多栋房子,那同样:

2. 一个类可以实例化出多个对象,实例化出的对象 占用实际的物理空间,存储类成员变量(成员函数是不存储在对象中的,我们后面会讲)

9625558a8ef44249b4a97ecce21919e6.png

7. 类对象模型

7.1 类对象大小的计算

现在有这样一个类:

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

问题:

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

7.2 类对象的存储方式猜测

我们猜测,有以下几种可能:

  1. 对象中包含类的各个成员,成员变量和函数都存储在对象中
  2. 8a3e1375200c46b18d41a5fb5dd5535d.png
  3. 但这样存储好吗?

缺陷:每个对象中成员变量是不同的,但是调用同样的成员函数,如果按照此种方式存储,当一个类创建多个对象时,每个对象中都会保存一份成员函数,相同码保存多次,浪费空间

那么如何解决呢?

  1. 成员函数只保存一份,在对象中保存存放函数的地址
  2. 26d0f483b3b947a7bd0c12409a6d4d90.png
  3. 只保存成员变量,成员函数存放在公共的代码段

8ff1ed35f1c04f7585f0019249e8b24f.pngb159ebaa69cd489785c248801f10016c.png

对于上述三种存储方式,那计算机到底是按照那种方式来存储的,下面我们就来验证一下:

首先提醒大家C++中类对象大小的计算方法和C语言结构体是一样的,都要考虑内存对齐。

那先我们就用上面那个Date类创建一个对象,看它的大小是多少:

ae307b78611048b883a2df1c3eac9ed6.png

所以呢:

没错,正确的存储方式是第三种:类对象中只存储成员变量,不存储成员函数(地址也没有),成员函数存放在公共的代码段。

打个比方,大家可以这样理解:

我们说了类就好比是建造房子的图纸,一张图纸可以建造多个房子,那同样道理,一个类就可以实例化多个对象。

那对象的属性(成员变量)呢,就可以看作是房子里面的厨房、浴室…这些东西,每栋房子里面都有。

那类中的成员函数(方法)呢,就可以看作小区里的篮球场,小卖部等,这种东西需要一个房子里面建一个吗?那就太浪费了吧,是不是整个小区共用一个就行了啊。所以成员函数是不存在对象里的,而是存在公共的代码段。


所以说:

计算一个类对象的大小,只需要考虑其中的成员变量就行了,当然记得要按照结构体内存对齐的规则进行计算。

下面我们就来做几个练习,计算几个类的大小:

那类的大小是多大,它创建的对象就是多大,就像整型int的大小是4个字节,用int创建的变量也是4个字节。

第一个:

class A1 {
public:
    void f1(){}
private:
    int _a;
};

那这不是简单吗?成员变量就一个,是整型的,那就4个字节嘛。

40b6d54fdb5a4b51a0e38fe6dcd30d4f.png

第二个:

class A2 {
public:
   void f2() {}
};

哎这个怎么算?没有成员变量,只有一个成员函数,但我们说成员函数是存在代码段的啊。

那它的大小是0吗?我们来看一下:

865f3bb36c234f349ea2ee27acc8a532.png

欸,是1。

那这个呢:

// 类中什么都没有---空类
class A3
{};

一个空类,那按照上面的结果来分析,A3的大小也应该是0,也是一个成员变量都没有:9bffb0033ce7473ea6752b04f794e2fc.png

🆗,也是1。

那为什么不含成员变量的类大小是1个字节呢?

一个类的大小,实际就是该类中”成员变量”大小之和,当然要注意内存对齐。

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

可以理解为占位,来标识这个类或者类的对象的存在。

7.3 结构体内存对齐规则复习

至于这里用到的结构体内存对齐的规则:

我们在C语言阶段也详细讲解过了,大家不熟悉的可以复习一下:

链接: link

C语言专栏中的一篇文章:【自定义类型详解】第一篇——结构体详解

8. this指针

8.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 d1, d2;
  d1.Init(2022, 1, 11);
  d2.Init(2022, 1, 12);
  d1.Print();
  d2.Print();
  return 0;
}

89296c48335140f0b1b20959b7ae3946.png

我们看到这里能够正确的对d1,d2的属性(成员变量)进行初始化并打印。

那就有一个问题值得我们思考一下:

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

那原因在于:

C++中通过引入this指针解决该问题。

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


8.2 this指针的特性

  1. this指针的类型:类类型* const,即成员函数中,不能给this指针赋值(不能修改)。

比如在上面的Date类中,this指针的类型就是Date* const

  1. 只能在“成员函数”的内部使用
  2. 513dbaf2c84a4a75bacfd0bfa7d14044.pngthis指针本质上是“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
  3. this指针是“成员函数”第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递
  4. 3af0f22ddfca4a75aea1aa64fdffbe54.png

8.3 this指针相关面试题

this指针存在哪里?

我们上面提到this指针其实是一个隐含形参,是成员函数的形参,它不存在于对象中,那this指针存在于哪里呢?

🆗,是形参的话,是不是在栈上啊。

所以this指针是存在于栈上的,但是呢,有些编译器会进行优化,比如vs,一般会保存在ecx寄存器中,通过编译器自动传递。

  1. this指针可以为空吗?

看这个类:

class Date
{
public:
  void Init(int year, int month, int day)
  {
    _year = year;
    _month = month;
    _day = day;
    cout << this << endl;
  }
  void func()
  {
    cout << "func" << endl;
  }
private:
  int _year;
  int _month;
  int _day;
};

然后大家思考一下这样做会产生什么后果:

1888bda0658d4ac991cff9a6afb6dfcc.png

给大家几个选项:

编译错误、运行崩溃、正常运行。
大家觉得是啥?

我们来运行看一下:

43807a9a3d00477a841dfcd841d0bed1.png

没有出现异常,正常运行。


跟大家想的一样吗?


🆗,我们来解释一下。

p1是一个Date类型的空指针,然后我们通过p1去调用类的成员函数func。

大家可能会想,这里不是对空指针解引用了吗?怎么还运行正常啊?

那要告诉大家的是,我们不能看到->或者.就认为一定存在解引用,还是要根据具体情况进行分析。

我们上面说调用类成员函数时会进行一个隐式的传参,传的是当前调用成员函数的对象的地址,那现在的情况是什么,是不是传过去了一个空指针啊。

但是传参传空指针一定会出错吗?

是不是不一定啊,函数那边没有进行空指针的检查,那是不是只要不对空指针进行解引用就没问题啊。

而func函数里面是不是只是打印了一个字符串“func”,并没有对空的this指针解引用,所以程序正常运行,没有问题。


那继续,看这种情况:

dd80d897d0c84c2cb397c94330e66d65.png

如果我们调Init函数呢?

85558f77fb404a7686d503add0b68647.png

那这下是不是就要出问题了啊,因为Init函数里面是不是要通过this指针去找当前对象的成员变量(解引用了),但现在传过来的this指针是空指针,那对空指针解引用是不是程序就崩溃了。


9b705d14445a4c3bad80d3ee68195c34.png

那再来看一个:75e6b31f82c94e78aa57d485ea85c8a7.png

这样呢?


这句代码虽然有(*p1),看起来进行了解引用,但是我们说了,有->或者.也未必一定会解引用,这句代码(*p1).func();和p1->func();本质上是不是一样啊(大家可以调试去查看它们的汇编代码是相同的),只是把空指针传给this了,但是函数体内是不是并没有对其解引用啊,所以没事。

23013759968e4999a5d7eeda4e25d522.png

最后再来看一个,如果是这样呢?

655902905b284644a83e3ccc6bee85ba.png我们把私有private访问限定符屏蔽掉,然后执行p1->_day = 6;这句代码,会不会有问题?

是不是不行啊这样,因为成员变量_day是在对象里的,我们要访问是不是要通过对象的指针去访问啊,但是现在p1是空指针,这里是会进行解引用的,所以不行!

8d160933b39b46978e3623734163ad02.png

9. C语言和C++实现栈Stack的对比

回忆一下,我们当时C语言实现栈是怎么写的:

22389a2029c74447964268701f4194a9.png

可以看到,在用C语言实现时,Stack相关操作函数有以下共性:


每个函数的第一个参数都是Stack*

函数中必须要对第一个参数检测,因为该参数可能会为NULL

函数中都是通过Stack*参数操作栈的

调用时必须传递Stack结构体变量的地址

结构体中只能定义存放数据的结构,操作数据的方法不能放在结构体中,即数据和操作数据的方式(函数)是分离开的,对数据的操作比较自由,而且实现上相对复杂一点,涉及到大量指针操作,稍不注意可能就会出错。


那C++要实现栈呢:c379a779b533469d84fcec21e296046c.png

C++中通过类可以将数据 以及 操作数据的方法进行完美结合,通过访问权限可以控制哪些方法在类外可以被调用,即封装,在使用时就像使用自己的成员一样,更符合人类对一件事物的认知。

而且每个方法不需要传递Stack*的参数了,对象调用其成员函数时编译器会自动把对象的地址传给this指针,C语言中需用用户自己维护。


这篇文章就先到这里,欢迎大家指正!!!

下一篇我们继续类和对象剩余内容的学习!!!

93a06970b6954eabb8235942ab2408a6.png

目录
相关文章
|
29天前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
51 2
|
1月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
103 5
|
1月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
91 4
|
1月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
109 4
|
2月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
32 4
|
2月前
|
编译器 C语言 C++
【C++打怪之路Lv4】-- 类和对象(中)
【C++打怪之路Lv4】-- 类和对象(中)
32 4
|
2月前
|
存储 安全 C++
【C++打怪之路Lv8】-- string类
【C++打怪之路Lv8】-- string类
29 1
|
2月前
|
存储 编译器 C语言
【C++打怪之路Lv3】-- 类和对象(上)
【C++打怪之路Lv3】-- 类和对象(上)
21 0
|
2月前
|
存储 编译器 C++
【C++类和对象(下)】——我与C++的不解之缘(五)
【C++类和对象(下)】——我与C++的不解之缘(五)
|
2月前
|
编译器 C++
【C++类和对象(中)】—— 我与C++的不解之缘(四)
【C++类和对象(中)】—— 我与C++的不解之缘(四)