代码编织梦想

因为这个概念的中文翻译和绕口令一样所以直接用英文代替

  • const reference:引用本身是const的,比如const int &r1 = 1r1就是一个const reference,换句话说r1的值不能被更改(但是我们可以更改r1指向的值,当r1指向的值被更改,那么r1的值也被更改)

引用
引用和指针抛开底层不谈(引用底层也是指针实现的),引用和指针变量的最大区别就是引用绑定了被引用值,当引用发生变化,被引用的值也发生变化,这个在指针变量中是不可能的如下代码

std::string s = "hello world"; 
std::string& s1 = s; //引用s1和变量s绑定
s1 = "123456"; //更改s1
std::cout << s << std::endl;//输出123456,表明通过引用s1改变了被引用值s

想象一下我们传入一个引用到函数中,假如函数对引用做了一些我们未知的操作,那么被引用的值也会发生变化,此时程序就变得不可控,所以为了杜绝这个情况发生,引入了关键字const

const reference

故名思意就是我们引用是const的,换句话说引用的值不能被更改(当然我们可以更改被引用的值达到更改引用值的目的)如下代码

std::string s = "hello world"; 
const std::string& s1 = s;
s1 = "123456"; //error!!! 引用s1是const的我们不能更改引用s1的值

假如将引用s1传入函数中,函数中任何对引用s1赋值更改的操作都是错误的,所以在函数内不可能更改s1,进一步不能更改s1引向的对象的值,我们只能通过在函数外部更改s1引向的对象的值达到更改const reference s1值的目的,当然这个操作在函数外部执行,说明我们已经知晓我们要干什么如果出现错误导致引用s1的函数出现不可知行为说明是我们设计的bug

std::string s = "hello world"; 
const std::string& s1 = s; //将const reference s1指向一个非const的对象
s = "123456"; //更改const reference s1指向的对象s的值
std::cout << s1 << std::endl; //输出123456发现值已经通过s进行更改

综上所述const reference只是约束引用本身,不能通过引用去更改被引用的值

当然const reference也可以指向一个const变量或者右值

const std::string& s1 = "hello world"; //指向右值
const std::string s = "111"; //常量
const std::string& s1 = s; //指向常量



扩展

我们上面讲了引用,这里扩展一下指针,在C语言中有一下几个概念

  • 常量指针:从概念来说这是一个指针,指向一个常量比如const int* i
  • 指针常量:这是指针本身是一个常量比如int * const i

常量指针代码如下

int a = 1;
int b = 2;
const int* i = &a;
*i = 2; // error
i = &b;

我们看错误代码得知不能通过i去改变i指向的内容,有点绕口,因为i指向a这个内存地址,常量指针就是不能通过指针去改a的值,假如i不是常量指针那么就可以通过i去更改a的地址

指针常量代码如下

int a = 1;
int b = 2;

int*  const i = &a; //指针常量
i = &b;//error!!!因为i是常量

因为指针i本身是常量所以我们不能更改i的值

总结

指针变量和引用的区别,因为指针变量本身是一个变量,所以改变其值不会改变其指向内存区域的值,而引用可以看成"绑定"当一个引用指向一个内存区域(“绑定”)后,改变这个引用的值会顺带改变引用指向的对象的值,因此const和引用的组合要比const和指针的组合约束要大,导致const和引用的组合就只有const reference

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_37026934/article/details/130915239