什么是访问越界（C语言数组、指针、结构体成员访问越界）

IT小庄同学

已于 2024-05-23 09:16:40 修改

阅读量2.7k

点赞数 6

CC 4.0 BY-SA版权

分类专栏： C语言文章标签： c语言开发语言

于 2024-05-23 09:15:52 首次发布

本文链接：https://blog.csdn.net/Z_CH8648/article/details/139134904

C语言专栏收录该内容

2 篇文章

订阅专栏

在C语言中，访问越界（Access Violation 或 Out-of-Bounds Access）是指程序试图访问的内存位置超出了其合法或已分配的范围。这通常发生在数组、指针或其他内存结构的使用中。

案例：

#include <stdio.h>

//数组
//Visiting beyond boundaries访问越界
int main(void) {
//    int a[10]={1,2,3,4,5};
//    printf("Hello, World!\n");
    int a[5]={1,2,3,4,5};
    int i=10;
    int j=20;
//    访问越界
    a[5]=6;
//    访问越界会造成数据异常
    a[6]=7;
    printf("i=%d\n",i);
    printf("a[2]=%d\n",a[2]);
    return 0;
}

以下是一些常见的访问越界情况：

1、数组越界
当程序尝试访问数组的索引时，如果该索引超出了数组的实际大小（即从0到size - 1，其中size是数组中元素的数量），就会发生数组越界。数组越界可能导致程序读取或写入不属于该数组的内存区域，这可能会导致数据损坏、程序崩溃或不可预期的行为。当你尝试访问数组的某个元素，但该元素的索引超出了数组的实际大小（即索引超出了0到size-1的范围，其中size是数组的大小）。

int array[5] = {1, 2, 3, 4, 5};  
printf("%d\n", array[10]); // 访问越界，因为数组只有5个元素

2、指针错误
如果指针没有被正确初始化，或者它指向了一个已经被释放或从未分配的内存区域，那么解引用该指针（即访问它所指向的内存位置）就会导致访问越界。此外，即使指针指向了有效的内存块，但如果程序尝试访问该内存块范围之外的位置，也会发生访问越界。指针可能指向了非法的内存地址，或者指针算术运算导致它指向了不应该访问的内存区域。

3、结构体成员访问越界
虽然这不是严格意义上的“访问越界”，但如果你尝试通过结构体指针访问一个不存在的成员，或者访问一个已经释放的结构体的成员，这也可能导致问题。

4、动态内存分配
当使用malloc、calloc或realloc分配内存后，如果尝试访问超出已分配大小的内存区域，也会导致访问越界。

int *dynamicArray = malloc(5 * sizeof(int));  
if (dynamicArray == NULL) {  
    // 处理错误  
}  
dynamicArray[10] = 123; // 访问越界，因为只分配了5个int的空间

访问越界可能导致多种问题，包括但不限于：

数据损坏：你可能无意中修改了不应该修改的内存区域中的数据。
程序崩溃：操作系统可能会检测到内存访问违规并终止程序。
安全漏洞：攻击者可能会利用访问越界来执行任意代码或读取敏感信息。

为了避免访问越界，你应该始终确保：

数组索引在合法范围内。
指针指向有效的内存地址。
动态分配的内存大小足够大，以容纳你想要存储的数据。
在使用结构体之前，确保它已经被正确初始化且未被释放。

在C语言中，没有内置的机制来防止访问越界，因此程序员必须非常小心地使用内存。使用静态分析工具、内存调试器和其他工具可以帮助检测潜在的访问越界问题。

数组另一个值得关注的地方是，编译器并不检查程序对数组下标的引用是否在数组的合法范围内。这种不加检查的行为有好处也有坏处，好处是不需要浪费时间对有些已知正确的数组下标进行检查，坏处是这样做将无法检测出无效的下标引用。一个良好的经验法则是：如果下标值是通过那些已知正确的值计算得来的，那么就无须检查；如果下标值是由用户输入的数据产生的，那么在使用它们之前就必须进行检查，以确保它们位于有效范围内。