引用
概念
引用是给已存在的变量取一个别名,编译器不会为引用变量开辟内存空间,而是和被引用的变量共用一块内存空间,我们可以类似指针直接修改变量的值一样,通过引用可以直接修改变量的值
#include <iostream>
using namespace std;
// 类型& 引用变量名 = 被引用对象
void TestRef()
{
int a = 10;
int& ra = a;
cout << "&a = " << &a << endl;
cout << "&ra = " << &ra << endl;
}
int main()
{
TestRef();
return 0;
}
特点
- 引用必须在定义时初始化
- 一个变量可以有多个引用
- 一旦初始化后,不可引用其他实体
常引用
void TestConstRef()
{
const int a = 10;
// int& ra = a; // 该句会报错,因为a为常量,这句定义会使ra的权限放大
const int& ra = a;
// int& b = 10; // 该句会报错,因为10是常量,而b是变量
const int& b = 10; // 加上const修饰不会报错,因为此时b是常变量
}
总的来说,引用时,权限可以缩小或平移,但不能放大
使用场景
- 做参数
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
- 做返回值(当且仅当返回值还存在时可以做返回值,例如开辟在堆上的空间,如果已经还给系统了,必须传值调用)
int& Count()
{
int n = 0;
n++;
return n;
}
引用和传值的性能比较
#include <iostream>
#include <time.h>
using namespace std;
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;
}
上述代码运行后如图所示,可以得到,传值调用时间为151ms,引用花费时间不到0ms(最多可以精确到ms级别,显示0ms只是精度不足)
指针和引用的区别
我们理解引用时,引用就是一个别名,没有独立空间,和被引用实体共用一块空间
但是在底层实现上,引用是按照指针方式实现的
我们在使用上,可以减少指针使用时取地址符号和解引用符号的使用,同时又能起到指针的作用,还是很方便的
不同点:
-
在定义时,引用必须初始化,但指针没有要求
-
引用在初始化时引用了一个实体后,就不能再引用其他实体,但指针在任何时候都可以指向一个同类型的实体
-
没有空引用,但可以有空指针
-
sizeof()
计算时有差异,引用结果为引用类型的大小,但是指针大小在同一个系统时是固定的 -
int a = 10; int& b = a; b++;// 结果是10+1 = 11
但是指针++会向后偏移一个类型大小的字节数
-
可以有多级指针,但没有多级引用
-
引用比指针更安全
内联函数
概念
使用关键字inline
修饰的函数叫作内联函数,编译时会在调用内联函数的地方展开,没有函数调用建立栈帧的开销,因此使用内联函数可以提高程序运行效率
可以在vs中运行以下程序,再F9-转到反汇编中查看汇编代码,大概了解即可
#include <iostream>
using namespace std;
void swap(int& a, int& b)
{
int temp = a;
a = b;
b = temp;
}
int main()
{
int a = 10;
int b = 20;
swap(a, b);
return 0;
}
下面下图是不用inline
修饰Swap函数,可以看到有一个call
,是调用Swap函数,而上图是使用inline
修饰Swap函数,可以看到没有call,而是把Swap的实现直接在main函数中展开
特点
-
inline
对于编译器只是一种建议,不同编译器对于inline实现方式不同,一般建议:将函数较短的、不是递归且不是频繁调用的函数使用inline
修饰(没有具体说法),否则编译器会忽略inline
特性 -
inline
是一种以空间换时间,在编译阶段,会用函数体替换函数调用,如果该函数过长,会导致调用该函数的文件变大 -
inline
不建议将声明和定义分离,分离会导致链接错误,因为内联函数一旦被展开,就找不到函数地址,会导致连接错误,如果想在多个文件中调用内联函数,建议将内联函数定义在头文件中,再让需要调用的源文件包含头文件即可
auto
关键字
概念
在后期学习过程中,类型会难以拼写或变量类型不明确,而auto
可以自动推导变量的类型
#include <iostream>
using namespace std;
int main()
{
int a = 10;
auto b = a;
auto c = 'a';
cout << typeid(b).name() << endl; // b的类型为int
cout << typeid(c).name() << endl; // c的类型为char
return 0;
}
!!注意!!
使用auto必须初始化,因为编译器在编译阶段会需要根据初始化的表达式来推导auto的实际类型。因此我们可以将auto理解为类型声明的“占位符”,编译阶段会将auto替换为变量实际的类型。
auto的使用细则
- auto与指针和引用结合使用
使用auto声明指针类型时,用auto和auto*没有区别,但用auto声明类型时必须加&
#include <iostream>
using namespace std;
int main()
{
int x = 10;
auto a = &x;
auto* b = &x;
auto& c = x;
cout << typeid(a).name() << endl;
cout << typeid(b).name() << endl;
cout << typeid(c).name() << endl;
return 0;
}
- 使用auto在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是同一类型,否则编译器会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量
- 不能使用auto的场景
- auto不能作为函数的参数
- auto不能直接声明数组
基于范围的for循环
在之前如果要遍历一个数组,可以按照下面的方式进行
#include <iostream>
using namespace std;
void TestFor()
{
int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
for (int i = 0; i < sizeof(arr) / sizeof(arr[0]); i++)
{
arr[i] *= 2;
}
for (int i = 0; i < sizeof(arr) / sizeof(arr[0]); i++)
{
cout << arr[i] << " ";
}
}
int main()
{
TestFor();
return 0;
}
对于有范围的集合,由程序员来写循环范围是多余的,因此有了如下for循环
#include <iostream>
using namespace std;
void TestFor()
{
int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
for (auto& i : arr)
{
i *= 2;
}
for (auto i : arr)
{
cout << i << " ";
}
}
int main()
{
TestFor();
return 0;
}
for循环后的括号是由冒号’ : ’分为两部分:第一部分是用于迭代的变量,第二部分是表示迭代的范围,第一部分也配合使用auto&,能够自动识别数组中的内容,也能修改数组的内容
同样的,countinue可以结束本次循环,break可以跳出整个循环
指针空值nullptr
在C语言中NULL
被定义为0,这种定义没有什么问题,但是在c++中,这种定义和函数重载会产生矛盾
#include <iostream>
using namespace std;
void f(int x)
{
cout << "x = " << x << endl;
}
void f(int* x)
{
cout << "x = " << *x << endl;
}
int main()
{
f(0);
f(NULL);
f((int*)NULL);
return 0;
}
比如上述函数,c++程序想通过f(NULL)调用f(int*)版本的函数,但是NULL被定义为0,实际f(NULL)会调用f(int),这会在实际调用中产生问题
所以c++就引入了nullptr
,可以避免上述问题,所以c++程序在初始化指针时,推荐使用nullptr
,C语言程序不受上述情况影响,还可以使用NULL