一、可变长度数组VLA一、什么是可变长度数组误区澄清“可变”指的是“定义时可变”不是“定义后可扩容”很多人听到“可变长度数组”第一反应是“这个数组像气球一样能随时吹大或缩小”。这是错的。在C99标准中可变长度数组VLA的“可变”仅仅是指数组的长度可以由一个变量在运行时决定而不必像传统C89那样必须用一个常量**如#define SIZE 10在编译时决定。C89固定数组长度必须是常量。cint arr[10]; // 正确10是常量 int n 5; int arr2[n]; // 错误C89不允许变量做长度C99可变长度数组长度可以是变量。cint n 5; int arr[n]; // 正确C99允许这就是VLA // 此时arr的长度在运行时被确定为5占用的内存大小就固定了二、可变长度数组的作用和不确定性cint n 5; int arr[n]; // 此时arr长度确定为5占用20个字节int占4字节 n 100; // 哪怕把n改成100arr的长度依然是5不会变 // 如果你试图访问 arr[10]属于数组越界程序会崩溃或出现野值。三、那VLA到底有什么用既然不能扩容要它何用它的价值在于处理函数参数和临时小数组时非常灵活以前你要写一个处理任意大小数组的函数如果数组很大必须用malloc在堆heap上动态分配比较慢还要记得释放。有了VLA你可以直接在栈stack上快速创建一个大小恰到好处的数组c// 这个函数可以处理任意尺寸的二维矩阵尺寸由参数传入 void processMatrix(int rows, int cols, int matrix[rows][cols]) { // 这里可以直接使用matrix长度由调用时传入的rows和cols决定 } int main() { int x 3, y 4; int myArr[x][y]; // 运行时才确定大小3行4列创建在栈上速度极快 processMatrix(x, y, myArr); }总结一句话VLA解决了“编译时不知道大小但运行时才知道”的问题但它依然是“一锤子买卖”——确定了就改不了。四、为什么可变长度数组又是“不可变的”有人会问“既然允许用变量来定义长度了为什么还要规定‘确定后不能改’”我们可以分为三个瞬间看待这个可变过程。确定时机普通数组在编译时就定好了大小VLA在程序运行到这一行代码时根据当时变量的值比如上面的n来确定大小。不可变性一旦这行代码执行完这个数组的长度就彻底锁死了。在它的生命周期内你绝对无法通过修改n的值来改变arr的长度。1. 第一瞬间程序运行到这里读取变量值当CPU中央处理器执行到int arr[n];这一行代码时它做的第一件事就是去内存里把变量n当前的值取出来。假设此时n里面存的是数字10。这个动作发生在程序运行的微秒级别就是你说的“一瞬间”。2. 第二瞬间计算并分配内存栈指针移动CPU拿到数字10后会立刻计算需要多少字节比如10 * 4 40字节。3. 第三瞬间数组长度“被遗忘”这是最关键的一点也是解开你矛盾感的金钥匙。当CPU把栈顶指针移动完毕给数组腾出空间后CPU就彻底把n的值那个10给忘了。总结看似加上变量为可变性实际上只是对于编译期当程序运行起来数组长度就是不可变性。二、数组字面量一、什么是复合字面量什么是复合字面量传统说法数组字面量就是直接用花括号{}括起来的一组数据值用来表示一个数组类型的常量数据。复合字面量Compound Literal是 C99 标准引入的一个语法特性它的核心就是在数组字面量前面加上类型名把它变成一个带类型的临时数据块。对比一下数组字面量不带类型复合字面量带类型写法{1, 2, 3}(int[3]){1, 2, 3}区别没有类型只能用在初始化场景有类型可以独立使用本质上复合字面量就是“带类型的数组字面量”。二、为什么需要这个类型因为 C 语言是强类型语言编译器必须知道一段数据的类型才能正确处理它。当你写{1, 2, 3}时它只是一堆数字编译器不知道它是int数组还是long数组所以它只能出现在初始化赋值给某个已知类型变量的地方。但当你写成(int[3]){1, 2, 3}时编译器一眼就认出这是一个包含 3 个 int 类型元素的数据块。有了类型它就可以独立出现在代码的任何位置了。三、复合字面量的本质是什么它就是一个临时存在的匿名数组。“临时”它不像变量那样有固定的生命周期用完就没了。“匿名”它没有名字所以不能在其他地方通过名字引用它。你可以把它理解成在代码里随手写出的一块数据随用随扔。四、它最基本的用法既然复合字面量是一个有类型的数组数据它最基本的用法就是直接取出它的地址赋给指针然后使用。cint *p (int[3]){10, 20, 30};这一行干了什么事在内存中创建了一个匿名数组存着{10, 20, 30}把数组的起始地址赋给指针变量p之后通过p[0]、p[1]、p[2]就能访问这些数据如果不用复合字面量想达到同样效果必须先定义一个变量cint temp[3] {10, 20, 30}; int *p temp;五、它的存储位置复合字面量在内存中的位置取决于它出现在哪里出现在函数内部分配在栈上函数返回后就销毁。出现在函数外部全局分配在静态存储区整个程序运行期间都存在。这意味着如果你在一个函数里创建了复合字面量并返回它的指针千万不要在函数外面使用这个指针——因为那块内存已经没了。最后总结复合字面量省掉了定义变量这一步代码更简洁。