引用是C++中一种重要的复合类型,它为对象提供了另一个名称(别名)。引用在C++中广泛用于函数参数传递、返回值优化以及创建更清晰的代码。
一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。
思维发散:
在C语言中,一个数据对应一个内存,通过由一个变量名来访问这个内存空间的数据,叫做直接访问,相 对直接访问,有个间接访问的说法,叫做指针。
而引用相当于又给这个内存中的数据提供了一个新的变量名,
这个变量名功能比传统变量名更特殊,是直达地址的,后续代码验证!
一、引用的基本概念
1. 引用的定义与特性
引用是已存在对象的别名,通过&
符号声明:
int x = 10;
int& ref = x; // ref是x的引用
引用关键特性:
-
必须初始化:引用在声明时必须初始化
-
不可重新绑定:一旦绑定到某个对象,就不能再绑定到其他对象
-
无空引用:引用必须指向有效对象(与指针不同)
-
自动解引用:使用引用时不需要特殊语法,就像使用原变量一样
2. 引用 vs 指针
特性 | 引用 | 指针 |
---|---|---|
初始化 | 必须初始化 | 可以不初始化 |
可重新绑定 | 不能 | 能 |
空值 | 不允许 | 允许(nullptr) |
操作语法 | 自动解引用 | 需要*和->操作符 |
内存占用 | 通常不占用额外内存 | 占用指针大小的内存 |
多级间接 | 不支持 | 支持(指针的指针) |
二、引用的基本用法
1. 变量引用
非常量引用可以修改绑定的变量,但有以下限制:
- 必须绑定到 左值(Lvalue)(如变量、数组元素、结构体成员等)。
- 不能绑定到临时对象或字面量。
int main() {
int original = 42;
int& ref = original; // ref是original的引用
cout << "original: " << original << endl; // 42
cout << "ref: " << ref << endl; // 42
ref = 100; // 通过引用修改值
cout << "after modification:" << endl;
cout << "original: " << original << endl; // 100
cout << "ref: " << ref << endl; // 100
// int& invalidRef; // 错误:引用必须初始化
// int& badRef = 10; // 错误:不能绑定到字面量
return 0;
}
2. 常量引用
常量引用可以绑定到:
- 左值(非常量或常量)。
- 临时对象或字面量。
- 常用于函数参数,避免拷贝并保护数据不被修改。
int main() {
const int& cref1 = 10; // 合法:绑定到临时值
int x = 20;
const int& cref2 = x; // 合法:绑定到变量
// cref1 = 30; // 错误:不能通过常量引用修改
// cref2 = 40; // 错误:不能通过常量引用修改
return 0;
}
常量引用的特殊性质:
-
可以延长临时对象的生命周期
-
可以接受右值(临时对象)作为参数
-
提供了一种"只读"访问对象的方式
三、引用在函数中的应用
1. 引用参数(避免拷贝)
引用常用于函数参数,避免大对象的拷贝开销:
#include <iostream>
#include <string>
// 值传递:拷贝字符串
void printByValue(std::string s) {
std::cout << s << std::endl;
}
// 引用传递:避免拷贝
void printByRef(const std::string& s) {
std::cout << s << std::endl;
}
int main() {
std::string str = "Hello";
printByValue(str); // 拷贝 str
printByRef(str); // 无拷贝
printByRef("Temporary"); // 合法:常量引用可绑定到临时对象
return 0;
}
2. 引用作为函数返回值
函数可以返回引用,但必须确保引用的对象生命周期足够长:
int globalVar = 100;
int& getGlobalRef() {
return globalVar; // 正确:返回全局变量的引用
}
int& getLocalRef() {
int localVar = 10;
return localVar; // 错误:返回局部变量的引用(悬空引用)
}
int main() {
getGlobalRef() = 200; // 修改全局变量
std::cout << globalVar << std::endl; // 输出 200
// int& badRef = getLocalRef(); // 未定义行为!
return 0;
}
返回引用注意事项:
-
绝不能返回局部变量的引用
-
可以返回成员变量、静态变量或传入参数的引用
-
返回引用允许函数调用出现在赋值语句左边
3. 引用与结构体/类
引用可用于操作结构体或类的成员:
struct Point {
int x, y;
};
int main() {
Point p = {1, 2};
int& refX = p.x; // 引用结构体成员
refX = 10;
std::cout << p.x << std::endl; // 输出 10
return 0;
}