目录
(六)引用
1、概念
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。生活例子:李逵,在家成为“铁牛”,江湖人称“黑旋风”
其中李逵,铁牛,黑旋风都是指同一个人
语法:类型& 引用变量名(对象名) = 引用实体;
int main() { int a = 1; int& b = a; //给a取别名叫b,a和b的地址是同一个 return 0; }
要区分的是指针的&
int main() { int a = 0; int& b = a; //&是引用 int* pa = &a; //&是取地址符号 cout << &a <<endl; //&是取地址符号 return 0; }
改变引用就是改变本体
int main() { int a = 1; int& b = a; cout << b << endl; b = 2; cout << a << endl; cout << &a << endl; cout << &b << endl; return 0; }
注意:引用类型必须和引用实体是同种类型的
那引用,取别名有什么用途呢?
1)引用做参数
举个简单的例子,在写交换函数时,传参传的是地址,交换时需要不停使用解引用操作符* 太麻烦了,而且可能会忘,那可以用引用来代替指针
void swap(int* p1, int* p2) //形参只是实参的一份临时拷贝,改变形参不会直接影响实参 { //所以需要传地址 int tmp = *p1; //交换时需要解引用 *p1 = *p2; *p2 = tmp; } int main() { int a = 1; int b = 2; swap(&a, &b); //需要去地址,传地址 return 0; }
void swap(int& p1, int& p2) //引用传入的就是他本身,只是换了个名字 { int tmp = p1; p1 = p2; p2 = tmp; } int main() { int a = 1; int b = 2; swap(a, b); //不需要去地址了 return 0; }
直接方便许多
2)引用做返回值
这就是引用做返回值,但这样用是很危险的,因为出count函数时,n已经被销毁,返回还是当前位置的引用,很危险,但是销毁并不代表那块空间不存在了,可能还是原来的值,可能被赋予了随机值,这要看集成开发环境,所以不要这样用!!!
下行代码为什么是7呢???
注意:如果函数返回时,出了函数作用域,如果返回对象还在(还没还给系统),则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。既然返回引用这么复杂,为什么还要用呢???
3)引用优势
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大时,效率就更低。#include<iostream> using namespace std; #include <time.h> struct A { int a[10000]; }; A a; // 值返回 A TestFunc1() { return a; } // 引用返回 A& TestFunc2() { return a; } void TestReturnByRefOrValue() { // 以值作为函数的返回值类型 size_t begin1 = clock(); for (size_t i = 0; i < 100000; ++i) TestFunc1(); size_t end1 = clock(); // 以引用作为函数的返回值类型 size_t begin2 = clock(); for (size_t i = 0; i < 100000; ++i) TestFunc2(); size_t end2 = clock(); // 计算两个函数运算完成之后的时间 cout << "TestFunc1 time:" << end1 - begin1 << endl; cout << "TestFunc2 time:" << end2 - begin2 << endl; } int main() { TestReturnByRefOrValue(); return 0; }
发现传值和指针在作为传参以及返回值类型上效率相差很大 。
传参引用:任何时候都可以用(会改变实参)
返回引用:在出函数后,返回值不销毁的情况下用
2、特性
1. 引用在 定义时必须初始化2. 一个变量可以有多个引用3. 引用一旦引用一个实体,再不能引用其他实体
int main() { int a = 10; // int& ra; // 该条语句编译时会出错 int& ra = a; int& rra = a; int& rrra = rra; }
都是一块空间的“名字”
注意
int main() { int a = 10; int b = 20; int& ra = a; ra = b; //注意:这是赋值语句,是把b的值赋给ra,而不是改引用指向 cout << a << endl; }
3、常引用
引用的类型只能相对于原型,权限平移或缩小
int main() { const int a = 10; //权限放大 //int& ra = a; // 该语句编译时会出错,a为常量 //权限平移 const int& ra = a; //权限放大 // int& b = 10; // 该语句编译时会出错,b为常量 //权限平移 const int& b = 10; //权限缩小 int x = 0; const int& rx = x; double d = 12.34; //int& rd = d; // 该语句编译时会出错,类型不同 //??? //int& rd = d; //??? const int& rd = d; }
最后两行代码为什么错,为什么对???
int& rd = d; 错的原因并不是因为类型不同,这种情况会发生强制类型转换
而强制类型转换会产生临时变量,临时变量具有常性,所以它是因为权限放大而错
而最后 const int& rd = d;添上const就属于权限平移了,所以是对的
附:每个函数的返回值也是会创建临时变量,返回临时变量
4、引用与指针的区别
int main() { int a = 10; int* b = &a; //指针开空间 int& c = a; //引用从语法方面,不开空间 ++(*b); ++ret; return 0; }
从底层角度,引用和指针操作一样,它只有指针没有引用
引用和指针的不同点 :1. 引用概念上定义一个变量的别名,指针存储一个变量地址。2. 引用 在定义时 必须初始化 ,指针没有要求3. 引用 在初始化时引用一个实体后,就 不能再引用其他实体 ,而指针可以在任何时候指向任何一个同类型实体4. 没有 NULL 引用 ,但有 NULL 指针5. 在 sizeof 中含义不同 : 引用 结果为 引用类型的大小 ,但 指针 始终是 地址空间所占字节个数 (32位平台下占 4 个字节 )6. 引用自加即引用的实体增加 1 ,指针自加即指针向后偏移一个类型的大小7. 有多级指针,但是没有多级引用8. 访问实体方式不同, 指针需要显式解引用,引用编译器自己处理9. 引用比指针使用起来相对更安全
(七)内联函数
相信大家都知道C语言的宏,宏是直接替换,不用调用,不用建立栈帧,效率快,但是就是由于它直接替换,不加括号由于优先级原因,会有意想不到的结果还不能调试,而括号又容易忘,为了解决这一问题,引出了内联的概念。
#define ADD(x,y) ((x)+(y))
1、概念
以 inline 修饰 的函数叫做内联函数, 编译时 C++ 编译器会在 调用内联函数的地方展开 ,没有函数调用建立栈帧的开销,内联函数提升程序运行的效率。只需要在相应的函数之前加个关键词“inline”即可
inline int ADD(int x, int y) { return x + y; } int main() { cout << ADD(1, 2) << endl; return 0; }
查看方式:1. 在 release 模式下,查看编译器生成的汇编代码中是否存在 call Add2. 在 debug 模式下,需要对编译器进行设置,否则不会展开 ( 因为 debug 模式下,编译器默认不会对代码进行优化)2、特性
1. inline 是一种 以空间换时间 的做法,如果编译器将函数当成内联函数处理,在 编译阶段,会用函数体替换函数调用缺陷:可能会使目标文件变大优势:少了调用开销,提高程序运行效率。2. inline 对于编译器而言只是一个建议,不同编译器关于 inline 实现机制可能不同 ,一般建议:将 函数规模较小 ( 即函数不是很长,具体没有准确的说法,取决于编译器内部实现 ) 、 不是递归、且频繁调用 的函数采用 inline 修饰,否则编译器会忽略 inline 特性。下图为《C++prime 》第五版关于 inline 的建议:
3. inline 不建议声明和定义分离(即不在同一区域),分离会导致链接错误。因为 inline 被展开,就没有函数地址了,链接就会找不到。【面试题】
宏的优缺点?优点:1. 增强代码的复用性。2. 提高性能。缺点:1. 不方便调试宏。(因为预编译阶段进行了替换)2. 导致代码可读性差,可维护性差,容易误用。3. 没有类型安全的检查 。C++ 有哪些技术替代宏 ?1. 常量定义 换用 const enum2. 短小函数定义 换用内联函数
(八)auto关键字
1、类型别名思考
根据右值推到左值的类型
int main() { int a = 10; auto b = a; //相当于int b = a; auto& c = a; //相当于int& c = a; 引用 auto d = &a; //相当于int* d = &a; 指针 return 0; }
随着程序越来越复杂,程序中用到的类型也越来越复杂,经常体现在:1. 类型难于拼写2. 含义不明确导致容易出错std::map<std::string, std::string>::iterator 是一个类型,但是该类型太长了,特别容易写错。【注意】使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。2、auto不能推导的场景
1. auto 不能作为函数的参数2. auto 不能直接用来声明数组3. 为了避免与 C++98 中的 auto 发生混淆, C++11 只保留了 auto 作为类型指示符的用法4. auto 在实际中最常见的优势用法就是跟以后会讲到的 C++11 提供的新式 for 循环,还有lambda 表达式等进行配合使用。3、typeid().name()取类型
int main() { int a; auto b = &a; cout << typeid(a).name() << endl; cout << typeid(b).name() << endl; return 0; }
(九)基于范围的for循环
1、范围for的语法
与普通循环类似,可以用continue来结束本次循环,也可以用break来跳出整个循环。
int main() { int arr[10] = { 0,1,2,3,4,5,6,7,8,9 }; for (auto a : arr) //依次取数组中的数值赋给a { //自定判断结束,自动迭代 cout << a << " "; } return 0; }
还可以用它改变数值
为什么没有改变呢???
其实a可以理解为一份拷贝,并不是arr本身,是每次取arr的数据拷贝到a中,改变a并不会改变arr
所以可以用引用来实现
int main() { int arr[10] = { 0,1,2,3,4,5,6,7,8,9 }; for (auto a : arr) { cout << a << " "; } cout << endl; for (auto& a : arr) //改变数组要用引用 { a *= 2; } for (auto a : arr) { cout << a << " "; } return 0; }
既然引用可以,那指针可以吗???
可以看到这不行,因为它只是用arr的数据拷贝至a中,加上指针类型会不匹配,所以不能用指针去改变它
2、范围for的使用条件
1. for循环迭代的范围必须是确定的
对于数组而言,就是数组中第一个元素和最后一个元素的范围;
对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。
注意:以下代码就有问题,因为形参没有数组只有指针
2. 迭代的对象要实现++和==的操作。
(十)指针空值nullptr
在我们之前使用的空指针NULL中,是有bug的,如下代码
void func(int a) { cout << "void func(int a)" << endl; } void func(int* a) { cout << "void func(int* a)" << endl; } int main() { func(1); func(NULL); return 0; }
当构成重载时,以上代码NULL类型却是int类型而不是int*
在标准库中: NULL定义为了0
程序本意是想通过 f(NULL) 调用指针版本的 f(int*) 函数,但是由于 NULL 被定义成 0 ,因此与程序的初衷相悖。在 C++98 中,字面常量 0 既可以是一个整形数字,也可以是无类型的指针 (void*) 常量,但是编译器默认情况下将其看成是一个整形常量,如果要将其按照指针方式来使用,必须对其进行强转 (void*)0 。
注意:1. 在使用 nullptr 表示指针空值时,不需要包含头文件,因为 nullptr 是 C++11 作为新关键字引入的 。2. 在 C++11 中, sizeof(nullptr) 与 sizeof((void*)0) 所占的字节数相同。3. 为了提高代码的健壮性,在后续表示指针空值时建议最好使用 nullptr 。
C++为什么不直接改NULL呢???
因为如果直接改NULL后,可以一些代码就是按NULL位0的时候用的,这样的代码就会毁掉。这就相当于把下面的洞填好。