1. 什么是C++
C++是基于C语言产生的,它既可以进行C语言的过程化编程,又可以进行以抽象数据类型为特点的基于对象的程序设计,还可以进行面向对象的程序设计。可以说C++是C的扩充。
C++是一门联邦式的语言分为以下部分:
1.兼容C的部分
2.面向对象部分
3.泛型编程 类模板
4.STL
2. C++关键字
C++98有63个关键字
C++11有73个关键字
新增关键字:alignas、alignof、char16_t、char32_t、constexpr、decltype、noexcept、nullptr、static_assert、thread_local
3. 命名空间
3.1 定义命名空间
定义命名空间,需要用到namespace关键字,后面跟命名空间的名字,然后接一对{}即可,{}中即为命名空间的成员。
(1)普通命名空间
//普通命名空间
namespace test //test为命名空间的名称
{
//命名空间中的内容,既可以定义变量,也可以定义函数
int a;
int Add(int left,int right)
{
return left + right;
}
}
(2)嵌套命名空间
namespace test2
{
int a;
int b;
int Add(int left,int right)
{
return left + right;
}
namespace test3 \
{
int a;
int Add(int left,int right)
{
return left + right;
}
}
}
(3)同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个空间。
3.2 使用命名空间
先定义一个命名空间:
namespace N
{
int a = 10;
int b = 20;
int Add(int left,int right)
{
return left + right;
}
int sub(int left ,int right)
{
return left - right;
}
}
定义一个命名空间后采用以下方式进行调用。
- 加命名空间名称及其作用域限定符
int main()
{
printf("%d",N::a);
return 0;
}
- 使用using将命名空间中成员引入
using N::b
int main()
{
printf("%d",b);
return 0;
}
- 使用using namespace命名空间名称引入
using namespace N;
int main()
{
printf("%d",Add(10,20));
return 0;
}
4. 输入输出
C++使用cout和cin来完成标准输出与标准输入,但使用时必须包括头文件以及std标准命名空间
实例:
#include<iostream>
using namespace std;
int main()
{
int a = 0;
cin >> a;
cout << a;
return 0;
}
5. 缺省参数
5.1 缺省参数概念
缺省参数是声明或定义函数时为函数的参数指定一个默认值。在调用该函数时,如果没有指定实参则采用该默认值,否则使用指定的实参。
5.2 缺省函数分类
全缺省函数
void TestFunc(int a = 10, int b = 20, int c = 30)
{
cout << "a= " << a << endl;
cout << "b= " << b << endl;
cout << "c= " << c << endl;
}
半缺省函数
void TestFunc(int a, int b = 20, int c = 30)
{
cout << "a= " << a << endl;
cout << "b= " << b << endl;
cout << "c= " << c << endl;
}
注意:
- 半缺省参数必须从右往左依次来给出,不能间隔着给。调用时参数从左向右给出。
- 缺省参数不能在函数声明和定义中同时出现(因为如果声明与定义位置同时出现,恰巧两个位置提供的值不同,那编译器就无法确定到底该用哪个缺省值)通常在函数声明时给出。
- 缺省值必须是常量或者全局变量。
- C语言不支持(编译器不支持)。
6. 函数重载
函数重载是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数、类型或顺序)必须不同,常用来处理实现功能类似数据类型不同的问题。
类如下面几个函数:
int Add(int left, int right)
{
return left + right;
}
double Add(double left, double right)
{
return left + right;
}
long Add(long left, long right)
{
return left + right;
}
int main()
{
Add(4, 5);
Add(4.0, 5.0);
Add(4L, 5L);
return 0;
}
注意:如果函数仅仅只是返回值类型不一样,是不能构成函数重载的,因为编译器在根据类型参数类型判断应该使用哪个函数的时候是不能够知道返回值类型的,所以不能构成重载。如下:
long Add(int left, int right)
{
return left + right;
}
int Add(int left, int right)
{
return left + right;
}
7. 名字修饰
在C/C++中,一个程序要运行起来,需要经历这么几个阶段:预处理、编译、汇编、链接。而名字修饰(Name Mangling)是一种在编译过程中,将函数、变量的名称重新改编的机制,简单来说就是编译器为了区分各个函数,将函数通过某种算法,重新修饰为一个全局唯一的名称。
7.1 C语言的名字修饰规则
只是在函数名字前面添加了一个下划线。也就是说对于Add函数,它会改编成为:_Add,那么工程中存在相同函数名的函数时,就会产生冲突。
int Add(int left, int right);
int Add(int left, shore right);
int main()
{
Add(3,4);
return 0;
}
编译器报错:error LNK2019:无法解析的外部符号_Add,该符号在函数_main中被引用。
7.2 C++名字修饰
由于C++要支持函数重载、命名空间等,它的修饰规则肯定不会这么简单,而不同的编译器在底层的实现方式可能都有差异。
在VS2017中编译下列代码
int Add(int left, int right);
double Add(double left, double right);
int main()
{
Add(10, 20);
Add(1.0, 2.0);
return 0;
}
报错:
通过这个错误信息我们可以看出编译器在底层实际使用的并不是Add名字,而是一个重新被修饰过的一个比较复杂的名字,被重新修饰后的名字中包括:函数的名字以及参数类型。那么我们也就可以想到函数重载时,几个同名函数只要其参数列表不同,编译器在编译时,通过对函数名字进行重新修饰,将参数类型包含在最终的名字中,就可以保证名字在底层的全局唯一性。
那么这个被修饰过的名字又该如何理解呢?
?Add@@YAHHH@Z:修饰后名字由"?"开头,后面紧跟函数名,并以@表示函数名的结束,第二个@是表示类名或命名空间名称的结束,此处我们并没有类名以及命名空间。A后面跟的是参数类型,在C++中,用H表示int类型,N表示double类型。最后再以@Z表示整个名字的结束。(此处没有深入解析名称修饰规则,以后再详谈)
7.3 指定编译
现在要考虑一个情况:我们都知道C++是完全兼容C语言的,也就是说,C语言的代码在C++环境下是完全可以运行的,那么如果在C++的工程下,我们要添加一个C语言实现的库,这个库中有一个Add函数,在编译的时候它被编译器重新将名字修饰成了一长串,库中其它地方使用这个函数的时候一直在找的函数名是_Add,这时就会出现问题----找不到。那该怎么办?这时就需要介绍一下接下来要说到的东西了:extern “C”。
在C++工程中可能需要将某些函数按照C的风格来编译,在函数前加extern “C”,意思是告诉编译器,将该函数按照C语言规则来编译。
8. 引用
8.1 引用概念
引用不是新定义一个变量,而是给已存在的变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
使用方法:类型& 引用变量名(对象名)=引用实体;
void Test()
{
int a = 10;
int& ra = a;
printf("%p\n", &a);
printf("%p\n", &ra);
}
运行结果:
注意:引用类型必须和引用实体是同种类型的
8.2 引用特性
- 引用在定义时必须初始化。
- 一个变量可以有多个引用。
- 引用一旦引用一个实体,再不能引用其他实体。
8.3 常引用
void Test()
{
const int a = 10;
//int& ra = a; //该语句编译时会出错,a为常量
const int& ra = a;
//ra = 20;
//int& b = 10; //该语句编译时会出错,b为常量
const int& b = 10;
double d = 10.21;
//int& rd = d; //该语句编译时会出错,类型不同
const int& rd = d;//此时由于类型改变,rd的值变为10
}
8.4 使用场景
1.做参数
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
2.做返回值
int &Test(int &a)
{
a += 10;
return a;
}
其他情况:
int& Add(int a,int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1,2)= " << ret << endl;
return 0;
}
预期运行结果应该为3,可是实际运行结果却是7。这是因为如果函数返回时,离开函数作用域后,其栈上空间已经还给系统,因此不能用栈上的空间作为引用类型返回。如果以引用类型返回,返回值的生命周期必须不受函数的限制(即比函数声明周期长)。
比如:1、全局变量 2、static类型的变量 3、返回引用类型的变量
8.5 传值、传引用效率比较
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大时,效率更低。而传引用与传指针的效率相当。
8.6 引用和指针的区别
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int* p = &a;
*p = 20;
return 0;
}
查看汇编代码
引用与指针的汇编代码一模一样,我们可以知道在底层实现上,引用是按照指针方式来实现的。
实际上:引用类型的变量也有空间,空间中实际存放的是引用实体的地址
概念上:引用只是其实体的一个别名,与其实体共用同一块内存空间。
引用和指针的不同点:
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)
- 引用自加即引用的实体加1,指针自加即指针向后偏移一个类型的大小。
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显示解引用,而引用编译器自己就处理了
- 引用比指针使用起来相对更安全
9. 内联函数
9.1 概念
以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数压栈的开销,内联函数提升程序运行的效率。
9.2 特性
- inline是一种以空间换时间的做法,省去调用函数的开销,所以代码很长或者有循环/递归的函数不适宜使用作为内联函数。
- inline对于编译器来说只是一个建议,编译器会自动优化,如果定义为inline的函数体内有循环/递归等,编译器优化时会忽略掉内联。
- inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到。
说到编译期展开函数,不由得会联想到C语言中的宏,那么宏有哪些优缺点呢?
优点:增强代码的复用性;提高性能
缺点:不方便调试宏(因为预编译阶段进行了替换);导致代码可读性差,可维护性差,容易误用;没有类型安全的检查;
C++有哪些技术代替宏
- 常量定义 换用const
- 函数定义 换用内联函数
9. auto关键字(C++11)
9.1 简介
在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,在使用完成后,编译器会自动释放这个变量的空间,但实际上,对于一个局部变量来说,函数调用完成后,相应的空间原本就会释放,因此实际上并没有人去使用它。
C++11中,标准委员会赋予了auto全新的含义:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
注意:
使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。
9.2 auto的使用细则
- auto与指针和引用结合起来使用,用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&。
int main()
{
int x = 10;
auto a = &x;
auto* b = &x;//a和 b没有区别,*可加可不加
auto& c = x; // 引用必须加&
return 0;
}
- 在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其它变量。
int main()
{
auto a = 1, b = 2;
auto c = 3, d = 4.0;//编译失败,类型不同,默认推导成int型
return 0;
}
9.3 auto不能推导的场景
- auto不能作为函数的参数。
- auto不能直接用来声明数组。
- 为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法。
- auto最常见的优势用法就是跟C++11中提供的新式for循环,还有lambda表达式.等进行配合使用。
- auto不能定义类的非静态成员变量。
- 实例化模板时不能使用auto作为模板参数。
10. 基于范围for的语法
10.1 范围for的语法
对于一个有范围的集合而言,由程序员来说明循环的范围是多余的,有时候还会容易出错。因此C++11中引入了基于范围的for循环。for循环后的括号由冒号" : "分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围。
#include<iostream>
using namespace std;
void Test1()
{
//普通遍历
int array[] = { 1,2,3,4,5,6 };
for (int i = 0; i < sizeof(array) / sizeof(array[0]); i++)
array[i] *= 2;
for (int *p = array; p < array + sizeof(array) / sizeof(array[0]); ++p)
cout << *p << endl;
}
void Test2()
{
//基于范围的for循环
int array[] = { 1,2,3,4,5,6 };
for (auto& e : array) // 带&,可以改变数组内容
e * 2;
for (auto e : array)
cout << e << " ";
}
int main()
{
Test1();
Test1();
return 0;
}
10.2 范围for的使用条件
1.for循环迭代的范围必须是确定的,对于数组而言,就是数组中第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。
2. 迭代的对象要实现 ++ 和 == 的操作
11. 指针空值nullptr(C++11)
11.1 C++98中的指针空值
如果一个指针没有合法的指向,通常我们是使用NULL对其进行初始化的,NULL实际是一个宏,NULL可能被定义为字面常量0,或者被定义为无类型指针(void*)的常量。在C++98中字面常量0既可以是一个整形数字,也可以是无类型的指针(void*)常量,但是编译器默认情况下将其看成是一个整形常量,如果要将其按照指针方式来使用,必须对其进行强转(void*)0。
11.2 nullptr与nullptr_t
为了避免混淆,C++提供了nullptr,即:nullptr代表一个指针空值常量。nullptr是有类型的,其类型为nullptr_t,仅仅可以被隐式转化为指针类型,nullptr_t被定义在头文件中:
typedef decltype ( nullptr ) nullptr_t
注意:
- 在使用nullptr表示空值指针时,不需要包含头文件,因为nullptr是C++作为新关键字引入的。
- 在C++中,sizeof(nullptr)与sizeof((void*)0)所占的字节数相同。
- 为了提高代码的健壮性,在后续表示指针空值时建议最好使用nullptr