C++的引用与const指针的关系以及各种传递方式

首先我们知道 const int *p 与 int const *p 是一样的,即 *p 是常量;而 int * const p 跟上面是不一样的,即 p 是常量;我们知道引用只是一个别名,与变量共享存储空间,并且必须在定义的时候初始化,而且不能再成为别的变量的别名,这让我们想到什么呢,貌似跟  int * const p   的性质很像。

其实引用的底层就是用const指针来实现的。下面举个小例子:

#include <iostream>
using namespace std;

void swap(int &x, int &y)
{
    int temp = x;
    x = y;
    y = temp;
}

void swap(int *const x, int *const y)
{
    int temp = *x;
    *x = *y;
    *y = temp;
}

int main(void)
{
    int a = 5;
    int b = 6;
    swap(a, b);
    cout << "a=" << a << " b=" << b << endl;
    int c = 7;
    int d = 8;
    swap(&c, &d);
    cout << "c=" << c << " d=" << d << endl;
    return 0;
}

其实两个swap函数达到的效果是一样的(name mangling),而const 引用如 const int & 呢我们也可以类比为  const int * const p 即既不能成为别的变量的引用,也不能通过引用更改变量的值。

引用经常作为函数的参数传递,可以与值传递,以及指针传递做个比较:

值传递: 实参初始化形参时要分配空间, 将实参内容拷贝到形参

引用传递: 实参初始化形参时不分配空间

指针传递:本质是值传递,但如果我们要修改指针本身,那只能使用指针的指针了,即 **, 或者指针引用 *&

而且使用指针比较不保险的是很多人会忘记加上const的限制,即很可能接下来的程序中你又把这个指针指向了其他的变量,这样就混乱了。

把引用作为函数返回值时,千万记得不要返回局部变量的引用,举个小例子:

#include <iostream>
using namespace std;


int &add(int a, int b)
{
    int sum;
    sum = a + b;
    return sum;
}

int main(void)
{
    int n = add(3, 4);
    // cout<<"just test"<<endl;
    int &n2 = add(5, 6);
    cout << "n2=" << n2 << endl;
    cout << "n=" << n << endl;
    return 0;
}

在上面的例子中我们返回了局部变量的引用,那么输出结果是什么呢?

n2=11

n=7

好像没错是吧,再试试,我们在最后加一条语句再打印一下 n2 cout<<"n2="<<n2<<endl;

n2=11

n=7

n2=1474313670

奇怪了,为什么这次打印变成这么大的数而我们完全没更改n2的值啊? 见到的不一定是真的啊,不要被它欺骗了,这就是返回局部变量的引用的后果。 其实函数返回的是局部变量sum的引用,而 n2 本身又是引用,即引用着原来sum 拥有的那块区域,第一次打印没有出错是因为本来写在sum 区域上的值11 尚未被覆盖,而再运行两条打印语句后再次打印,很可能原来属于sum 的区域变 dirty了,被覆盖了其他不确定的值,每次打印都不会是一个定值。 那 n 呢,对 n 来说即使你最后再打印一下, n 还是等于 7,因为 n 本身是个变量,函数返回时立马保存了sum 所属区域的值, 除非你对 n 更改,不然 n 在main 函数堆栈中是不会变化的,直到函数退出, 变量释放。大家要比较清晰的是,局部变量在函数栈上释放,但本来区域的值第一时间还是原来的值,但经过程序运行,堆栈内存区域重用, 一般就被覆盖了。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏北京马哥教育

烦透了的Python装饰器,终于用这12点理清楚了

本文转自互联网,作者Dzone,感谢作者的辛苦付出和贡献。 Python的装饰器的英文名叫Decorator,当你看到这个英文名的时候,你可能会把其跟Desig...

3515
来自专栏编程

Python面向对象3:静态/动态字段、静态/动态方法、单例模式

Python中的类成员,包括方法、字段、属性。 “字段”和“方法”都有“动态”和“静态”之分,即: 字段 - 静态字段:仅保存在类中 - 普通(动态)字段:保存...

1758
来自专栏程序员互动联盟

【编程基础】聊聊C语言-常用运算符

上一篇我们讲了C语言中的基本运算符,他们就像基石一样奠定了我们进行基本算术运算的基础。我们马上将上一篇留得题的答案公布如下: 5/4=1 5.0/4=1.250...

3027
来自专栏程序员互动联盟

【编程基础】Java 如何完成数据类型转换

在写程序的时候经常遇到数据的运算,在数据运算中又经常遇到不同类型的数据之间进行转换,那么数据类型之间的转换规则是什么样的呢? Java数据类型转换分为两种: ...

2564
来自专栏JarvanMo的IT专栏

Dart In Action -Dart快速入门(三)

本文基本上是将dart官网部分内容进行翻译,没兴趣的请出门左转至Dart的官网,有兴趣的同志请继续阅读本文。 Flutter教程在这里

381
来自专栏GreenLeaves

JavaScript之引用类型介绍

       引用类型的值(对象)是应用类型的一个实例。在ECMAScript中,引用类型是一种数据结构,用于将数据和功能组织在一起,用于将数据和功能组织在一起...

1889
来自专栏IT派

这段代码很Pythonic | 相见恨晚的 itertools 库

最近事情不是很多,想写一些技术文章分享给大家,同时也对自己一段时间来碎片化接受的知识进行一下梳理,所谓写清楚才能说清楚,说清楚才能想清楚,就是这个道理了。

713
来自专栏Python

数据类型总结(二)(列表,元组,字典)

一.变量的赋值操作 x=1 a=10 b=10 # #链式赋值 a=b=c=d=e=f=10 print(a,b,c,d,e,f) #多元赋值 #方式一 x...

2658
来自专栏Vamei实验室

Python深入01 特殊方法与多范式

Python一切皆对象,但同时,Python还是一个多范式语言(multi-paradigm),你不仅可以使用面向对象的方式来编写程序,还可以用面向过程的方式来...

1835
来自专栏北京马哥教育

看完这篇,你就知道Python生成器是什么

生成器是 Python 初级开发者最难理解的概念之一,虽被认为是 Python 编程中的高级技能,但在各种项目中可以随处见到生成器的身影,你得不得去理解它、使用...

35212

扫码关注云+社区