学习笔记——一个指针有趣的问题

当代纠结伦

已于 2022-02-04 02:00:50 修改

阅读量608

点赞数

文章标签： c语言 c++ 指针

于 2022-02-04 01:01:07 首次发布

本文链接：https://blog.csdn.net/blyourself/article/details/122780493

版权

本文探讨了一种可能导致无限循环的C语言编程情况，即数组越界修改栈上变量的值。通过分析内存布局，解释了当数组访问超出边界时，可能会覆盖到`i`变量，导致循环条件不变，从而形成无限循环。实验结果显示，变量`i`的地址低于数组元素，修改顺序并未改变这一现象，进一步证实了理论分析。此外，指出内存布局受到多种因素影响，不总是可预测。

摘要由CSDN通过智能技术生成

#include<stdio.h>
int main (void){
    int i=0;
    int arr[10]={1,2,3,4,5,6,7,8,9,10};
    for(i=0;i<=12;i++){
        printf("cycle?\n");
        arr[i]=0;
    }
    
    return 0;
}

假如本次运算，cycle被无限打印，原因可能是什么？

某一种原因：在我们定义变量i时，有一个存放i值的空间。定义数组时，数组开辟的空间恰好在i之前，造成数组越界访问时，恰好访问了i所在的空间，继而将i的值修改为0，从而无限循环。

原理：栈区用来存放局部变量，先定义i，使用高地址的空间，后数组放在低于i的空间，当数组向高地址越界访问就有可能访问i的值。

ps：不一定运行成功

我分别取出&i和&arr[9]进行对比，发现&i居然小于&arr[9],这和所学不符，

为了测试，我将二者的定义顺序交换

#include<stdio.h>
int main(void) {

    int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
    int i = 0;
  
    for (i = 0; i <= 15; i++) {
        printf("cycle?\n");
        arr[i] = 0;
    }

    return 0;
}

对其进行调试：

&i=0x00000041BA0FF644

&arr[9]=0x00000041BA0FF62C

相差了18，也就是十进制的24，一个int类型占4个字节，6个int类型，将其改为i<=15后实现无限循环。

百度了一下存放地址的顺序和很多因素都有关