这篇文章开始,我们进入C++的学习。
前言
什么是C++
C语言是结构化和模块化的语言,适合处理较小规模的程序。
对于复杂的问题,规模较大的程序,需要高度的抽象和建模,C语言则不合适。
为了解决软件危机, 20世纪80年代, 计算机界提出了OOP(object oriented programming:面向对象)思想,支持面向对象的程序设计语言应运而生。
1982年,Bjarne Stroustrup博士在C语言的基础上引入并扩充了面向对象的概念,发明了一种新的程序语言。为了表达该语言与C语言的渊源关系,命名为C++。
因此:C++是基于C语言而产生的,它既可以进行C语言的过程化程序设计,又可以进行以抽象数据类型为特点的基于对象的程序设计,还可以进行面向对象的程序设计。
C++的发展史
1979年,贝尔实验室的本贾尼等人试图分析unix内核的时候,试图将内核模块化,于是在C语言的基础上进行扩展,增加了类的机制,完成了一个可以运行的预处理程序,称之为C with classes。
语言的发展就像是练功打怪升级一样,也是逐步递进,由浅入深的过程。
我们先来看下C++的历史版本:
C++还在不断的向后发展。
但是:现在公司主流使用还是C++98和C++11,所以大家不用追求最新,重点将C++98和C++11掌握好,等工作后,随着对C++理解不断加深,有时间可以去琢磨下更新的特性。
C++的重要性
1. 使用广泛度
下图数据来自TIOBE编程语言社区2021年12月最新的排行榜,在30多年的发展中,C/C++几乎一致稳居前5:
TIOBE 编程语言社区排行榜是编程语言流行趋势的一个指标,每月更新,这份排行榜的排名基于互联网上有经验的程序员、 课程和第三方厂商的数量。
排名使用著名的搜索引擎(诸如 Google、MSN、Yahoo!、Wikipedia、YouTube 以及 Baidu 等)进行计算。
注意:排名不能说明那个语言好,那个不好,每门编程语言都有适应自己的应用场景。
2. 工作领域的应用
- 操作系统及大型系统软件开发
所有操作系统几乎都是C/C++写的,许多大型软件背后几乎都是C++写的。
比如:Photoshop、Office、JVM(Java虚拟机)等,究其原因还是性能高,可以直接操控硬件。
服务器端开发
后台开发:主要侧重于业务逻辑的处理,即对于前端的请求,后端给出对应的响应,现在主流采用java,但内卷化比较严重,大厂可能会有C++后台开发,主要做一些基础组件,中间件、缓存、分布式存储等。
服务器端开发比后台开发更广泛,包含后台开发,一般对实时性要求比较高,比如游戏服务器、流媒体服务器、网络通讯等都是采用C++开发的。
游戏开发
PC平台几乎所有的游戏都是C++写的。
比如:魔兽世界、传奇、CS、跑跑卡丁车等。
市面上相当多的游戏引擎都是基于C++开发的,比如:Cocos2d、虚幻4、DirectX等。
三维游戏领域计算量非常庞大,底层的数学全都是矩阵变换,想要画面精美、内容丰富、游戏实时性高,这些高难度需求无疑只能选择C++语言。
比较知名的厂商:腾讯、网易、完美世界、巨人网络等。
嵌入式和物联网领域
嵌入式:就是把具有计算能力的主控板嵌入到机器装置或者电子装置的内部,从而能够控制这些装置。
比如:智能手环、摄像头、扫地机器人、智能音响等。
谈到嵌入式开发,大家最能想到的就是单片机开发(即在8位、16位或者32位单片机产品或者裸机上进行的开发),嵌入式开发除了单片机开发以外,还包含在soc片上、系统层面、驱动层面以及应用、中间件层面的开发。
常见的岗位有:嵌入式开发工程师、驱动开发工程师、系统开发工程师、Linux开发工程师、固件开发工程师等。
知名的一些厂商,比如:以华为、vivo、oppo、小米为代表的手机厂;以紫光展锐、乐鑫为代表的芯片厂;大疆、海康威视、大华、CVTE等具有自己终端业务厂商;以及海尔、海信、格力等传统家电行业。
随着5G的普及,物联网(即万物互联,)也成为了一种新兴势力,比如:阿里lot、腾讯lot、京东、百度、美团等都有硬件相关的事业部。
- 数字图像处理
数字图像处理中涉及到大量数学矩阵方面的运算,对CPU算力要求比较高,主要的图像处理算法库和开源库等都是C/C++写的,比如:OpenCV、OpenGL等,大名鼎鼎的Photoshop就是C++写的。
人工智能
一提到人工智能,大家首先想到的可能就是python,认为学习人工智能就要学习python,这个是误区,python中库比较丰富,使用python可以快速搭建神经网络、填入参数导入数据,然后就可以开始训练模型了。
但人工智能背后深度学习算法等核心内容还是用C++写的。
分布式应用
近年来随着移动互联网的兴起,各应用数据量业务量不断攀升;后端架构要不断提高性能和并发能力才能应对大信息时代的来临。
在分布式领域,好些分布式框架、文件系统、中间组件等都是C++开发的。对分布式计算影响极大的Hadoop生态的几个重量级组件:HDFS、zookeeper、HBase等,也都是基于Google用C++实现的GFS、Chubby、BigTable。包括分布式计算框架MapReduce也是Google先用C++实现了一套之后才有开源的java版本。
除了上述领域外,科学计算、浏览器、流媒体开发、网络软件等都是C++比较适合的场景,作为一名老牌语言的常青树,C++一直霸占编程语言前5名,肯定有其存在的价值。
接下来,我们正式进入C++的学习。
C++(兼容C)是在C的基础之上,容纳进去了面向对象编程思想,并增加了许多有用的库,以及编程范式等。
熟悉C语言之后,对C++学习有一定的帮助,本章节主要目标:
补充C语言语法的不足,以及C++是如何对C语言设计不合理的地方进行优化的,比如:作用域方面、IO方面、函数方面、指针方面、宏方面等。
为后续类和对象学习打基础。
1. C++关键字(C++98)
C++总计63个关键字,C语言32个关键字。
ps:我们只是看一下C++有多少关键字,不对关键字进行具体的讲解。后面我们学到以后再细讲。
2. 命名空间
经过上面的了解,我们知道:
C++呢,其实就是之前的大佬感觉C语言存在一些不足,所以在C语言的基础上做了一些改进,并增加了一些新的东西。
那命名空间就是我们的大佬为C语言补的第一个坑:
在C/C++中,变量、函数和后面要学到的类都是大量存在的,这些变量、函数和类的名称将都存在于全局作用域中,可能会导致很多冲突。
什么意思呢?举个栗子:
先来创建一个C++的项目:
跟创建C的项目一样,文件后缀CPP我们不要动就行了(创建C项目我们一般修改成.c后缀的)。
ps:.c就调C的编译器,.cpp就调C++的编译器。
那我们写了这样一段代码:
#include <stdio.h> int rand = 10; int main() { printf("%d\n", rand); return 0; }
这是C版的代码,但我们说了C++是兼容C的。
这段代码有什么问题吗?
没有问题,我们打印了一个全局变量,名为rand。
🆗,那我们再多包含一个头文件呢?
再次运行代码:
哦豁,发生错误了,怎么回事?
这里就发生了命名冲突。
为什么我们加了一个头文件就发生命名冲突了呢?
其实编译器的提示已经很明显了:
如果大家以前了解过rand函数的话就知道它其实是库里面的一个函数,用来产生随机数的嘛。
需要包含的头文件就是,第一次之所以没事就是我们没有包对应的头文件。
那rand是我们定义的一个全局变量,现在也包含的rand()函数对应的头文件,所以我们打印的时候就在全局范围内找到了两个rand,所以就出错了。
类似的情况可能还有很多,我们只是举了其中一个例子。
所以这就是C语言的一个缺陷,C语言是不能很好的处理这种情况的,我们只能对我们自己定义的变量重新命名。
那我们的大佬是如何解决这个问题的呢?
C语言没办法解决类似这样的命名冲突问题,所以C++提出了namespace来解决。
namespace(命名空间)关键字的出现就是针对这种问题的,使用命名空间的目的是对标识符的名称进行本地化,以避免命名冲突或名字污染。
那大家先思考一下:
什么情况下同一个工程中出现多个同名的变量或函数不会发生命名冲突?
是不是只要它们在不同的域里,它们的作用域互不干扰就行了啊。
举个栗子:
void f1() { int a = 0; } void f2() { int a = 1; } int main() { return 0; }
这样就没问题,因为虽然有两个a,但是它们两个都是局部变量,它们的作用域都是自己所在的函数,互不干扰,所以就没事。
那这时候如果我们在main函数里打印a其实是不行的:
为什么不行呢?
main函数要打印a的话首先就会在main函数对应局部域找a,当然它找不到,因为main函数里我们没有定义a,然后就会在全局去找,也找不到,因为我们定义的两个a都是局部的。
如果我们再定义一个全局的a就行了:
再来看一个问题:
如果我们现在在两个局部变量a所在的函数中打印a,打印的是全局的a还是局部的a?
🆗,当全局变量和局部变量名字相同时,局部优先嘛,这个我们之前C语言就提到过。
那现在我就想在函数f2()打印全局的a,有没有办法?
有的:
确实打印出来了,那那两个冒号是什么东西啊,为什么在a前面加了这个符号就打印全局a了?
🆗,
::叫做 作用域限定符
。在a前面加上作用域限定符之后,打印a时就会直接在指定的作用域进行寻找,而
::
前面啥也不写,就代表限定的作用域是全局。如果我们把全局的屏蔽掉:
就不行了。
另外这样是不行的:
不能指定另一个函数f1作为限定的域。
那了解了上面的内容,其实命名空间也是用类似的思想来避免这些冲突的。
2.1 命名空间的定义
我们还是通过例子来给大家讲解:
还来看这个,现在是存在命名冲突的:
C++提出的命名空间就是解决这种问题的。
怎么做呢?
如果我们想解决这个命名冲突,就可以定义一个命名空间,将我们自己的rand放到命名空间里:
定义命名空间,需要使用到namespace关键字,后面跟命名空间的名字,然后接一对{}即可,{}中即为命名空间的成员。
那这样做就不会报错了吗?
是的。
这次就成功的打印出来了rand的值,那打印出来的是个啥大家能看出来吗?
🆗,这里打印的其实是库里面的rand函数的地址(所以我改成了%P更合适一点),因为打印rand的时候会先在main函数所在的局部去找rand,但是没有,然后去全局找,就找到了库里面的rand,而我们自己定义的rand现在是在命名空间里的,所以不会找到,自然就没事了。
那我们现在如果想访问命名空间里的rand怎么办?
是不是用我们上面提到的作用域限定符就行了啊:
当然,在命名空间中,不止可以放变量:
命名空间中可以定义变量/函数/类型等等。
另外呢:
命名空间可以嵌套(多层嵌套)
那访问就应该这样:
那大家再想一下:
命名空间是用来解决名字冲突的,那如果多个命名空间的名字撞了怎么办?
同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个命名空间中。
一个工程中的test.h和上面test.cpp中两个N1会被合并成一个。
2.2 命名空间的使用
通过上面的学习我们知道,命名空间的引入其实是为了解决命名冲突的问题。
那现在我们想使用命名空间里的某个成员,有哪些方法呢?
我们通过一个例子给大家介绍:
我们学习一门新的编程语言一般第一个程序都是“hello world”
接下来我们就来写一个C++版的“hello world”
那是不是很简单啊,写个main函数,然后打印一下就行了:
我们C语言打印用printf,C++里可以用cout
(cout 用于在计算机屏幕上显示信息)。这个大家先了解一下就行了。
然后后面的endl其实就是换行。
这样就可以了吗?
运行发现还不行,为什么呢?
我们知道C语言使用printf打印需要包含头文件,那C++也一样,这里cout和endl想要使用的话也得包一个头文件,就是
但我们发现现在还不行,怎么回事?
原因就在于C++为了避免我们自己命名的变量或者函数会与库里面的发生命名冲突,所以将标准库里面的东西都放到了一个命名空间——
std
里。
那现在我们想使用命名空间std
里的cout这些东西怎么办?
- 使用作用域限定符指定对应的命名空间
第一个方法就是用我们上面提到的作用域限定符::
指定其对应的命名空间,这样我们的程序就会直接去对应的命名空间里寻找cout,那找到了,就可以用了:- 这样就可以了。
那还有没有其它方法呢?
- 使用using namespace 命名空间名称 将该命名空间引入(全局展开)
- 这样就可以了,
using namespace std;
相当于把这个命名空间在全局范围内展开了。
所以现在不指定命名空间也可以用了。- 但是这样做好不好呢?
是不是不太好啊,人家故意把这些东西封到命名空间中来防止命名冲突,我们这样直接全局展开的话是不是命令空间的存在就没什么意义了。
我们不小心再定义一个同名的变量啥的是不是就出现问题了。- 所以呢,在一些项目中,我们一般不建议直接全局展开。
但是平时我们自己写一些练习,小程序之类的,图方便的话可以全局展开,自己注意一点就行了。
然后还有第3种方法:
- 用哪个成员,就使用using引入哪个(部分展开)
std命名空间里是包含很多成员的,那我们现在如果只用到了cout和endl,我们就可以只把这两个引入程序中。- 然后呢,就可以直接用了:
2.3 std命名空间的使用惯例
std是C++标准库的命名空间,如何展开std使用更合理呢?
在日常练习中,建议直接using namespace std即可,这样就很方便。
using namespace std展开,标准库就全部暴露出来了,如果我们定义跟库重名的类型/对象/函数,就存在冲突问题。
该问题在日常练习中很少出现,但是项目开发中代码较多、规模大,就很容易出现。所以建议在项目开发中使用,像std::cout这样使用时指定命名空间 + using std: :cout展开常用的库对象/类型等方式。
3. C++输入&输出
新生婴儿会以自己独特的方式向这个崭新的世界打招呼,C++刚出来后,也算是一个新事物。
3.1 输入输出
那C++是否也应该向这个美好的世界来声问候呢?我们来看下C++是如何来实现问候的:
#include<iostream> // std是C++标准库的命名空间名,C++将标准库的定义实现都放到这个命名空间中 using namespace std; int main() { cout << "Hello world!!!" << endl; return 0; }
那其实我们上面已经实现过了,但是这里面用到的cout大家可能还不是很了解。
但是我们现在刚开始学习C++,还不能很好的理解这些东西。
cout 用于在计算机屏幕上显示信息,是C++中iostream 类型的对象,C++的输出是用“流”(stream)的方式实现的,流运算符的定义等信息是存放在C++的输入输出流库中的,因此如果在程序中使用cout和流运算符,就必须使用预处理命令把头文件stream包含到本文件中,即 < iostream > 库,该库定义的名字都在命名空间 std 中,所以 cout 全称是 std: :cout。
那上面还用到这个<<是啥啊。
<<是流插入运算符。
然后现在大家可以理解成这个cout就是控制台:
cout << "Hello world!!!" << endl;
我们的字符串"Hello world!!!"和换行endl流插入到控制台,流向控制台,然后就可以输出显示出来了。
那有输出了,肯定也要有输入,C++怎么输入呢?
往屏幕上输出信息用cout,输入的话用cin。
那有流插入<<,就有流提取>>
所以C++,我们想输入一个数是这样的:
运行一下:我们C语言输入一般用scanf,而且要指定格式,整型%d,字符%c…
而cin呢它可以做到自定识别变量类型。
int main() { int a; double b; char c; // 可以自动识别变量的类型 cin >> a; cin >> b >> c; cout << a << endl; cout << b << " " << c << endl; return 0; }
3.2 说明
使用cout标准输出对象(控制台)和cin标准输入对象(键盘)时,必须包含< iostream >头文件以及按命名空间使用方法使用std。
cout和cin是全局的流对象,endl是特殊的C++符号,表示换行输出,他们都包含在包含< iostream >头文件中。
<<是流插入运算符,>>是流提取运算符。
使用C++输入输出更方便,不需要像printf/scanf输入输出时那样,需要手动控制格式。
C++的输入输出可以自动识别变量类型。
实际上cout和cin分别是ostream和istream类型的对象,>>和<<也涉及运算符重载等知识,
这些知识我们我们后续才会学习,所以我们这里只是简单学习他们的使用。后面我们还有有一个章节更深入的学习IO流用法及原理。
注意:早期标准库将所有功能在全局域中实现,声明在.h后缀的头文件中,使用时只需包含对应头文件即可,后来将其实现在std命名空间下,为了和C头文件区分,也为了正确使用命名空间,规定C++头文件不带.h;旧编译器(vc 6.0)中还支持格式,后续编译器已不支持,因此推荐使用+std的方式。
ps:
关于cout和cin还有很多更复杂的用法,比如控制浮点数输出精度,控制整形输出进制格式等等。因为C++兼容C语言的用法(也就是说必要时我们可以直接使用C的方式),这些又用的不是很多,我们这里就不展开学习了。后续如果有需要,我们再配合文档学习。
4. 缺省参数
缺省参数其实也是C++补的C语言的一个坑。
4.1 缺省参数概念
我们先来回忆一下:
C语言中的函数,如果我们自定义一个函数,函数有一个或多个参数,那我们调用的时候是不是就必须传参啊,形参有几个,实参我们就需要传几个。
那C++引入了缺省参数,是什么呢?
缺省参数是声明或定义函数时为函数的参数指定一个缺省值(默认值)。
在调用该函数时,如果没有指定实参则采用该形参的缺省值,否则使用指定的实参。
举个栗子:
void Func(int a = 0) { cout << a << endl; } int main() { Func();// 没有传参时,使用参数的默认值 Func(10);// 传参时,使用指定的实参 return 0; }
我们两次调用Func函数(指定参数a的缺省值为0),第一次调用不传参,第二次实参为10。
我们运行一下:
🆗,这就是缺省参数。
4.2 缺省参数分类
- 全缺省参数
即函数有一个或多个参数,全部都有缺省值。
void Func(int a = 10, int b = 20, int c = 30) { cout<<"a = "<<a<<endl; cout<<"b = "<<b<<endl; cout<<"c = "<<c<<endl; }
那这时我们传参可以怎么传呢?
int main() { Func(); Func(1); Func(1, 2); Func(1, 2, 3); return 0; }
这样都是可以的,但是注意,不要这样搞⚠:
2. 半缺省参数
即有多个参数时,可以有的给缺省值,有的不给。
像这样:
void Func(int a, int b = 10, int c = 20) { cout << "a = " << a << endl; cout << "b = " << b << endl; cout << "c = " << c << endl; }
那我们传参就有这几种方式:
int main() { Func(1); Func(1, 2); Func(1, 2, 3); return 0; }
但是要注意:
- 半缺省参数必须从右往左依次来给出,不能间隔着给
既不能像这样:
- 缺省参数不能在函数声明和定义中同时出现
//a.h void Func(int a = 10); // a.cpp void Func(int a = 20) {}
注意:如果声明与定义位置同时出现,且恰巧两个位置提供的值不同,那编译器就无法确定到底该用那个缺省值。
当然,即使两个地方值给的一样,也照样会报上面那个错误。
另外需要注意,如果有函数声明的话,缺省参数要在声明的时候给。
缺省值必须是常量或者全局变量(一般不用全局变量)
C语言不支持缺省参数(编译器不支持)
5. 函数重载
自然语言中,一个词可以有多重含义,人们可以通过上下文来判断该词真实的含义,即该词被重载了。
5.1 函数重载概念
在C++中呢引入了函数重载,这个也是C语言所没有的,那什么是函数重载呢?
函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数的个数 或 参数的类型 或 参数类型的顺序)不同,常用来处理实现功能类似但数据类型不同的问题。
- 参数类型不同
首先来看函数重载的第一种情况:参数类型不同。即函数名和参数个数都是一样的,只是参数类型不同。
int Add(int left, int right) { cout << "int Add(int left, int right)" << endl; return left + right; } double Add(double left, double right) { cout << "double Add(double left, double right)" << endl; return left + right; }
像这样两个函数,它们的函数名完全相同,唯一的区别就是参数类型和返回类型不同。
🆗,那大家都知道这样的情况在C语言中肯定是会报错的。
那C语言中我们想解决这个错误就只能改动一下,让这两个函数的名字不再相同。
但是C++引入了函数重载就支持这种情况的出现了:
这样看起来我们是调用的同一个函数,但是程序会自动根据我们传的参数类型进行匹配,如何匹配我们后面也会介绍到。
在有些时候还是很方便的。
- 参数个数不同
第二种情况:函数名和返回类型都相同,但是参数的个数不同。
// 2、参数个数不同 void f() { cout << "f()" << endl; } void f(int a) { cout << "f(int a)" << endl; }
- 参数类型顺序不同
第三种:参数类型的顺序不同,什么意思呢,比如下面这种情况:
void f(int a, char b) { cout << "f(int a,char b)" << endl; } void f(char b, int a) { cout << "f(char b, int a)" << endl; }
参数的类型都是int和char,但是顺序不一样。
5.2 C++支持函数重载的原理–名字修饰
首先大家思考一个问题:
我们上面提到C++中出现函数重载情况的时候,我们去调用时程序会根据我们传的参数类型去匹配对应的函数。
那大家想一下,相比C语言的函数调用过程,这个匹配的过程会不会导致程序变慢,或者说让运行时间变长呢?
🆗,是不会的哦。
因为这个匹配的过程其实是在编译期间就完成的,所以不会对运行时间造成影响。
我们之前专门有一篇文章讲解C/C++程序一步步变成可执行程序的过程,大家忘了的话可以回顾一下链接: link
那我们继续,那在编译期间,编译器是如何对这些重载函数进行区分和匹配呢?
🆗,那原因呢就在于C++做了一件事情,就是对函数名进行了名字修饰。
而C语言是不会进行这样的处理的,因为C语言不允许函数重载,即C程序中不会出现同名函数的,所以C语言可以直接通过函数名去匹配对应的函数,一旦出现同名函数,那这时就发生冲突了,就报错了。
那具体C++是怎么对函数名进行修饰的?
那其实每个编译器都有自己的函数名修饰规则,这取决于编译器的实现者。
由于Windows下vs的修饰规则过于复杂:
可以给大家看一下在vs上C的函数名和C++修饰之后的函数名的对比:
相比于Windows下vs的修饰规则,Linux下g++的修饰规则简单易懂,下面我们可以看看g++对函数修饰后的名字:
- 采用C语言编译器编译后结果(gcc)
- 结论:在linux下,采用gcc编译完成后,函数名字没有发生改变。
- 采用C++编译器编译后结果(g++)
- 结论:在linux下,采用g++编译完成后,函数名字的修饰发生改变,编译器将函数参数类型信息添加到修改后的名字中。
我们可以看出gcc的函数修饰后名字不变。而g++的函数修饰后变成【_Z+函数长度+函数名+类型首字母】
Windows下名字修饰规则
对比Linux会发现,windows下vs编译器对函数名字修饰规则相对复杂难懂,但道理都是类似的,我们就不做细致的研究了。
通过这里就理解了C语言没办法支持重载,因为同名函数没办法区分。而C++是通过函数修饰规则来区分,只要参数不同,修饰出来的名字就不一样,就支持了重载。
最后大家再思考一个问题:如果两个函数只有函数返回值类型不同,能否构成重载?
是不行的。
为什么不行?
因为我们在调用的时候,是不是不能分辨出返回类型是啥啊,这样是不合理的。
所以:
如果两个函数函数名和参数是一样的,只有返回值不同是不能构成重载的,因为调用时编译器没办法区分。