对于将const应用于指针,这个问题是很微妙又复杂的,因为存在两种情况:
- 将const作用于指针指向的值,使指针指向一个常量对象,这样可以防止使用指针来修改其指向的值,但是指针所指的位置可以随意更改,即可以更换指针指向的变量,但是那个const的变量本身是无法修改的
- 将const作用于指针本身,这样可以防止改变指针指向的位置,但是该位置所存储的值是可以改变的,即可以通过指针指向的变量修改该地址存储的值
指针指向常规变量
int myInt=10;
const int * pt = &myInt;
这里的pt
是一个指向 const int(10)的指针,因此无法使用pt
来修改这个值,即 *pt
的值为const,不能被修改,如 *pt+=1
是不行的。
但是在这里,myInt
本身并不是const的常量,而是对于pt
而言,这个值是常量,也就是说无法利用pt
来修改myInt
的值,但是可以直接修改myInt
本身:
*pt = 20; // 不合法的
myInt = 20; // 合法的
但是这种情况下,可以将一个新的地址赋给pt
,这就也很微妙,虽然pt
无法改变其所指向的地址存储的值,但是可以改变其所指向的地址,比如可以将一个新的地址赋给pt
:
int anotherInt = 30;
pt = &anotherInt;
尽管改了新的地址,但是由于pt
本身是一个指向常量的指针,所以依然无法改变新的地址存储的值(这里的30)
常规指针指向变量
int myInt=10;
int* const pt = &myInt;
当const的位置改变,这种情况下,表示pt
指针是一个const的常规指针,它只能指向myInt
而不能改变指向的地址,也就是不能再对其赋一个新的值,但是由于myInt
本身是一个变量,所以可以通过myInt
改变10这个值,也可以通过pt
来改变这个值。
*pt=20; // 合法的
pt=&anotherInt; // 不合法的
指向常规对象的常规指针
int myInt = 10;
const int* const pt = &myInt;
这是前两种情况的组合,此时pt
只能指向myInt
,并且pt
不能用来修改myInt
的值,即 pt
和 *pt
都是const。
常规指针指向常规变量
const int myInt=10;
const int* pt = $myInt;
此时既不能使用myInt
更改10这个值,也不能使用pt
来修改10这个值。
一种不允许的情况
const int myInt = 10;
int* pt = &myInt;
这种情况是不允许的,因为如果这个赋值成立,那么const的状态就很奇怪了,myInt
本身是常量,却可以使用pt
指针来修改,所以这种情况是不合法的
指针、数组与函数的参数传递
我们知道,函数对于传递数组作为参数,根据函数是否有权限改变数组的值,通常有两种声明方式:
void functionModify(int arr[], int size); // 1号函数
void functionNoChange(const int arr[], int size); // 2号函数
此时,如果我们有两个数组:
cosnt int array1 = {1,2,3}; // 1号数组
int array2 = {4,5,6}; // 2号数组
很明显,一个是常量数组,一个是变量数组。两种数组对于两个函数的关系是这样的:
- 禁止将常量数组的地址赋给非常量指针,即:1号数组不能传递给2号函数,只能传递给1号函数
- 可以将非常量数组赋给常量或非常量指针,即:2号数组可以被传递给1和2号函数
因此,在设计函数时,要尽可能地使用const,因为将指针参数声明为指向常量数据的指针可以:
- 避免由于无意间修改数据而导致的编程错误
- 使用const使得函数能够处理const和非const实参,否则将只能接受非const数据
所以,如果条件允许,则应将指针形参声明为指向const的指针
转载请注明出处,本文永久更新链接:https://blogs.littlegenius.xin/2019/08/05/【C-温故知新】二指针/