【新手必看】C语言二维数组实战：从栈损坏报错到彻底掌握（附VS2022排坑指南）-编程阁

大家好，我是一名正在啃C语言基础的编程新手。今天写二维数组初始化代码时，VS2022 直接给我弹了个红框报错：

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

明明控制台已经打印出了部分内容，程序却突然崩溃，当时一头雾水。后来才发现，这是二维数组越界写入导致的栈损坏。今天就把这次踩坑的全过程、代码修复和避坑指南整理成一篇保姆级教程，帮你少走弯路！

一、报错还原：控制台输出和崩溃现场

我的需求很简单：写一个函数，把二维数组arr[2][5]的每个元素初始化为i+j，再写一个函数打印数组。
但运行时出现了下面的情况：

控制台输出了部分内容，说明程序执行了写入和打印；
紧接着弹出 VS 报错窗口，提示“栈内存被破坏”，程序直接崩溃。

这就是典型的数组越界写入导致的栈损坏问题，也是新手写二维数组最容易踩的坑。

二、报错深度解析：为什么栈会被破坏？

1. 核心问题：越界写入非法内存

我定义的数组是int arr[2][5]，也就是2行×5列的二维数组：

行索引i的合法范围：0≤i<20 \leq i < 20≤i<2
列索引j的合法范围：0≤j<50 \leq j < 50≤j<5

但我在调用set_arr时，传入的行列数超过了数组的实际大小，比如传入了rows=3、cols=6，导致循环执行了i=2i=2i=2、j=5j=5j=5这样的非法索引，写入了数组之外的栈内存。

VS2022 的运行时安全检查（RTC）会在函数返回时检测栈内存是否被篡改，一旦发现越界写入，就会弹出这个报错窗口。

2. 为什么控制台还能输出内容？

很多新手会疑惑：明明程序崩溃了，为什么控制台还能打印部分结果？
这是因为数组越界写入是**“先执行、后报错”**的：

程序先执行循环，越界写入了栈内存；
然后执行printf打印部分内容；
当set_arr函数返回时，VS 才检测到栈被破坏，弹出报错窗口。

三、修复版完整代码

下面是修复了越界问题的完整代码，包含二维数组初始化、打印和边界控制，VS2022 可直接编译运行：

#define_CRT_SECURE_NO_WARNINGS#include<stdio.h>// 二维数组设置函数：为每个元素赋值 i+j// 二维数组传参必须指定列数（这里固定为5），行数可省略voidset_arr(intarr2[][5],introws,intcols){inti=0;// 行循环：严格控制不超过数组实际行数for(i=0;i<rows;i++){intj=0;// 列循环：严格控制不超过数组实际列数for(j=0;j<cols;j++){arr2[i][j]=i+j;}}}// 二维数组打印函数voidprint_arr(intarr2[][5],introws,intcols){inti=0;for(i=0;i<rows;i++){intj=0;for(j=0;j<cols;j++){printf("%d ",arr2[i][j]);}printf("\n");}printf("\n");}intmain(){// 定义一个2行5列的二维数组，初始化为0intarr[2][5]={0};// 动态计算数组的实际行列数（推荐方式，避免硬编码出错）introws=sizeof(arr)/sizeof(arr[0]);// 行数：总大小 / 一行的大小intcols=sizeof(arr[0])/sizeof(arr[0][0]);// 列数：一行的大小 / 单个元素的大小// 调用函数，传入正确的行列数set_arr(arr,rows,cols);print_arr(arr,rows,cols);return0;}

运行结果

0 1 2 3 4 1 2 3 4 5

没有报错，程序正常运行，完美实现了需求！

四、关键知识点拆解（新手必看）

1. 二维数组的正确传参方式

很多新手会疑惑：为什么二维数组作为函数参数时，必须指定列数？

正确写法：void set_arr(int arr2[][5], int rows, int cols);
错误写法：void set_arr(int arr2[][], int rows, int cols);（列数不能省略）

原因是：二维数组在内存中是按行连续存储的，编译器需要知道每行有多少个元素，才能正确计算arr2[i][j]arr2[i][j]arr2[i][j]的内存地址。

2. 动态计算行列数，避免硬编码

直接写死2和5容易出错，推荐用sizeof动态计算：

// 行数：总大小 / 一行的大小introws=sizeof(arr)/sizeof(arr[0]);// 列数：一行的大小 / 单个元素的大小intcols=sizeof(arr[0])/sizeof(arr[0][0]);

这样即使你修改了数组的大小，也不用手动修改函数调用的参数，避免越界问题。

3. 边界控制：循环条件的“坑”

很多新手会把循环条件写成i≤rowsi \leq rowsi≤rows或j≤colsj \leq colsj≤cols，这是错误的！

数组索引从000开始，到rows−1rows-1rows−1结束，所以循环条件必须是i<rowsi < rowsi<rows、j<colsj < colsj<cols。
一旦写成i≤rowsi \leq rowsi≤rows，就会访问到arr[rows][...]arr[rows][...]arr[rows][...]，直接越界写入栈内存。