一:引用
概念:是给一个已经存在的变量取一个别名,编译器不会为引用变量开辟内存空间,它和引用的变量公用一块内存空间。
例如:
类型& 引用变量名(对象名)= 引用实体
int& a = b;
引用类型必须和引用实体是同种类型的。
特性:
1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体,再不能引用其他实体
引用适用场景:
1.做参数 void Swap(int& left, int& right)
2.做返回值 int& TestRefReturn(int& a) { return a;}
注意:如果函数返回时,离开函数作用域后,其栈上空间已经还给系统,因此不能用栈上的空间作为引用类型 返回。如果以引用类型返回,返回值的生命周期必须不受函数的限制(即比函数生命周期长)。
引用与指针的区别:
1.语法上:
引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。
2.底层实现上:
引用实际是有空间的,因为引用是按照指针方式来实现的。
引用和指针的不同点:
1. 引用在定义时必须初始化,指针没有要求
2. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
3. 没有NULL引用,但有NULL指针
4. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4 个字节)
5. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
6. 有多级指针,但是没有多级引用
7. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
8. 引用比指针使用起来相对更安全。
二:内联函数
在学习C语言的时候,我们已经学习过了宏函数,但是宏函数的缺点太多,而在C++中,引用了内联函数来解决这个问题。
学习前先回顾一下宏函数的实现与优缺点:
实现比较大小的宏函数: #define MAX(a, b) ((a) > (b) ? (a) : (b))
实现加和运算的宏函数: #define ADD(a, b) ((a) + (b))
优点:
-
提高了程序的可读性,同时也方便进行修改;
-
提高程序的运行效率:使用带参的宏定义既可完成函数调用的功能,又能避免函数的出栈与入栈操作,减少系统开销,提高运行效率;
-
宏是由预处理器处理的,通过字符串操作可以完成很多编译器无法实现的功能。比如
##
连接符。
缺点:
-
由于是直接嵌入的,所以代码可能相对多一点;不方便调试宏。(因为预编译阶段进行了替换)
-
嵌套定义过多可能会影响程序的可读性,可维护性差,容易误用。
-
没有类型安全的检查 ,对带参的宏而言,由于是直接替换,并不会检查参数是否合法,存在安全隐患。
补充:预编译语句仅仅是简单的值代替,缺乏类型的检测机制。这样预处理语句就不能享受
C++
严格的类型检查的好处,从而可能成为引发一系列错误的隐患。
宏函数带来的是大大小小的坑,少一个括号,就有可能进入运算符优先顺序问题的坑,但C++中使用了内联函数要比宏函数好太多
以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数压栈的开销, 内联函数提升程序运行的效率
特性:
1. inline是一种以空间换时间的做法,省去调用函数额开销。所以代码很长或者有循环/递归的函数不适宜使 用作为内联函数。
2. inline对于编译器而言只是一个建议,编译器会自动优化,如果定义为inline的函数体内有循环/递归等 等,编译器优化时会忽略掉内联。
3. inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找 不到
三:auto关键字:
在早期的c/c++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但遗憾的是一直没有人去使用它。
c++11中新的含义是:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
注意:在使用auto的关键字来定义变量的时候要对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为量实际的类型。
auto的使用细则:
1. auto与指针和引用结合起来使用---用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&
1 #include<iostream>
2 using namespace std;
3
4 int main()
5 {
6 int x = 10;
7 auto a = &x;
8 auto* b = &x;
9 auto& c = x;
10
11 cout << typeid(a).name() << endl;
12 cout << typeid(b).name() << endl;
13 cout << typeid(c).name() << endl;
14
15 *a = 20;
16 *b = 30;
17 c = 40;
18
19 return 0;
20 }
2.在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个 类型进行推导,然后用推导出来的类型定义其他变量。
auto a = 1, b = 2;
auto c = 3, d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同
3.auto不能推导的场景
1.auto不能作为函数的参数
1 // 此处代码编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导
2 // void TestAuto(auto a) {}
2.auto不能直接用来声明数组
1 void TestAuto() {
2 int a[] = {1,2,3};
3 auto b[] = {4,5,6};
4 }//这里auto会报错
3. 为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法
4. auto在实际中常见的优势用法就是跟以后会讲到的C++11提供的新式for循环,还有lambda表达式等进 行配合使用。
5. auto不能定义类的非静态成员变量
6. 实例化模板时不能使用auto作为模板参数
四:范围for循环
对于一个有范围的循环如果由程序员自己来说明范围不仅比较麻烦,而且还会出错,在C++11中引入了基于范围的for循环,for循环后面额括号由冒号“:”分割为两部分:第一部分式范围
内用于迭代的变量,第二 部分则表示被迭代的范围。
1 void TestFor() {
2 int array[] = { 1, 2, 3, 4, 5 };
3 for (auto e : array)
4 {
5 e *= 2;
6 printf("%d", e);
7 }
8
9 for (auto e : array)
10 cout << e << " ";
11
12 return;
13 }
范围for的使用条件:
1. for循环迭代的范围必须是确定的
对于数组而言,就是数组中第一个元素和后一个元素的范围;对于类而言,应该提供begin和end的方法, begin和end就是for循环迭代的范围。
1 void TestFor(int array[])
2 {
3 for (auto& e : array) //这里没有合适的begin函数,所以会报错
4 cout << e << endl;
5 }
2. 迭代的对象要实现++和==的操作。
五:指针控制
在C语言中,我们习惯于使用NULL来给指针初始化,NULL实际上是一个宏,被定义为字面值常量0,或被定义为一个无类型指针(void*)的常量。我们的本意是想通过f(NULL)调用指针版本的f(int*)函数,但是由于NULL被定义成0,因此与程序的初衷相悖。在C++98中,字面常量0既可以是一个整形数字,也可以是无类型的指针(void*)常量,但是编译器默认情况下 将其看成是一个整形常量,如果要将其按照指针方式来使用,必须对其进行强转(void *)0。
为了考虑兼容性,C++11并没有消除常量0的二义性,C++11给出了全新的nullptr表示空值指针。C++11为什么 不在NULL的基础上进行扩展,这是因为NULL以前就是一个宏,而且不同的编译器厂商对于NULL的实现可能 不太相同,而且直接扩展NULL,可能会影响以前旧的程序。因此:为了避免混淆,C++11提供了nullptr, 即:nullptr代表一个指针空值常量。nullptr是有类型的,其类型为nullptr_t,仅仅可以被隐式转化为指针类 型,nullptr_t被定义在头文件中:typedef decltype(nullptr) nullptr_t;
注意:
1. 在使用nullptr表示指针空值时,不需要包含头文件,因为nullptr是C++11作为新关键字引入的。
2. 在C++11中,sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。
3. 为了提高代码的健壮性,在后续表示指针空值时建议好使用nullptr。