一、引用
1.概念:别名---与其实体共用一块空间
引用变量的类型必须与实体类型相同
类型& 引用变量的名字=引用的实体
性质:1.定义是必须初始化
2.一个实体可以有多个引用
3.一个引用变量和一个实体结合之后,不能再与其他实体结合
例: int a=10;
int& ra=a;
2.const类型的引用----万能引用--->变量&常量(例:int a=10; int& ra=a; const int& rb=10;)
参数列表:能传递引用尽量传递引用
3.参数按照引用的方式:传参数---传值一样
函数体中对形参的操作与传值格式
可以达到与指针类型的效果
const引用
4.引用的应用
1.用作参数、用作返回值
2.参数:如果需要通过函数形参改变外部实参---普通类型的引用
如果不需要通过函数形参改变外部实参---const类型的引用
注:如果按照引用的方式作为函数的返回值,不要返回栈上的空间
那么返回什么 :不受函数影响----返回实体的生命周期比函数的生命周期长
方法:堆上函数的空间
全局变量
静态变量
引用类型变量
5.传值、传引用效率比较(传值效率最低;传地址&传引用效率基本类似)
例子:
// 以指针作为函数参数
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
TestFunc1(a);
size_t end1 = clock();
// 以引用作为函数参数
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
TestFunc2(a);
size_t end2 = clock();
6.指针和引用的区别*****
答: 底层处理方式一模一样
编译器在底层将引用按照指针的方式来进行处理的
引用实际就是指针 T&===> T* const
const T&===> const T* const
在底层,引用变量实际是有空间的
但在概念层面:别名,与其实体共用一块空间,编译器不会为引用变量开辟新的内存空间
引用和指针的不同点:
1. 引用在定义时必须初始化,指针没有要求
2. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候
指向任何一个同类型实体
3. 没有NULL引用,但有NULL指针
4. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节
个数(32位平台下占 4个字节)
5. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
6. 有多级指针,但是没有多级引用
7. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
8. 引用比指针使用起来相对更安全
七、内联函数
例题一:宏的优缺点?
优点:1.增强代码的复用性。2.提高性能。
缺点:1.不方便调试宏(因为预编译阶段进行了替换)
2.导致代码可读性差,可维护性差,容易误用。
3.没有类型安全的检查 。
宏函数:
优点:提高代码运行效率--在预处理阶段:用宏函数体替换调用位置,没有函数调用开销
缺点:在预处理节点进行替换,不会进行参数类型检测
代码的复用性不好,代码膨胀
不能调试
副作用
例题二:C++有哪些技术替代宏?
1. 常量定义 换用const (具有宏常量替换的特性,在编译阶段替换)
如这段代码:
int main()
{
const int a=10;
int* pa=(int*)&a;
*pa=100;
cout<<a<<endl; //cout<<10<<endl;
cout<<*pa<<endl;
}
输出结果为10,100.
2. 函数定义 换用内联函数
内联函数处理:在编译器编译节段,用函数体替换函数调用的位置
少了函数调用参数压栈以及栈帧创建的时间开销,提高了代码运行效率
特性:1. inline是一种以空间换时间的做法,省去调用函数额开销。所以代码很长或者有
循环/递归的函数不适宜 使用作为内联函数。
2. inline对于编译器而言只是一个建议,编译器会自动优化,如果定义为inline的函
数体内有循环/递归等 等,编译器优化时会忽略掉内联。
3. inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有
函数地址了,链接就会找不到。
八、auto关键字(C++11)
注:使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型
使用细则
1. auto与指针和引用结合起来使用
用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&
例子: int x = 10;
auto a = &x;
auto* b = &x;
auto& c = x;
2.在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对 第一个类型进行推导,然后用推导出来的类型定义其他变量。
例子:void TestAuto()
{
auto a = 1, b = 2;
auto c = 3, d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同
}
3.auto不能作为函数的参数
例: // 此处代码编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导
void TestAuto(auto a) {}
4. auto不能直接用来声明数组
例:void TestAuto()
{
int a[] = {1,2,3};
auto b[3] = a; //只有取地址和sizeof时代表数组本身,其他地方代表首元素地址
}