[数据结构与算法]const与指针的关系

1.const在类型名之前,不能通过指针修改指针指向的值，

如下面示例，我们不能通过p1的解引用来修改a的值。

int a =10;
 
const int *p1 = &a;  // ok 

*p1 = 100; //error

2.cosnt在指针名之前，不能修改指针指向的地址

如下面示例，p2指向a的地址之后，将不能改变它的指向

int a = 10;
int b = 20;
int * const p2 = &a ;  // ok
p2 = &b ; //error

3.const 在类型名和指针名之前 ，既不能修改指针指向的值，也不能修改指针指向的地址

如下面示例，p3指向a之后，它将什么都不能改变

int a = 10;
int b = 20;

const int * const p3 = &a;  //ok

p3 = &b; //error
*p3 = 100; //error

注：能力不能扩展，只能收缩

下面举例来说明上述含义，定义如下变量

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

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

例1：

//若如下改写，是否有错
	int a = 10;
	int b = 20;

   const  int *p = &a;  

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

p1与p3定义出错，由于指针p不能修改它所指向ap的值，而定义的p1和p3却有着改变a的值的能力，能力被扩展了，因此出错。 p2与p的能力相同，p4的能力被进一步收缩，因此正确。

例2：

//若如下改写，是否有错
?? ?int a = 10;
?? ?int b = 20;

? ? ?int * const p = &a; ?

?? ?int* p1 = p;
?? ?const int* p2 = p;
?? ?int* const p3 = p;
?? ?const int * const p4 = p;

以上定义都正确。对于指针p，它只能指向a的地址，对于p1,p2,p3,p4他们可以去指向a的地址，也可以去指向b的地址，但是不管它们指向谁的地址，都不能改变p的指向，所以能力没有被扩展，因此都正确。