C++初阶——类和对象(二)

C++初阶------类和对象(二)

本期内容书接上回,继续讨论类和对象相关内容。类和对象属于C++初阶部分,主要反映了面向对象编程的三大基本特点之一------封装,在C++的学习中占有举足轻重的地位!

一、类对象模型

1.如何计算基于一个类创建出的对象大小?

(1)使用sizeof计算

我们先来复习一下什么是类,什么是对象。类定义了一个新的作用域,类的所有成员都在类的作用域中。通过class关键字将数据与操作(成员函数)绑定。类定义仅仅是逻辑的蓝图,就像是一个房间的设计图纸,并不能真正的住进去,因此,我们需要对类进行实例化才会创建出具体的对象,分配内存空间 。同一个类可以实例化出多个不同的对象。因此,从实际意义上来说,我们所计算的内存空间,并不是类本身,而是基于类创建出的对象的大小。当然,仅仅从计算这个层面出发,我们可以通过类来计算如果用这个类来创建对象,对象应该会占用多少空间,就好比我们可以通过房屋的设计图纸来计算房屋建成后,理论上会占用多大的面积,我们来举个例子,分别看一看:

  • 第一种计算方法:

    在这里,我们先通过类实例化一个对象,就像是先根据图纸把房子建好,然后再测量房子的占地面积。
  • 第二种计算方法:

    这里我们并没有示例化一个对象,而是直接计算类的大小,也是很好理解的,因为我们有了房屋的设计图,就能够准确地计算出房屋的占地面积了。
  • 当然,还有一个简单的方式,直接把鼠标移动到类名上即可,它会自动出现一些详细信息:
(2)直接计算

直接计算就涉及到结构体的内存对齐规则了,知识C语言方面的知识。在这里也简单的复习一下:

  • 第一个成员在与结构体偏移量为0的地址处。
  • 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
  • 对齐数 = 编译器默认的一个对齐数与该成员大小的较小值(VS中默认的对齐数为8)
  • 结构体总大小为:最大对齐数(所有变量类型最大者与默认对齐参数取较小)的整数倍
  • 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
    我们来举个例子:

    根据对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。(VS中默认的对齐数为8) ,int a的对齐数为4(int a本身大小为4,默认对齐数为8,取较小值);同理,int b对齐数也为4;char c的对齐数为1(char c本身大小为1,默认对齐数为8,取较小值)。 根据结构体总大小为:最大对齐数(所有变量类型最大对齐数与默认对齐数的较小值)的整数倍,这里的成员变量的对齐数最大值为4,和默认对齐数8相比较小,因此最终结构体对齐方式为4个字节,a占4字节,b占4字节,c占4字节(用1个字节,空3个字节)。
为什么需要结构体内存对齐规则?

CPU是一次性读取一定的字节数,我们以这样的一个结构体为例:

char型占用一个字节,int型占用4个字节,假设CPU一次读取4个字节。

  • 如果是连着存储,那么就是CPU一次读取的4个字节中有一个字节属于char a,另外三个字节属于int b的一部分,b并没有被一下子读取完整,因此需要再读一次,然后将两次读取的结果拼接,然而拼接数据的耗时会大大增加。
  • 如果使用内存对齐,那么前4个字节中,有一个字节是char,后三个字节空着,然后接下来的四个字节完整的存储一个int b,CPU一下子就能把b的值读完整,避免了拼接提高了效率,这是一种以空间换时间的方式。

2.类和对象相关的存储方式

