目录
1. 面向过程和面向对象初步认识
C语言是面向过程的,关注的是过程,分析出求解问题的步骤,通过函数调用逐步解决问题。
比如点外卖:顾客下单(下单过程)--商家接单(接单过程)--骑手接单(接单过程)--骑手送单(送单过程)--用户,关注完成任务的这些过程
C++是基于面向对象的,关注的是对象,将一件事情拆分成不同的对象,靠对象之间的交互完成。但是C++兼容C语言,则C++既有面向对象也有面向过程
例如:比如你在洗衣服时,四个对象:人、洗衣机、洗衣液、衣服。这四个对象之间相互作用,完成了对衣服的清洗,而你不需要关注洗衣机如何去洗衣服、如何去甩干衣服。
2. 类的引入
C语言结构体中只能定义变量,在C++中,结构体内不仅可以定义变量,也可以定义函数。比如: 之前在数据结构初阶中,用C语言方式实现的栈,结构体中只能定义变量;现在以C++方式实现, 会发现struct中也可以定义函数。可以说是升级了struct
c++兼容c struct用法同时把结构体升级为类
#include<iostream>
using namespace std;
typedef int DataType;
struct Stack
{
int p=0; //成员变量
void Init(size_t capacity)//成员函数
{
_array = (DataType*)malloc(sizeof(DataType) * capacity);
if (nullptr == _array)
{
perror("malloc申请空间失败");
return;
}
_capacity = capacity;
_size = 0;
}
void Push(const DataType& data)
{
// 扩容
_array[_size] = data;
++_size;
}
DataType Top()
{
return _array[_size - 1];
}
void Destroy()
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
DataType* _array;
size_t _capacity;
size_t _size;
};
int main()
{
Stack s;
s.Init(10);
s.Push(1);
s.Push(2);
s.Push(3);
cout << s.Top() << endl;
s.Destroy();
return 0;
}
上面结构体的定义,在C++中更喜欢用class来定义类但有时也会用struct
3. 类的定义
class className
{
// 类体:由成员函数和成员变量组成
}; // 一定要注意后面的分号
class为定义类的关键字,ClassName为类的名字,{}中为类的主体,注意类定义结束时后面分号不能省略。 类体中内容称为类的成员:类中的变量称为类的属性或成员变量; 类中的函数称为类的方法或者成员函数。
3.1 类的两种定义方式
1. 声明和定义全部放在类体中,需注意:成员函数如果在类中定义,编译器可能会将其当成内联函数处理。
class Person { public: void shown() { cout << _name << "-" << _sex << "-" << _age << endl; } public: char* _name; char* _sex; int _age; };
一般情况下成员变量是私有的,成员函数是公有的
2. 类声明放在.h文件中(成员变量和成员函数的声明放在.h),成员函数定义放在.cpp文件中,注意:成员函数名前需要加类名::
//learn.h文件 class Person { public: void shown(); public: char* _name; char* _sex; int _age; };
//learn.c文件 void Person::shown()//如果不加Person::则会报错为未声明的标识符,因为成员变量在类域中,编译器搜索规则只搜索局部,全局和指定域,若没有指定域则会报错 { cout << _name << "-" << _sex << "-" << _age << endl; }
加了Person::意味着编译器优先在类域中找,还是先局部域优先找,后类域中找,最后全局域找。无论是在类作用域内还是在成员函数内,编译器都会优先在局部作用域中查找变量,然后才会在类作用域和全局作用域中查找。
一般情况下,更期望采用第二种方式。注意:为了方便演示使用方式一定义类,大家后序日常中尽量使用第二种。
3.2 成员变量命名规则的建议
在C++类中定义成员变量时推荐加前缀_,是为了区别形参与成员变量,但是加_不是强制的,可以在后面加后缀_ ,在C++中,给成员变量加上下划线
_
是一种常见的命名约定,用于区分成员变量和同名的形参。这样做有助于提高代码的可读性,避免混淆。 例如:我们来看看下面的这个函数,是不是很别扭? class Date { public: void Init(int year) { // 这里的year到底是成员变量,还是函数形参?无法区分 year = year; } private: int year; };
// 所以为了区分一般都建议这样 class Date { public: void Init(int year) { _year = year; } private: int _year;//给成员变量加前缀_ }; // 或者这样 class Date { public: void Init(int year) { mYear = year; } private: int mYear;//给成员变量加前缀m }; // 其他方式也可以的,主要看公司要求。一般都是加个前缀或者后缀标识区分就行。
4. 类的访问限定符及封装
4.1 访问限定符
C++实现封装的方式:用类将对象的属性与方法结合在一块,让对象更加完善,通过访问权限选 择性的将其接口提供给外部的用户使用
struct和class都可以加访问限定符,
struct
和class
在语义上确实非常接近,两者之间的主要区别在于默认的访问级别。【访问限定符说明】:
1. public修饰的成员在类外和类里面可以直接被访问2. protected和private修饰的成员在类外不能直接被访问(此处protected和private是类似的)
3. 访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止
4. 如果后面没有访问限定符,作用域就到 } 即类结束。
5. class的默认访问权限(没有加访问限定符)为private,struct为public(因为struct要兼容C)
#include<iostream> using namespace std; class date { void init(int year, int month, int day) { _year = year; _month = month; _day = day; } int _year; int _month; int _day ; }; int main() { date d1; d1.init(2024, 2, 27);//这时运行会报错,因为class默认为私有的,类外部无法直接调用初始化对象的值 return 0; } 但是将class换成struct运行时不会报错,因为struct默认公有
这样才对使用访问限定符 #include <iostream> using namespace std; class date { public: void init(int year, int month, int day) { _year = year; _month = month; _day = day; } private: int _year;//他是声明不是定义,开空间才是定义 int _month; int _day; //int _year;int _month; 和 int _day; 则是成员变量的声明,它们描述了类中的数据成员的类型但并未分配实际的内存空间。 }; int main() { date d1;//date d1; 是对类date的对象d1进行了定义。这个定义会为对象d1分配内存空间,并调用默认构造函数来初始化对象。 d1.init(2024, 2, 27); return 0; }
成员变量一般用私有或者保护,成员函数大部分公有少部分私有
注意:访问限定符只在编译时有用,当数据映射到内存后,没有任何访问限定符上的区别
【面试题】 问题:C++中struct和class的区别是什么?
解答:C++需要兼容C语言,所以C++中struct可以当成结构体使用。另外C++中struct还可以用来 定义类。和class定义类是一样的,区别是struct定义的类默认访问权限是public,class定义的类 默认访问权限是private。注意:在继承和模板参数列表位置,struct和class也有区别,后序给大家介绍。
4.2 封装
【面试题】面向对象的三大特性:封装、继承、多态。
这不意味着面向对象只有这三个特性,只不过最出名的是这三个特性。就比如中国有四大名著但是中国只有四大名著么?只不过四大名著最出名还有其他的书
封装:将数据和操作数据的方法进行有机结合,隐藏对象的属性和实现细节,仅对外公开接口来和对象进行交互。
封装的本质是一种管控,让用户更方便使用类;
CPP中封装的体现:
1.CPP数据和方法都放在类里面,c语言是分开的(C 语言中并没有类的概念,也没有面向对象编程的特性,因此可以说 C 语言是不具备封装特性的)
2.CPP访问限定符对成员进行限制,想给你的是公有,不想给你的是私有或者保护
比如:对于电脑这样一个复杂的设备,提供给用户的就只有开关机键、通过键盘输入,显示器,USB插孔等,让用户和计算机进行交互,完成日常事务。但实际上电脑真正工作的却是CPU、显卡、内存等一些硬件元件。对于计算机使用者而言,不用关心内部核心部件,比如主板上线路是如何布局的,CPU内部是如何设计的等,用户只需要知道,怎么开机、怎么通过键盘和鼠标与计算机进行交互即可。因此计算机厂商在出厂时,在外部套上壳子,将内部实现细节隐藏起来,仅仅对外提供开关机、鼠标以 及键盘插孔等,让用户可以与计算机进行交互即可。这种封装方式既保护了内部实现细节的安全性,也提高了计算机的易用性和可维护性。
在C++语言中实现封装,可以通过类将数据以及操作数据的方法进行有机结合,通过访问权限来 隐藏对象内部实现细节,控制哪些方法可以在类外部直接被使用。
5. 类的作用域
类定义了一个新的作用域,类的所有成员都在类的作用域中。在类体外定义成员时,需要使用 :: 作用域操作符指明成员属于哪个类域。
class Person { public: void PrintPersonInfo(); private: char _name[20]; char _gender[3]; int _age; }; // 这里需要指定PrintPersonInfo是属于Person这个类域 void Person::PrintPersonInfo() { cout << _name << " "<< _gender << " " << _age << endl; }
6. 类的实例化
用类类型创建对象的过程,称为类的实例化
1.类是对对象进行描述的,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没 有分配实际的内存空间来存储它;比如:入学时填写的学生信息表,表格就可以看成是一个 类,来描述具体学生信息。 类就像谜语一样,对谜底来进行描述,谜底就是谜语的一个实例。 谜语:"年纪不大,胡子一把,主人来了,就喊妈妈" 谜底:山羊
2. 一个类可以实例化出多个对象,实例化出的对象 占用实际的物理空间,存储类成员变量
int main()
{
Person._age = 100; // 编译失败:error C2059: 语法错误:“.”
return 0;
}
Person类是没有空间的,只有Person类实例化出的对象才有具体的年龄。
3. 做个比方。类实例化出对象就像现实中使用建筑设计图建造出房子,类就像是设计图,只设 计出需要什么东西,但是并没有实体的建筑存在,同样类也只是一个设计,实例化出的对象才能实际存储数据,占用物理空间
#include <iostream> using namespace std; class date { public: void init(int year, int month, int day) { _year = year; _month = month; _day = day; } private: int _year;//他是声明不是定义,开空间才是定义 int _month; int _day; }; int main() { date d1; // 创建第一个对象 d1.init(2024, 2, 27); date d2; // 创建第二个对象 d2.init(2025, 3, 15); return 0; }
在
main
函数中创建了两个不同的date
对象d1
和d2;
你可以创建任意数量的对象,并对每个对象进行独立的操作和赋值。每个对象都有自己独立的成员变量,可以通过对象名和成员访问运算符(.
)来访问和修改这些变量。
注意:变量定义的标志是开空间,我们可以在定义的时候完成初始化但是也可以不初始化
总的来说,int a;语句在全局作用域下通常是声明和定义,而在局部作用域下通常是定义。在类作用域中,int a;语句通常是声明而不是定义,只是告诉编译器该类拥有这个成员变量,但并没有为其分配内存空间。
int a; // 定义了一个整型变量a,但没有进行初始化
int b = 10; // 定义了一个整型变量b,并进行了初始化赋值为10
// 类对象的定义和初始化
date d1; // 定义了一个date类型的对象d1,但没有进行初始化
date d2 = {2024, 2, 27}; // 定义了一个date类型的对象d2,并进行了初始化
7. 类对象模型
7.1 如何计算类对象的大小
class A
{
public:
void PrintA()
{
cout<<_a<<endl;
}
private:
char _a;
};
问题:类中既可以有成员变量,又可以有成员函数,那么一个类的对象中包含了什么?如何计算 一个类的大小?
7.2 类对象的存储方式猜测
方式一:对象中包含类的各个成员
缺陷:每个对象中成员变量是不同的,但是调用同一份函数,如果按照此种方式存储,当一 个类创建多个对象时,每个对象中都会保存一份代码,相同代码保存多次(每个成员函数的地址是一样的),浪费空间。也就意味着我定义实例化了100个对象,我有10个成员函数那我10个成员函数要存100份,这样合理么?每个对象的成员函数是一样的
方式二:代码只保存一份,在对象中保存存放代码的地址
方式三:对象只保存成员变量,成员函数存放在公共的代码段成员函数就像小区的公共区域一样(健身房,篮球场等),不需要每家每户(对象)都建。成员变量就像厕所,厨房等每家每户(对象)都要有
那么计算机采用的是哪种方式来进行储存的呢?
// 类中既有成员变量,又有成员函数 class A1 { public: void f1(){} private: int _a; }; // 类中仅有成员函数 class A2 { public: void f2() {} }; // 类中什么都没有---空类 class A3 {};
sizeof(A1) : ___4___ sizeof(A2) : __1____ sizeof(A3) : ___1___
sizeof(类)和sizeof(对象)是一样的
结论:一个类的大小,实际就是该类中”成员变量”之和,当然要注意内存对齐。注意空类的大小,空类比较特殊,编译器给了空类一个字节来唯一标识这个类的对象。没有成员变量的类对象给一字节
7.3 结构体内存对齐规则
1. 第一个成员在与结构体偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
注意:对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
VS中默认的对齐数为8
3. 结构体总大小为:最大对齐数(所有变量类型最大者与默认对齐参数取最小)的整数倍。 4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
内存对齐:会导致空间浪费(补齐少的字节,这些字节为空白字节不存储任何信息),为什么要内存对齐?可以说是为了效率
内存对齐是存储机制的问题,机器读数据一般是八个字节八个字节或四个字节四个字节进行读取(64位或32位机器),如果不进行内存对齐可能会导致某些数据需要读取两次才能获取,就如下图所示,如果直接读取四个字节,那么需要获取完整的a则是需要读取两次。
#pargma pack(1) 将对齐数设置为1,可以实现最小化内存空间的占用,但也可能会降低程序的性能
这样每个数据就是挨着了
整型才会有大小端的问题
8. this指针
8.1 this指针的引出
我们先来定义一个日期类 Date
class Date { public: //初始化 void DateInit(int year, int month, int day) { _year = year;//也可以this->_year = year;即使不加this也没错编译器会自己加,相当于隐藏了 _month = month; _day = day; } //打印 void DatePrint() { cout << _year << "-" << _month << "-" << _day << endl; //cout << this->_year << "-" << this->_month << "-" << this->_day << endl;函数内部使用 } private: int _year; int _month; int _day; }; int main() { Date d1, d2; d1.DateInit(2023, 9, 30); d1.DatePrint(); d2.DateInit(2023, 10, 1); d2.DatePrint(); return 0; }
对于上述类,有这样的一个问题: Date类中有 Init 与 Print 两个成员函数,函数体中没有关于不同对象的区分,那当d1调用 Init 函 数时,该函数是如何知道应该设置d1对象,而不是设置d2对象呢?
C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态的成员函数“增加了一个隐藏 的指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有“成员变量” 的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编 译器自动完成。
8.2 this指针的特性
1. this指针的类型:类类型* const,即成员函数中,不能给this指针赋值。但是this指向的内容可以被改变因为是Date*const this
2. 只能在“成员函数”的内部使用
3. this指针本质上是“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给 this形参。所以对象中不存储this指针。
4. this指针是“成员函数”第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传 递,不需要用户传递
![](https://img-blog.csdnimg.cn/direct/7f1367755a6949a5a32eeb35a066b47e.png)
this存在哪里?因为this是一个形参(有些编译器例如vs会存放在寄存器里存储)
练习题:
下面程序编译运行结果是? A、编译报错 B、运行崩溃 C、正常运行 class A { public: void PrintA() //void PrintA(A*const this) 实参p传给形参this指针, { cout<<_a<<endl;//cout<<this->_a<<ednl;this指针为空那么就不能解引用了 //如果this指针为nullptr,则访问this->_a将会导致空指针解引用错误 } private: int _a; }; int main() { A* p = nullptr; p->PrintA();//本质是p->PrintA(p);p是实参 obj.print()则obj是实参 return 0; } 编译报错就是语法错误
可以这样修改
int main() { A a; // 创建一个A对象 A* p = &a; // 将指针p指向该对象 p->PrintA(); // 调用PrintA函数 return 0; }
这段代码运行是会崩溃,因为在传递this指针的时候p是一个空,而在打印的时候需要对this指针解引用,所以就会对空解引用,所以运行崩溃。
class A { public: void Print() { cout << "Print()" << endl; cout << this << endl; } private: int _a; }; int main() { A* p = nullptr; p->Print();//p-> 代表解引用 //(*p).Print();也是正常运行,虽然你解引用了但是我不需要只要p作为实参就行,不是看到了解引用了就一定是解引用 return 0; } p去调用print函数,成员函数不在对象里面那么用箭头就不会解引用,不是说有箭头就一定解引用 解引用的意思是到p所指的空间去找,而我成员函数就不在p所指的空间那我还解引用什么,不解引用就不会触发空指针 比如_a是公有的,p->_a++;这个会解引用,到p所指的空间地址上去找到这个a然后对a进行++,而p是空指针,我们程序对空指针有检查的会报错 Print() 00000000
这段代码是可以正常运行的,因为Print这个函数并没有存在对象里面,p->Print()并不会去解引用,他表示的是通过p去公共代码区找对应的函数,并且这里的this指针就是p
8.3. C语言和C++实现Stack的对比
C语言实现:
//对栈的初始化 void StackInit(Stack* pst) { assert(pst); pst->a = NULL; //top为-1时,插入一个数据之后top指向的是刚刚插入数据的位置 //pst->top = -1 //top为0时,插入一个数据之后top指向的是刚刚插入数据后面的位置 pst->top = 0; pst->capacity = 0; } //入栈 void StackPush(Stack* pst, STDataType x) { assert(pst); //检测容量 if (pst->top == pst->capacity) { int NewCapacity = pst->capacity == 0 ? 4 : 2 * pst->capacity; //当pst->a为NULL时执行的功能是和malloc一样 STDataType* tmp = (STDataType*)realloc(pst->a, sizeof(STDataType) * NewCapacity); if (tmp == NULL) { perror("realloc fail"); return; } pst->a = tmp; pst->capacity = NewCapacity; } //入栈 pst->a[pst->top] = x; pst->top++; } //出栈 void StackPop(Stack* pst) { assert(pst); //判断栈是否为空 assert(!StackEmpty(pst)); //出栈 pst->top--; } //获取栈顶元素 STDataType StackTop(Stack* pst) { assert(pst); assert(!StackEmpty(pst)); //top指向的是栈顶的下一个位置的元素 return pst->a[pst->top-1]; } //获取栈中的有效元素的个数 int StackSize(Stack* pst) { assert(pst); return pst->top; } //检测栈是否为空 bool StackEmpty(Stack* pst) { assert(pst); /*if (pst->top == 0) { return true; } else { return false; }*/ return pst->top == 0; } //销毁栈 void StackDestroy(Stack* pst) { assert(pst); //释放 free(pst->a); pst->a = NULL; //重置为0 pst->top = pst->capacity = 0; }
可以看到,在用C语言实现时,Stack相关操作函数有以下共性:
每个函数的第一个参数都是Stack*
函数中必须要对第一个参数检测,因为该参数可能会为NULL
函数中都是通过Stack*参数操作栈的
调用时必须传递Stack结构体变量的地址
结构体中只能定义存放数据的结构,操作数据的方法不能放在结构体中,即数据和操作数据 的方式是分离开的,而且实现上相当复杂一点,涉及到大量指针操作,稍不注意可能就会出错。
C++实现 (根据现有的C++知识设计)
//C++实现栈 typedef int DataType; class Stack { public: //初始化 void STInit() { _array = (DataType*)malloc(sizeof(DataType) * 4); if (_array == NULL) { perror("malloc fail!!!"); exit(-1); } _size = 0; _capacity = 4; } //判空 bool STEmpty() { return _size == 0; } //入栈 void STPush(DataType x) { STCheck(); //入栈 _array[_size] = x; _size++; } //出栈 void STPop() { assert(!STEmpty()); _size--; } //数据个数 int STSize() { return _size; } //栈顶元素 int STTop() { assert(!STEmpty()); return _array[_size - 1]; } //销毁 void STDestroy() { free(_array); _array = nullptr; _size = _capacity = 0; } private: //检测 void STCheck() { if (_size == _capacity) { int NewCapacity = 2 * _capacity; DataType* tmp = (DataType*)realloc(_array, sizeof(DataType) * NewCapacity); if (tmp == nullptr) { perror("realloc fail"); exit(-1); } _array = tmp; _capacity = NewCapacity; } } private: DataType* _array; int _size; int _capacity; }; int main() { Stack st; st.STInit(); st.STPush(1); st.STPush(2); st.STPush(3); st.STPush(4); cout << st.STTop() << endl; cout << st.STSize() << endl; st.STPop(); cout << st.STTop() << endl; return 0; }
C++中通过类可以将数据 以及 操作数据的方法进行完美结合,通过访问权限可以控制那些方法在 类外可以被调用,即封装,在使用时就像使用自己的成员一样,更符合人类对一件事物的认知。而且每个方法不需要传递Stack*的参数了,编译器编译之后该参数会自动还原,即C++中 Stack * 参数是编译器维护的,C语言中需用用户自己维护。