引用的本质
之前一直搞不清楚引用是什么,引用其本质就是 (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;
以上只是大概的示例,仅供参考。