前言
引用:可以说是C++中最重要的知识点,学习C++就是要掌握引用、const、指针三者之间的关系
1、引用的定义
引用:类型& 引用变量名称 = 变量名称;
这就是引用变量的定义。&和类型结合称之为引用符号,不是取地址符,代表别名的意思。
【注】 &的几层意思
① int *p = &a; // 定义一个整形类型的指针p,将a的地址赋值给指针p(指针p保存a的地址)
② a & b; // a和b进行按位与操作
③ int &x = a; // 对变量a取了一个别名叫做x
说白了,引用就是对变量取了一个别名(把猫咪叫了个咪咪)
举个简单的栗子:
int main()
{
int a = 10;
int b = a; // 变量
int &c = a; // 引用(别名)
return 0;
}
- 引用的特点:
int main()
{
int a = 10;
int &x; // error 定义引用必须要初始化
int &y = NULL; // error 没有空引用
int &b = a;
int &&c = b; // error 没有引用的引用,所谓的二级引用
}
【总结】
- 使用引用必须初始化
- 没有所谓的空引用(意思就是引用必须初始化,不能为空)
- 引用没有所谓的二级引用(区别于指针)部分等级
const引用
const int b = 20; // 定义了一个const整形b,初始化为20
int& x = b; // 引用;给变量b取了个别名叫x,定义错误,const修饰b,不允许被改变,但是x类型为整形,可以允许修改,权限扩大
2、引用作为形参替代指针
2.1 使用指针交换两个整型值
void my_swap(int* ap, int* bp)
{
assert(ap != NULL && bp != NULL); // 指针判空
int tmp = *ap;
*ap = *bp;
*bp = tmp;
}
int main()
{
int a = 10, b = 20;
cout << "a = " << a << "b = " << b << endl;
my_swap(&a, &b);
cout << "a = " << a << "b = " << b << endl;
return 0;
}
【注】当我们使用指针进行两个整型值的交换函数,必须先对传入的指针参数进行判空,必须保证指针不为NULL,否则无法进行交换函数的实现。
2.2 使用引用交换两个整型值
void my_swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}
int main()
{
int a = 10, b = 20;
cout << "a = " << a << "b = " << b << endl;
my_swap(a, b);
cout << "a = " << a << "b = " << b << endl;
return 0;
}
【注】
- 引用必须初始化
- 不存在NULL引用,因为引用就是起了个别名
- 引用不需要判空,比指针安全;指针使用时必须对其进行判空,因为存在空指针,野指针,失效指针
2.3 其他引用形式
int main()
{
int a = 10, b = 20;
int ar[5] = { 1,2 ,3, 4,5 };
int* p = &a;
int*& rp = p; //引用指针
int& x = ar[0]; // 引用数组的第一个元素
int(&br)[5] = ar; // 引用数组
return 0;
}
3、指针与引用有什么区别
- 从语法规则上讲,指针变量存储某个实例(变量或对象)的地址;引用是某个实例的别名
- 程序为指针变量分配内存区域;而不为引用分配内存区域
- 解引用是指针使用时要在前面加 “ * ” ;引用可以直接使用
- 指针变量的值可以发生变化,存储不同实例的地址;引用在定义时就被初始化,之后无法改变(不能是其他实例的引用)
- 指针变量的值可以为空(NULL,nullptr);但是没有空引用,定义时就初始化
- 指针变量作为形参时需要测试它的合法性(判空NULL,因为有空指针,野指针,失效指针);引用不需要判空,可以直接使用
- 对指针变量使用“sizeof”得到的是指针变量的大小;对引用变量使用“sizeof”得到的是变量的大小
- 理论上指针的级数没有限制;但是引用只有一级。即不存在引用的引用,但可以有指针的指针
- ++引用与++指针的效果不一样
例如:就++操作而言
对指针变量的操作,会使指针变量指向下一个实体(变量或对象)的地址;而不是改变所指实体(变量或对象)的内容
对引用的操作直接反应到所引用的实体(变量或对象)
【注】不可以对函数中的局部变量或对象以引用或指针方式返回