刚才在计算的过程中,我们好像只在讨论类中成员变量对应的空间,就算出了对象的大小,但是类里面还有成员函数呢,它们占据空间吗?

  • 我们以这样一段代码为例:

    根据上文的计算,这里的对象是12个字节,函数并没有占用空间。其实,这也是很好理解的。成员函数和成员变量不同,它是一个方法。基于同一个类创建出的不同的对象各自的成员变量是自己的,但是操作方法是一样的,是共同的,比如说这里的一个函数,它就是一个打印两个数相加的功能,不管什么对象都一样。就好比一个小区,每家每户的房子是自个儿的,但是那些篮球场,游泳池是大家共用的,没有必要每建一间房,都要配上一个篮球场,游泳池。在这里也一样,每个对象中成员变量是不同的,但是调用同一份函数,如果按照此种方式存储,当一个类创建多个对象时,每个对象中都会保存一份代码,相同代码保存多次,浪费空间。
  • 如果一个类中没有成员变量,只有成员函数或者什么都没有,如图所示:


    没有成员变量的类对象,需要1字节,是为了占位,表示对象存在,并没有存储有效数据。

二、this指针

我们以日期类为例:

在这个日期类中,我们定义了年、月、日三个成员变量,并且还有初始化以及打印这两个函数。我们再实例化几个对象:

Date类中有 InitPrint 两个成员函数,函数体中没有关于不同对象的区分,那当d1调用 Init 函数时,该函数是如何知道应该设置d1对象,而不是设置d2对象呢?这里,我们就要引入一个新的内容------this指针

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

如图所示:

比如:

bash 复制代码
Date d1;
d1.Init(2025, 3, 9);
d1.Print();

这里this指针就是指向的d1,然后通过this指针访问d1里的成员变量。
this指针的特性

  • this指针的类型:类类型* const,即成员函数中,不能给this指针赋值。也就是说this指针在使用时不能指向别的对象,只能指向当前对象,但是可以修改当前对象的内容。
  • 只能在"成员函数"的内部使用
  • this指针本质上是"成员函数"的形参,当对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
  • this指针是"成员函数"第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递

三、C语言和C++实现一个栈的对比

1.C语言实现

(1)头文件
bash 复制代码
#pragma once

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<stdbool.h>

typedef int DataType;

struct Stack
{
	DataType* a;
	int top;
	int capacity;
};

typedef struct Stack Stack;

void StackInit(Stack* ps);
void StackPush(Stack* ps, DataType x);
bool StackEmpty(Stack* ps);
void StackPop(Stack* ps);
DataType StackTop(Stack* ps);
int StackSize(Stack* ps);
void StackDestroy(Stack* ps);
(2)源文件
bash 复制代码
#include"Stack.h"

void StackInit(Stack* ps)
{
	assert(ps);
	ps->a = (DataType*)malloc(sizeof(DataType) * 4);//先开辟4个数据的空间
	if (ps->a == NULL)//基本操作,检查动态内存开辟是否成功
	{
		perror("malloc fail");
		return;
	}
	ps->top = -1;//top指的是栈顶元素的位置,现在栈中没有插入数据,因此top为-1,待插入数据后,top+1变为0,刚好和数组的下标相对应(第一个数据下标为0)
	ps->capacity = 4;//表示初始化后栈中能存4个数据
}

void StackPush(Stack* ps, DataType x)
{
	assert(ps);
	if (ps->top + 1 == ps->capacity)//检查是否需要扩容,top是数组的下标位,我们都知道,数组的下标位是比数组实际数据个数少1的,因此需要top+1
	{
		DataType* tmp = (DataType*)realloc(ps, sizeof(DataType) * ps->capacity * 2);
		if (tmp == NULL)
		{
			perror("malloc fail");
			return;
		}
		ps->a = tmp;//tmp指向的是调整后内存的起始地址
	}
	ps->capacity *= 2;//经过扩容,容量变为原来的两倍
	ps->top++;//现在是插入数据,栈顶的下标位要+1了
	ps->a[ps->top] = x;//在栈顶处插入数据
}

bool StackEmpty(Stack* ps)//判断栈中是否存在数据,如果为空,则返回1,如果不为空,则返回0
{
	assert(ps);
	return ps->top == -1;//当栈为空时,其特点就是栈顶的下标位为-1
}

