C++的引用与常量

引用的本质

之前一直搞不清楚引用是什么，引用其本质就是 （int* const）,如下一个简单的引用方式：

int a = 10；

int& b = a；

其实在编译时，编译器会将“ int& b = a ” 变为 “ int* const b = &a ”；

由于int* const 所修饰的变量必须要赋初值，且由于const 修饰的 b ，所以表示b指针是无法修改的，即b指针无法指向另一个指针，所以这也验证了引用必须赋初值的原因。

附：关于如何引用数组

//方法1 -- 比较好理解，把数组定义为一种类型，直接用（int& b = a）的方式进行
typedef int arr_ref[10];
int arr[10];
arr_ref& ref = arr;
//方法2 -- 比较方便
int arr[10];
int (&ref)[10] = arr;

 

常量的一些问题

一、关于 int* const a 和 const int* a 的区别，虽然很基础的问题，但是对于初学者来说实在头疼。

       int* const a ，是const 修饰 a，所以a指针不可变，也可以把简单的把它看成引用，即和引用一样。指针不能改变，而所指的内容却是可以变的。如下：

int a = 10；
int& b = a；
b = 11；
int d = 20;
int* const c = &d； //这里其实和int &c = d ；一样，只是表达方式若有不同
*c = 12；
cout << " b = " <<  b << " , c = " <<  *c << endl;

得到的结果为。

       同样的const int * a 则是 const 修饰的是int* a，即 a 所指的内容不可变，但是 a 的指针却是可以变的，如下：

int a = 10;
int* const c = &a ;//c不能改变，即指针不能变；
*c = 11;
const int* d = &a;//d值不能变 指针可变 (直接与int* const c 做对比)
int b = 12;
d = &b;
cout << *c << endl;
cout << *d << endl;

得到的结果为。

二、const修饰的数据也是可以改变的

        如下 const 的数据仍是可以改变的：

int b = 10; //此时 b 已经在堆栈中占有一块区域，而不是常量池
const int a = b;
int* p = (int*) &a; //通过指针就可直接更改内容
(*p)++;

       同理，用这种方式修饰的类或结构体，仍是可以修改内容。

struct pa{
     int a;
}

const pa p;  //在堆栈中创建了一块区域，而不是常量池
//p.a = 50; //由于const 修饰 a 是不可直接修改
pa* p = (pa*)&p; //指针间接修改
p->a = 100;

以上只是大概的示例，仅供参考。