定义了一个常数组,为啥能用指针改变数组元素的值?

Posted 2023-05-18

void main()

const int a[3]=2,4,1;
int *p;
p=(int *)a;
*p=5;
printf("%d",a[0]);
printf("%d",p[0]);

常数组不可以改变值。
定义数组时，如果有const修饰，表示其为常数组。
对于常数组，会在编译后放置与常数区间中，这部分内容是只读的，不可以做任何修改。
一旦对其进行修改，就会导致程序崩溃。
所以常数组无论使用何种方法，均不能修改其值。
在C语言中，通过指针的强制转换，可以取消其常量标记。
比如
const int a[] = 1,2,3,4;
int* p = (int *)a;
这样的强制转换，可以去除掉a的常量属性，然后通过
*(p+i)=xxx;
这样的语句，改变a的第i个值。
但是即使是这样可以编译通过，运行时修改值后，也会引起程序崩溃，使修改没有意义。 参考技术A 是的，当指针指向数组的地址时，可以通过指针改变数组元素的值。
一个数组a[]，a是数组的起始地址；
一个指针p=a，也就是让指针指向数组的起始地址；
这时*p等同于p[0]，也就是等同于a[0]。
因此你的程序中，*p=5之后，a[0]和p[0]事实上都是同一个变量，都等于5。
另外，用const来说明一个变量不允许改变的时候，事实上const后面的变量还是变量，不是常量，在内存中是有开辟存储空间的，从本质上说是可以被重新赋值的，只不过编译器在编译的时候会检测，不让你在其他地方重新赋值，但当你的变量名更改之后，编译器是无法自动识别的，所以可以改变变量的值。
如果你还要问为什么，那只能告诉你，这是C的规则，记住就行。 参考技术B 这个问题稍微有些复杂。
通过const声明的常量变量，只是保证在写代码时不能通过变量名(本例是a)更改变量的值，但依然可以通过其他方式修改变量所在的内存上的值，比如通过指针。
另外常量变量有两种存放位置：如果定义在函数内部，它存放在函数的栈帧中（本例就是这种情况）；如果定义在全局，它存放在进程内存的常量区。对于前者，通过指针修改不仅能通过编译，也能正常运行，并且真实地修改掉了常量变量所在内存上存储的值。对于后者，由于进程内存的常量区是只读不可写的，如果通过指针修改它的值，所以尽管能通过编译，但是会在运行时发生内存读写异常，操作系统报错。本回答被提问者和网友采纳 参考技术C 因为
p=(int *)a;

这里你对p赋值时，做了强制类型转换。
这样在用p访问时，就认为是“非常数”的指针了。
这就相当于，用a访问的人具有一般权限（只读权限），但是给p开了一个特殊权限（写权限）。
最根本的原因是你做了强制类型转换：

void main()

const int a[3]=2,4,1;
int *p;
p=(int *)a;
*p=5;
((int*)a)[0]=6; // 虽然定义a是常量数组，但是做了强制类型转换之后，仍然可以写入。
printf("%d",a[0]);
printf("%d",p[0]);

C语言12-指向一维数组元素的指针

一、用指针指向一维数组的元素

 1 // 定义一个int类型的数组
 2 int a[2];
 3 
 4 // 定义一个int类型的指针
 5 int *p;
 6 
 7 // 让指针指向数组的第0个元素
 8 p = &a[0];
 9 
10 // 修改所指向元素的值
11 *p = 10;
12 
13 // 打印第一个元素的值
14 printf("a[0] = %d", a[0]);

输出结果：，说明已经通过指针间接修改了数组元素的值，跟指向一个普通int类型变量是一样的。

由于数组名代表着数组的首地址，即a == &a[0]，因此第8行代码等价于：

// 让指针指向数组的第0个元素
p = a;

内存分析图如下，一个指针变量占用2个字节，一个int类型的数组元素占用2个字节

 

二、用指针遍历数组元素

1.最普通的遍历方式是用数组下标来遍历元素

1 // 定义一个int类型的数组
2 int a[4] = {1, 2, 3, 4};
3 
4 int i;
5 for (i = 0; i < 4; i++) {
6     printf("a[%d] = %d \\n", i, a[i]);
7 }

输出结果：

 

2.接下来我们用指针来遍历数组元素

先定义一个指针，指向数组的第一个元素

// 定义一个int类型的数组
int a[4] = {1, 2, 3, 4};

// 定义一个int类型的指针，并指向数组的第0个元素
int *p = a;

p的值是a[0]的地址，因此，现在我们利用指针p只能访问数组的第0个元素a[0]，用*p就可取出a[0]的值1。要想访问其他元素，就必须拿到元素的地址，可以发现每个元素的地址差值为2，因为在16位编译器环境下，一个int类型的变量占用2个字节。现在只是知道a[0]的地址值为p，怎么根据a[0]的地址获取其他元素的地址呢？其实非常简单，p+1就是a[1]的地址。注意了，这里的p+1代表着p的值加2，并不是p的值加1，比如p的值为ffc3，p+1则为ffc5，而非ffc4。依次类推，p+2就是a[2]的地址ffc7，p+3就是a[3]的地址ffc9。

我先解释一下，为什么p+1代表p的值加2，而不是加1呢？

其实，p+1不一定代表p的值加2，也可能是加1、加4或者加8。究竟加多少，这跟指针的类型有关。下图是在16位编译器环境下的情况。

聪明的你可能已经找到规律了，因为char类型的变量要占用1字节，所以p+1代表p的值加1；float类型的变量占用4字节，所以p+1代表p的值加4。从这一点，也可以很好地说明为什么指针一定要分类型，不同类型的指针，p+1的含义是不一样的。

