C语言数组专题：从一维到二维，吃透内存与指针

数组是 C 语言最核心的基础知识点二维数组更是衔接一维数组、指针与函数的关键枢纽。本文由浅入深梳理一维到二维数组完整知识点并总结高频易错点帮你彻底学懂学透。1. 一维数组基础1.1 什么是一维数组一维数组是C语言中最基础的线性数据结构它是相同类型数据的连续内存集合。//语法类型 数组名[数组长度]; int arr[5]; // 定义了一个能存放5个int数据的数组1.2 一维数组的初始化完全初始化int arr[5] {1,2,3,4,5};部分初始化int arr[5] {1,2}; // 未初始化元素自动为0省略长度初始化int arr[] {1,2,3,4,5}; // 长度由初始化列表决定1.3 一维数组的访问与遍历数组元素通过下标索引访问下标从0开始int arr[5] {1,2,3,4,5}; // 访问元素 printf(%d\n, arr[0]); // 输出1 // 遍历数组 for(int i0; i5; i){ printf(%d , arr[i]); }1.4 一维数组的内存存储一维数组在内存中是连续存储的数组名arr是数组首元素的地址printf(%p\n, arr); // 数组首地址 printf(%p\n, arr[0]);// 和arr的值完全相同 // 元素地址连续 printf(%p\n, arr[0]); printf(%p\n, arr[1]); // 地址相差一个int的大小(4字节)2. 二维数组二维数组可以理解为“数组的数组”即一个数组的每个元素又是一个一维数组。2.1 定义与初始化2.1.1 定义语法// 类型 数组名[行数][列数]; int arr[3][4]; // 3行4列的二维数组可存放12个int数据行数表示有多少个一维数组列数每个一维数组的长度2.1.2 初始化方式完全初始化分行初始化int arr[3][4] { {1,2,3,4}, {5,6,7,8}, {9,10,11,12} };2. 连续初始化按行填充int arr[3][4] {1,2,3,4,5,6,7,8,9,10,11,12};3. 部分初始化// 只初始化前两行第三行自动补0int arr[3][4] {{1,2}, {3,4,5}};4.省略行数初始化// 行数由初始化列表的元素个数和列数决定int arr[][4] {1,2,3,4,5,6,7,8}; // 自动识别为2行4列2.2 下标访问与遍历2.2.1 下标访问二维数组元素通过数组名[行标][列标]访问行标和列标都从0开始int arr[3][4] {{1,2,3,4},{5,6,7,8},{9,10,11,12}}; printf(%d\n, arr[0][0]); // 输出第一行第一列的元素1 printf(%d\n, arr[2][3]); // 输出第三行第四列的元素122.2.2 遍历二维数组最常用的方式是双层循环int arr[3][4] {{1,2,3,4},{5,6,7,8},{9,10,11,12}}; // 外层循环控制行内层循环控制列 for(int i0; i3; i){ for(int j0; j4; j){ printf(%d , arr[i][j]); } printf(\n); // 每一行结束换行 }2.3 内存存储行优先二维数组在内存中并不是“二维”的而是按行优先的顺序连续存储的。2.3.1 行优先存储规则存储顺序是先存第0行的所有元素再存第1行再存第2行……比如上面的arr[3][4]在内存中的存储顺序是arr[0][0] → arr[0][1] → arr[0][2] → arr[0][3] → arr[1][0] → ... → arr[2][3]2.3.2 地址验证int arr[3][4] {{1,2,3,4},{5,6,7,8},{9,10,11,12}}; printf(arr[0]地址%p\n, arr[0]); printf(arr[1]地址%p\n, arr[1]); // 比arr[0]大16(4个int) printf(arr[2]地址%p\n, arr[2]); // 比arr[1]大16 printf(arr[0][0]地址%p\n, arr[0][0]); printf(arr[0][1]地址%p\n, arr[0][1]); // 比arr[0][0]大43. 指针与二维数组核心二维数组和指针的关系是C语言的重点和难点核心在于理解行指针和数组名的含义。3.1 二维数组名的含义arr二维数组名是指向第一行的指针类型为int (*)[4]指向包含4个int元素的一维数组的指针arr[0]二维数组第0行的数组名是第0行首元素的地址类型为int*arr整个二维数组的地址类型为int (*)[3][4]3.2 下标与指针的等价关系二维数组的下标访问本质上是指针运算// 以下写法完全等价arr[i][j]*(arr[i] j)*(*(arr i) j)理解arr i指向第i行的地址行指针运算每次移动一整行的大小*(arr i)等价于arr[i]得到第i行的首元素地址*(arr i) j第i行第j个元素的地址普通指针运算每次移动一个int的大小*(*(arr i) j)解引用得到第i行第j个元素的值3.3 行指针的定义与使用行指针是专门用来指向二维数组某一行的指针int arr[3][4] {{1,2,3,4},{5,6,7,8},{9,10,11,12}}; // 定义一个指向包含4个int元素的一维数组的指针行指针 int (*p)[4] arr; // 通过行指针访问元素 printf(%d\n, *(*(p 1) 2)); // 等价于arr[1][2]输出74. 二维数组作函数参数在函数中处理二维数组时有三种常见的写法本质上都是传递行指针。4.1 三种传参方式方式1完整写法明确行列数void printArr(int arr[3][4], int row, int col){ for(int i0; irow; i){ for(int j0; jcol; j){ printf(%d , arr[i][j]); } printf(\n); } } // 调用 int main(){ int arr[3][4] {{1,2,3,4},{5,6,7,8},{9,10,11,12}}; printArr(arr, 3, 4); return 0; }方式2省略行数必须指定列数函数参数中二维数组的行数可以省略但列数必须指定void printArr(int arr[][4], int row, int col){ // 函数体和上面一样 }方式3行指针写法最本质void printArr(int (*arr)[4], int row, int col){ // 函数体和上面一样 }4.2 注意事项为什么列数必须指定因为编译器需要知道每行的大小才能正确计算行指针的偏移量函数内部不能用sizeof(arr)/sizeof(arr[0])计算行数因为arr此时是一个指针不是数组5. 二维字符数组字符串数组二维字符数组本质上是字符串的数组常用于存储多个字符串。5.1 定义与初始化// 定义一个能存放3个字符串每个字符串最大长度为10的数组 char names[3][10] { zhangsan, lisi, wangwu };等价于char names[3][10] { {z,h,a,n,g,s,a,n,\0}, {l,i,s,i,\0}, {w,a,n,g,w,u,\0} };5.2 访问与遍历字符串数组// 访问单个字符串 printf(%s\n, names[0]); // 输出zhangsan // 遍历所有字符串 for(int i0; i3; i){ printf(%s\n, names[i]); }5.3 二维字符数组 vs 字符指针数组类型定义内存特点适用场景二维字符数组char arr[3][10]所有字符串连续存储每个字符串长度固定字符串长度固定可修改字符串内容字符指针数组char *arr[3]存储的是字符串的地址字符串本身存储在常量区字符串长度不固定只读字符串6. 动态二维数组拓展前面的二维数组都是静态数组大小在编译时确定。如果需要在运行时确定大小可以使用动态二维数组。6.1 方式1用一维数组模拟二维数组int rows 3, cols 4; // 申请连续的内存 int *arr (int*)malloc(rows * cols * sizeof(int)); // 访问元素 arr[i][j] → arr[i*cols j] for(int i0; irows; i){ for(int j0; jcols; j){ arr[i*cols j] i*cols j; } } // 使用完释放 free(arr);6.2 方式2指针数组实现动态二维数组int rows 3, cols 4; // 1. 先申请行指针数组 int **arr (int**)malloc(rows * sizeof(int*)); // 2. 为每一行申请内存 for(int i0; irows; i){ arr[i] (int*)malloc(cols * sizeof(int)); } // 访问元素和静态二维数组一样 arr[i][j] ... // 使用完释放顺序和申请相反 for(int i0; irows; i){ free(arr[i]); } free(arr);6.3 方式3用行指针实现连续存储的动态二维数组int rows 3, cols 4; // 申请一整块连续内存 int (*arr)[cols] (int(*)[cols])malloc(rows * cols * sizeof(int)); // 访问元素 arr[i][j] ...和静态二维数组完全一样 // 释放 free(arr);7. 数组高频易错点总结7.1 一维数组常见易错点易错1下标越界C语言不做数组下标越界检查编译不报错运行随机崩溃、乱码、篡改其他变量。int arr[3] {1,2,3}; arr[5] 99; // 严重越界编译器不报警运行隐患极大避坑循环边界严格写成 i 数组长度不要写成 i 长度。易错2数组名不能整体赋值数组名是地址常量不能直接赋值、不能自增。int a[5], b[5]; a b; // 错误 a; // 错误避坑只能循环逐个元素赋值或用 memcpy 内存拷贝。易错3函数内用sizeof求数组长度数组传参退化为指针sizeof得不到真实数组大小。void fun(int arr[]) { // 永远是指针大小 4/8字节得不到元素个数 int n sizeof(arr) / sizeof(arr[0]); }避坑手动把长度当参数传入函数。易错4部分初始化默认补0只针对全局/局部数组int arr[5] {1}; // 等价 {1,0,0,0,0}未显式初始化元素自动置07.2 二维数组核心易错点易错1初始化时省略列数行数可以省列数绝对不能省int arr[][] {1,2,3,4}; // 直接编译报错 int arr[][2] {1,2,3,4}; // 正确自动2行2列原因编译器需要列数计算每行内存偏移没有列数无法寻址。易错2分不清arr、arr[0]、arrint arr[3][4];arr行指针int (*)[4]1 跳过一整行arr[0]首行首元素地址int *1 跳过一个intarr整个二维数组地址int (*)[3][4]三者数值相同类型和步长完全不同是面试高频坑。易错3把二维数组传给函数随意省略列void print(int arr[][]) // 错误void print(int arr[][4]) void print(int (*arr)[4]) // 正确易错4混淆行指针与二级指针int **p不能直接接收二维数组名int arr[3][4]; int **p arr; // 类型不匹配编译警告运行崩溃正确接收只能用int (*p)[4] arr;易错5双层循环遍历颠倒行列外行循环控制列、内层控制行逻辑全乱打印排版错乱。固定规则外层i行内层j列。7.3 二维字符数组 易错坑易错1二维字符数组与字符指针数组混用char strs[3][10] {abc,123,xyz}; char *p[3] {abc,123,xyz};strs[3][10]内存可修改每个字符串有固定空间char *p[3]指向字符串常量区不能修改内容p[0][0] A; // 运行崩溃常量区不可写易错2字符串不手动补\0逐字符赋值时不主动加 \0printf 打印乱码、越界乱走。char s[10];s[0] a;s[1] b; // 少了 s[2] \0; 直接printf乱码、7.4 动态二维数组 易错坑易错1malloc后不判空内存申请失败返回NULL直接使用程序崩溃。int **arr (int**)malloc(n * sizeof(int*)); if(arr NULL) { perror(malloc fail); return -1; }易错2内存释放顺序颠倒、漏释放申请先申请行指针数组 → 再逐行申请释放必须先逐行free → 再free行指针数组顺序错、少free都会内存泄漏。易错3用一维模拟二维时下标算错公式i行j列 i * 列数 j容易写成 i * 行数 j全部错位。7.5 面试常考总结一句话一维数组名是首元素地址二维数组名是行地址二维数组传参列数必固定只能用行指针接收数组传参变指针函数内不能用sizeof求长度int** 不等于 二维数组指针绝对不能互相赋值字符指针数组指向常量字符串不可修改内容。总结二维数组本质是“数组的数组”内存按行优先连续存储数组名是行指针arr[i][j]等价于*(*(arri)j)二维数组作函数参数时列数必须指定本质传递的是行指针二维字符数组适合存储多个字符串注意和字符指针数组的区别动态二维数组有多种实现方式根据场景选择合适的方式