c++中的引用
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。
C++ 引用 vs 指针
引用很容易与指针混淆,它们之间有三个主要的不同:
-
不存在空引用。引用必须连接到一块合法的内存。
-
一旦引用被初始化为一个对象,就不能被指向到另一个对象。指针可以在任何时候指向到另一个对象。
-
引用必须在创建时被初始化。指针可以在任何时间被初始化。
int &b; //错误的 int *p; //正确的
引用的基本使用
作用:给变量起别名
语法:数据类型 &别名 = 原名
int main()
{
int a = 10;
int &b = a;
std::cout << a << std::endl;
std::cout << b << std::endl;
//a = 10; b = 10;
b = 100;
std::cout << a << std::endl;
std::cout << b << std::endl;
//a = 100; b = 100;
return 0;
}
引用用于函数参数列表和函数返回值。
引用做函数参数
**作用:**函数传参时,可以利用引用的技术让形参修饰(修饰)实参
**优点:**可以简化指针修改实参
void swap01(int a, int b) //值传递
{
int temp = a;
a = b;
b = a;
}
void swap02(int* a, int* b) //指针(地址)传递
{
int temp = *a;
*a = *b;
*b = *a;
}
void swap03(int& a, int& b) //引用传递
{
int temp = &a;
&a = &b;
&b = &a;
}
int main()
{
int a = 1, b = 2, c = 3, d = 4, i = 5, j = 6;
swap01(a, b);//值传递形参不改变(修饰)实参
swap02(&c, &d);//指针传递将地址传递过去,可以改变(修饰)实参
swap03(i, j);//同样可以改变(修饰)实参,但相比指针传递更间接方便
}
引用做函数返回值
注意:不要返回局部变量引用
用法:函数调用可以作为左值
C++ 函数可以返回一个引用,方式与返回一个指针类似。
当函数返回一个引用时,则返回一个指向返回值的隐式指针。这样,函数就可以放在赋值语句的左边。
double vals[] = {10.1, 12.6, 33.1, 24.1, 50.0};
double& setValues(int i) //函数名前加&代表该函数返回引用
{
double& ref = vals[i];
return ref; // 返回第 i 个元素的引用,ref 是一个引用变量,ref 引用 vals[i]
}
// 要调用上面定义函数的主函数
int main ()
{
cout << "改变前的值" << endl;
for ( int i = 0; i < 5; i++ )
{
cout << "vals[" << i << "] = ";
cout << vals[i] << endl;
}
/*
改变前的值
vals[0] = 10.1
vals[1] = 12.6
vals[2] = 33.1
vals[3] = 24.1
vals[4] = 50
*/
setValues(1) = 20.23; // 改变第 2 个元素
setValues(3) = 70.8; // 改变第 4 个元素
cout << "改变后的值" << endl;
for ( int i = 0; i < 5; i++ )
{
cout << "vals[" << i << "] = ";
cout << vals[i] << endl;
}
/*
改变后的值
vals[0] = 10.1
vals[1] = 20.23
vals[2] = 33.1
vals[3] = 70.8
vals[4] = 50
*/
return 0;
}
当返回一个引用时,要注意被引用的对象不能超出作用域。所以返回一个对局部变量(保存在栈区)的引用是不合法的,但是,可以返回一个对静态变量(保存在全局区)的引用。
int& func() {
int q;
//! return q; // 在编译时发生错误
static int x;
return x; // 安全,x 在函数作用域外依然是有效的
}
#include <iostream>
using namespace std;
// 返回对静态变量的引用
int& getStaticRef() {
static int num = 5; // 静态变量
return num;
}
int main() {
int& ref = getStaticRef(); // 获取对静态变量的引用
cout << "初始值:" << ref << endl;// 5
ref = 10; // 修改静态变量的值
cout << "修改后的值:" << ref << endl;// 10
cout << "再次调用函数后的值:" << getStaticRef() << endl; // 10
return 0;
}
引用的本质
引用的本质在c++内部实现是一个指针常量
//发现是引用,转换为 int* const ref = &a;
void func(int& ref)
{
ref = 100; //ref是引用,转换为*ref = 100
}
int main()
{
int a =10;
//自动转换为 int* const ref = &a;指针常量是指向不可改的指针,也说明了为什么引用不可更改
int& ref = a;
ref = 20; //内部发现ref是引用,自动帮我们转换为 *ref = 20;
std::cout<< "a:" << a <<std::endl;
std::cout<< "ref:" << ref <<std::endl;
func(a);
return 0;
}
常量引用
**作用:**常量引用主要用来修饰形参,防止误操作
在函数形参列表中,可以加const修饰形参,防止形参改变实参
//引用使用的场景,通常原来修饰形参
void showValue(const int& v)
{
//v += 10; 加入const后报错,防止形参改变实参
std::cout<< v <<std::endl;
}
int main()
{
//int& ref = 10; 引用必须引用一块合法的内存空间,此处直接引用了作为常量的10
//const int& ref = 10; 在int前加上const之后为合法,因为编译器将代码修改为:int temp = 10; const int& ref = temp;
//ref = 20; 加入const后为只读状态
int a = 100;
showValue(a);
return 0;
}