上述代码中的p指向了int类型的数组元素a[0]，所以p+1代表p的值加2。知道怎么获取其他元素的地址了，那么就可以利用指针p遍历数组元素了。

 1 // 定义一个int类型的数组
 2 int a[4] = {1, 2, 3, 4};
 3 
 4 // 定义一个int类型的指针，并指向数组的第0个元素
 5 int *p = a;
 6 
 7 int i;
 8 for (i = 0; i < 4; i++) {
 9     // 利用指针运算符*取出数组元素的值
10     int value = *(p+i);
11     
12     printf("a[%d] = %d \\n", i, value);
13 }

注意第10行的代码，*(p+i)代表根据p+i的值(其实就是第i个数组元素的地址)访问对应的存储空间，并取出存储的内容(也就是取出第i个数组元素的值)，赋值给左边的value。

最后的输出效果是一样的：。注意的是：遍历完毕后，指针变量p还是指向a[0]，因为p值一直没有变过，一直都是a[0]的地址ffc3。

补充一下，其实第10行改成下面的代码也是可以的：

int value = *(a+i);

大家都知道，a值代表数组的首地址，也就是a[0]的地址ffc3。a+1则代表a的值加2，即a[1]的地址ffc5，也就是说，a+i代表着元素a[i]的地址。相信大家也能猜出来了，a+1不一定代表着a值加2，究竟加多少，取决于数组的类型。a+i的计算方法与p+i相同。

 

利用上面的方法遍历完数组元素后，p一直指向元素a[0]。其实我们也可以直接修改p的值来访问数组元素，只需要改一下第10行的代码即可

// 利用指针运算符*取出数组元素的值
int value = *(p++);

p++其实就是相当于p = p + 1，直接修改了p值，而且每次是加2。因此，每执行一次p++，指针p就会指向下一个数组元素。

输出结果肯定是一样的：。但是，遍历完毕后，指针变量p没有指向任何数组元素，因为一共执行了4次p++，最后p值为ffcb。当然，可以重新让p指向a[0]：p = &a[0];或者p = a;

注意，这里的写法是错误的

int value = *(a++);

a++相当于a=a+1，数组名a是个常量！不能进行赋值运算！

 

三、指针与数组的总结

p是指针，a是一个数组

1> 如果p指向了一个数组元素，则p+1表示指向数组该元素的下一个元素。比如，假设p = &a[0]，则p+1表示a[1]的地址

2> 对于不同类型的数组元素，p值的改变是不同的。如果数组元素为int类型，p+1代表着p的值加上2(16位编译器环境下)

3> 如果p的初值是&a[0]，那么

• p+i和a+i都可以表示元素a[i]的地址，它们都指向数组的第i个元素。a代表数组首地址，a+i也是地址，它的计算方法与p+i相同
• *(p+i)和*(a+i)都表示数组元素a[i]
• 虽然p+i和a+i都指向数组的第i个元素,但二者使用时还是有区别的。因为作为指针变量的p可以改变自身值，如p++,使p的值自增。而数组名a是一个代表数组首地址的常量，它的值是不能改变的，即a++是不合法的

4> 引用一个数组元素可以有两种方法:

• 下标法: 如a[i]
• 指针法: 如*(p+i) 或 *(a+i)

 

 

四、数组、指针与函数参数

1.用数组名作为函数实参时，是把实参数组的首地址传递给形参数组，两个数组共同占用同一段内存空间，这样形参数组中的元素值发生变化就会使实参数组的元素值也同时变化

 1 void change(int b[]) {
 2     b[0] = 10;
 3 }
 4 
 5 int main()
 6 {
 7     // 定义一个int类型的数组
 8     int a[4] = {1, 2, 3, 4};
 9 
10     // 将数组名a传入change函数中
11     change(a);
12     
13     // 查看a[0]
14     printf("a[0]=%d", a[0]);
15     
16     return 0;
17 }

change函数的形参是数组类型的，在第11行调用change函数时，将数组名a，也就是数组的地址传给了数组b。因此数组a和b占用着同一块内存空间。

输出结果：

 

2.这种地址的传递也可以用指针来实现。函数的实参和形参都可以分别使用数组或指针。这样就有4种情况:

也就是说，如果一个函数的形参类型是一个数组，调用函数时，你可以传入数组名或者指针变量；

 1 void change(int b[]) {
 2     b[0] = 10;
 3 }
 4 
 5 int main()
 6 {
 7     // 定义一个int类型的数组
 8     int a[4] = {1, 2, 3, 4};
 9     
10     int *p = a;
11 
12     // 将数组名a传入change函数中
13     change(p);
14     
15     // 查看a[0]
16     printf("a[0]=%d", a[0]);
17     
18     return 0;
19 }

注意第1行的形参类型是个数组int b[]，第10行定义了指针变量p，第13行将p当做实参传入函数

 

如果一个函数的形参类型是一个指针变量，调用函数时，你可以传入数组名或者指针变量。

 1 void change(int *b) {
 2     b[0] = 10;
 3     // 或者*b = 10;
 4 }
 5 
 6 int main()
 7 {
 8     // 定义一个int类型的数组
 9     int a[4] = {1, 2, 3, 4};
10 
11     // 将数组名a传入change函数中
12     change(a);
13     
14     // 查看a[0]
15     printf("a[0]=%d", a[0]);
16     
17     return 0;
18 }

注意第1行的形参类型是个指针变量int *b，第12行将数组名a当做实参传入函数。

由第2行可以看出，在很多情况下，指针和数组是可以相互切换使用的。但是，并不能说指针就等于数组。