void StackPop(Stack* ps)//栈顶数据出栈
{
	assert(ps);
	assert(!StackEmpty(ps));//assert里面的内容为0(或者NULL)时会生效,如果现在想让它生效,则要(!StackEmpty(ps))为0,则StackEmpty(ps)为1,此时就是栈中数据为空的情况
	ps->top--;//所谓出栈,就是将栈顶的下标位-1,这样在取出元素的时候就取不到已经出了栈顶数据了
}

DataType StackTop(Stack* ps)//查看栈顶的元素
{
	assert(ps);
	assert(!StackEmpty(ps));
	return ps->a[ps->top];
}

int StackSize(Stack* ps)//查看一下栈中有几个元素
{
	assert(ps);
	return ps->top + 1;//数组下标位+1为元素个数
}

void StackDestroy(Stack* ps)//栈的销毁
{
	assert(ps);
	free(ps->a);
	ps->a = NULL;
	ps->top = -1;
	ps->capacity = 0;
}

不难发现,代码量还是很大的,具体细节在数据结构专栏有详细讲解。

2.C++实现

bash 复制代码
typedef int DataType;
class Stack
{
public:
	void Init()
	{
		_array = (DataType*)malloc(sizeof(DataType) * 3);
		if (NULL == _array)
		{
			perror("malloc fail");
			return;
		}
		_capacity = 3;
		_size = 0;
	}	
	void Push(DataType data)
	{
		CheckCapacity();
		_array[_size] = data;
		_size++;
	}
	void Pop()
	{
		if (Empty())
			return;
		_size--;
	}
	DataType Top() 
	{ 
		return _array[_size - 1]; 
	}
	int Empty() 
	{ 
		return 0 == _size; 
	}
	int Size() 
	{ 
		return _size; 
	}
	void Destroy()
	{
		if (_array)
		{
			free(_array);
			_array = NULL;
			_capacity = 0;
			_size = 0;
		}
	}
private:
	void CheckCapacity()
	{
		if (_size == _capacity)
		{
			int newcapacity = _capacity * 2;
			DataType* temp = (DataType*)realloc(_array, newcapacity *
				sizeof(DataType));
			if (temp == NULL)
			{
				perror("realloc fail");
				return;
			}
			_array = temp;
			_capacity = newcapacity;
		}
	}
private:
	DataType* _array;
	int _capacity;
	int _size;
};

C++中通过类可以将数据以及操作数据的方法(函数)进行完美结合,通过访问权限可以控制那些方法在类外可以被调用,即封装,在使用时就像使用自己的成员一样,更符合人类对一件事物的认知。而且每个方法不需要传递Stack*的参数了,编译器编译之后该参数会自动还原,即C++中 Stack * 参数是编译器维护的,C语言中需用用户自己维护。

本期总结+下期预告

本期内容书接上回,继续讨论类和对象相关知识。下期将为大家带来类和对象中非常重要的部分------构造函数、析构函数等内容!

感谢大家的关注,我们下期再见!

相关推荐
dot to one4 分钟前
深入刨析C++ stl::stack 、stl::queue 及 priority_queue
c语言·开发语言·数据结构·c++·算法·visual studio
已是上好佳4 小时前
Tcp网络通信的基本流程梳理
linux·运维·服务器·c++
十年一梦实验室6 小时前
C++ 中的 RTTI(Run-Time Type Information,运行时类型识别)
开发语言·c++
纽约恋情6 小时前
C++——STL 常用的排序算法
开发语言·c++·排序算法
小李苦学C++7 小时前
C++模板特化与偏特化
开发语言·c++
小王努力学编程7 小时前
元音辅音字符串计数leetcode3305,3306
开发语言·c++·学习·算法·leetcode
佚明zj7 小时前
【C++】如何高效掌握UDP数据包解析
开发语言·c++·udp
讨厌下雨的天空7 小时前
C++之多态
开发语言·c++
进击的jerk9 小时前
力扣 11.盛水最多的容器(双指针)
c++·算法·leetcode