C++ 引用与 const 关键字详解

引用的基本定义与行为

引用是C++中的一种复合类型，它相当于变量的一个别名。定义引用时必须进行初始化，且一旦初始化后便不可更改其绑定的对象。以下代码展示了如何将引用 r 初始化为变量 n 的别名：

int n = 4;
int & r = n; // r 引用了n，r的类型是 int &

由于引用即别名，对引用的操作等同于对原变量的操作。例如，修改 r 的值会直接反映在 n 上：

int n = 7;
int & r = n;	// r 引用了n，r和n就是一回事
r = 4;
cout << r;		// 输出4
cout << n;		// 输出4
n = 5;
cout << n;		// 输出5

引用的主要限制包括：必须在定义时初始化；引用一旦绑定某个变量，就不能再“改嫁”去引用其他变量；不能引用常量或表达式。

引用的“从一而终”特性

当多个引用指向同一变量，或通过赋值改变引用关联的内容时，需明确引用本身的身份不变。看如下示例：
r1 引用了 a，r2 引用了 r1（即也引用 a）。当执行 r1 = b 时，实际是将 b 的值赋给 r1 所引用的变量（即 a），而不是让 r1 转而引用 b。

double a = 4, b = 5;
double & r1 = a;	// r1引用了a
double & r2 = r1;	// r2也引用了a
r2 = 10;			// a修改为10
cout << a << endl;	// 输出10
r1 = b;				// 用b的值对r1进行赋值，并非r1改为引用b
cout << a << endl;	// 输出5

常引用（const reference）

在引用前添加 const 关键字即为常引用。常引用的主要作用是保护被引用的数据不被意外修改，但原变量本身仍可通过其他途径修改。

int n = 100;
const int & r = n; // r的类型是const int &
r = 200; // 编译错误：无法通过常引用修改变量
n = 300; // OK：可以通过原变量修改

常引用与普通引用的转换

const T & 与 T & 是不同的类型。可以将普通引用或变量初始化为常引用，但反之则不行（除非使用强制类型转换）：

• T & 类型的引用可以初始化 const T & 类型的引用。
• const T 常变量或 const T & 引用不能直接用于初始化 T & 类型的引用。

const 关键字的其他用法

1）定义常量

使用 const 定义在作用域内无法修改的常量：

const int MAX_VAL = 23;
const double PI = 3.14;
const string NAME = "Tommy";

2）定义常量指针（Pointer to const）

常量指针（const int *p）表示指针所指向的内存内容是只读的。通过该指针不能修改内容，但指针自身的指向可以变化。此外，原变量仍可被非指针方式修改。

int n, m;
const int *p = &n;
*p = 5;	// 编译错误：不能通过常量指针修改指向内容
n = 4;	// ok：可以直接通过原变量修改
p = &m;	// ok：常量指针的指向可以变化

注意事项：
常量指针不能被赋值给非常量指针（p2 = p1 报错）。这是为了防止通过非常量指针绕过 const 限制修改本应只读的数据。若确实需要，必须进行强制类型转换（p2 = (int*)p1），但这通常是不安全的做法。

函数参数中的应用

在函数中将指针参数声明为常量指针，可以明确禁止函数内部修改传入的数据，这是一种良好的防御性编程习惯：

void MyPrintf(const char *p)
{
	strcpy(p, "this"); 	// 编译出错：不允许修改只读字符串
	printf("%s", p);	// ok：仅读取内容
}

3）总结

合理使用引用可以提高性能并简化语法，而结合 const 关键字则能有效保证数据安全。理解它们的区别与转换规则，对于编写健壮的 C++ 代码至关重要。

以上就是C++中引用与const关键字的详细内容，更多关于C++引用和const用法技巧的资料请关注本站其它相关文章！