const、指针、引用的关系

const 与指针

我们写一段代码来探究以下

int a = 10, b = 20;
int* p1 = &a;
*p1 = 100;
p1 = &b;

const int* p2 = &a;
int const* p3 = &a;

int* const p4 = &a;
const int* const p5 = &a;

在上面 const int* p2;与int const* p3= &a;是等价的
const在星号的左边，我们的const修饰的是指向能力，也就是说我们可以改变p2的自身值，但是不能修改 *p2 的值；

int x = *p2;
*p2 = 100; // err 是错误的
p2 = &b； //是正确的

const在星号的右边，我们p4自身值不能改变，但是可以改变 *p4 的值

int x = *p4;
*p4 = 100; // 是正确的
p4 = &b; //err 是错误的

而p5既不能改变自身值也不可以改变 *p5 的值

我们现在看下面的代码，来探讨哪一句正确哪一句错误

int a = 10,b = 20;
const int *p = &a;    *p 不能改

int *s0 = p;    			使得 *p 可改 
const int *s1 = p;  		*p不可改
int * const s2 = p;   		*p可改 s2 不可改
const int * const s3 = p;	*p不可改 s3 不可改

我们对const int* p = &a;分析，可以看出const修饰使得 *p 不可以修改；继而分析下面的代码是否会对 *p 产生修改

首先我们可以看出我们的 s0 s1 s2 s3 都等于 p 继而 *s1 *s2 *s3 *p 都是a，我们之前提到过能力可以收缩，而不可以扩展；

1. s0等价于p，而我们对*s0可以进行修改，继而是错误的；
2. const修饰 *s1，所以我们无法修改 *s1，可以修改s1，继而是正确的；
3. cosnt修饰s2，我们可以修改*s2，而不能修改s2，所以是错误的；
4. 我们既不可以修改s4也不可以修改 *s4 ，所以是正确的

我们再来看这样一段代码，这次我们将对p进行const修饰

int a = 10,b = 20;
int * const p = &a;     p不能改

int *s0 = p;			  	s0可改 *s0 == *p 可改
const int *s1 = p;		  	*s1 不可改 s1可改 
int * const s2 = p;		  	s2不可改 *s2可改
const int * const s3 = p; 	s3不可改 *s3不可改

我们对int* const p = &a;分析，这次我们的const修饰p，使得p的值不能修改，而 *p 可以修改，接着分析下面的代码

首先于上面一样， s0 s1 s2 s3 都等于 p 继而 s1 s2 s3 p 都是a

1. s0 与 p相等，我们可以修改*p 可以修改s0，但是对p并没有进行修改，所以是正确的
2. const修饰 *s1，我们不能修改 *s1，可以修改s1，与p无关所以是正确的
3. const修饰 s2 ，我们不能修改 s2，可以修改*s2，与p无关所以是正确的
4. 这里我们同样既不可以修改 s3，也不可以修改 *s3，同样与p无关，所以是正确的

如果我们通过强制转换使得通过常量地址改变该值

int main()
{
	const int a = 10;
	int b = 0;
	int *p = (int*)&a;
	
	*p = 100;
	b = a;
	cout<<"a="<<a<<"b="<<b<<"*p="<<*p<<endl;
}

对于c++，我们产生的结果为a=10,b=10,*p=100，对于b=a，依旧给b赋值的是10

造成这样的原因实际上是因为C++编译会将常量a进行数值替换，继而b=a变成了b=10，C++对于常变量当作常量

当使用c语言编译这段代码

int main()
{
	const int a = 10;
	int b = 0;
	int *p = (int*)&a;
	
	*p = 100;
	b = a;
	printf("a=%d b=%d *p=%d\n",a,b,*p);
	return 0;
}

得到的值为a=100,b=100,*p=100

const 与引用

我们写一段代码来看看const 与引用的关系

int a = 10,b = 20;
int *p = &a;
int *s = p;

int *&pref = p;  //给p起了一个别命pref
int &*pref = p;  //错误！！！ 

int &*pref = p;是错误的，该代码是一个指针指向的是一个引用，是不允许编译通过的，因为在语法规则上引用不具有地址，即使引用可以进行取地址，但是是不容许这样做的，也就是我们可以定义一个引用去引用指针，而不能定义一个指针去指向引用

const 与指针、引用

我们在写一段代码详细探讨

int a = 10;
int *s = &a;

int *&p1 = s;
const int *&p2 = p;
int * const &p3 = p;
int * & const p4 = p;