成功解决“Run-Time Check Failure #2 - Stack around the variable ‘arr‘ was corrupted.“问题

问题描述

我们在使用C语言编写程序，特别是使用数组进行相关操作时经常会遇到编译器报错“Run-Time Check Failure #2 - Stack around the variable 'arr' was corrupted.”，如图：

可以看到编译器抛出了异常及其提示信息:

Run-Time Check Failure #2 - Stack around the variable 'arr' was corrupted.

翻译一下就是:

运行时检查失败#2-变量“arr”周围的堆栈已损坏。

造成这个错误的原因是:

内存越界

那么遇到这种情况我们该如何解决呢？

原因分析

首先以下面一段简短的代码为例向大家解释问题到底出在哪里：

#include<stdio.h>
 
int main()
{
  int arr[5] = { 0 };
  int i = 0;
  for (i = 0; i <= 5; i++)
  {
    arr[i] = i;
    printf("%d ", arr[i]);
  }
 
  return 0;
}

如图，这是一段使用for循环的方式给数组元素赋值的程序代码。看似没有什么问题，但如果你原封不动的将该段代码放在编译器运行时却会导致编译器报错，如图：

然而问题就出在第7行代码:

for (i = 0; i <= 5; i++)

注意,在程序中,arr数组只开辟了5个整型数据元素的空间,即arr数组的可访问元素下标范围在0-4之间,但在代码的第七行,for循环的最后一次循环明显越界访问了下标为5的元素(即第6个元素).

因此会导致编译器报错"Run-Time Check Failure #2 - Stack around the variable 'arr2' was corrupted."

解决方法

在搞清楚了编译器为何会报错之后，我们的解决方法也非常简单，即，将原代码改为：

for (i = 0; i <= 4; i++)

这样就确保了在访问数组元素时不会造成越界访问，就可以防止编译器报错。

如果您遇到的报错场景比这段函数复杂许多,不要担心,下面会提供给你一些解决思路:

造成这个错误的原因是:

内存越界

解决方向

通常是数组下标访问越界,或是指针访问数组时造成访问越界

注意检查的点:(以二维数组为例)

假设数组初始化时:  arr[m][n]

则数组使用下标访问元素时,可访问的范围是:

从arr[0][0]开始,到arr[m-1][n-1]结束

若使用指针访问数组元素,则可访问的范围是:

从*arr开始,到*(* (arr + m-1) + n-1)为止

需要注意的是, 很多朋友在使用memcpy()函数或memset()函数时也会导致程序报这个错误,以memcpy为例,主要原因是memcpy()函数拷贝的字节数大于目的地的空间大小了,这样同样会造成内存越界访问,如:

因此需要检查一下传入函数的字节数是否超出了目的地数组的大小.

结语

希望上面提供的线索可以帮助到大家在代码中查找出现了什么问题.学海漫浩浩,我亦苦作舟!欢迎大佬评论或私信我,一起学习,一起进步.Bug Free!