一、引用介绍
C++ 中,引用是一种轻量级的、非常有用的机制。 引用提供了对变量的别名,可以用与原变量同样的方式访问它。引用同样可以看做是实际变量的一个别名。使用引用时,对引用的操作实际上是对被引用的变量的操作,因为引用和变量本身并没有区别。 引用可以用作函数参数或函数返回值,因为使用引用可以避免复制对象。
二、返回引用的正确方式
在函数中,我们经常需要返回一个对象或者变量的引用。直接返回一个对象或者变量的引用是非常危险的,因为返回值可以被修改,而且在函数执行完毕之后返回值可能被废弃。返回引用的正确方式应该如下所示:
// 通过返回引用来改变传入的参数 int& add(int &a, int b) { a += b; return a; }
注意这里返回了一个 int 类型的引用。因为参数 a 本身就是一个引用,通过返回 a,我们可以直接修改原始参数的值。如果尝试返回一个 int 类型的变量,那么将得到一个编译时错误:
// 尝试返回一个 int 类型的变量 int add(int a, int b) { int result = a + b; return result; }
我们来看一个例子,其中使用引用返回修改后的值:
#include <iostream> // 直接返回 int 类型的值 int add(int a, int b) { int result = a + b; return result; } // 通过返回引用来改变参数 int& add2(int &a, int b) { a += b; return a; } int main() { int x = 1, y = 2; std::cout << "x = " << x << ", y = " << y << std::endl; int sum = add(x, y); std::cout << "sum = " << sum << std::endl; std::cout << "x = " << x << ", y = " << y << std::endl; add2(x, y); std::cout << "x = " << x << ", y = " << y << std::endl; return 0; }
运行结果为:
x = 1, y = 2 sum = 3 x = 1, y = 2 x = 3, y = 2
可以看到,在调用 add() 函数时,我们创建了一个新变量 sum 并重新赋值。因此,x 和 y 的值没有变化。但是在调用 add2() 函数时,x 的值被修改了,因为我们返回了参数 x 的引用。
三、返回临时对象的引用
我们可以返回一个指向临时对象的引用,但是这是非常危险的。
#include <iostream> #include <string> const std::string& getName() { std::string name = "Alice"; return name; // 返回本地临时对象的引用 } int main() { std::cout << "My name is " << getName() << std::endl; return 0; }
运行结果为:
My name is
getName() 函数返回了本地临时对象的引用,然而当 getName() 函数执行完成之后,这个本地对象就会被销毁,引用也就成了一个无效的指向已被销毁内存的悬垂指针。
四、使用 const 引用返回已定义对象
在函数中返回一个已定义对象的 const 引用是非常安全的。这是因为 const 引用不能用于修改数据,从而保护了返回的数据的安全性。
#include <iostream> #include <string> const std::string& getName(const std::string& name) { return name; } int main() { std::string myName = "Charlie"; std::cout << "My name is " << getName(myName) << std::endl; return 0; }
运行结果为:
My name is Charlie
在这个例子中,我们使用 const 引用返回了一个参数。由于返回值是 const 引用,因此不能修改返回值,这样可以保证返回值的安全性。
总结
在函数中返回引用是非常有用的,但是也非常容易出错。尤其要小心返回悬垂指针,因为可以访问到已经被销毁的内存。最好的方式是返回一个已定义对象的 const 引用,这样可以确保返回值的安全性。