C99 變長數組 (VLA) 完整指南：原型聲明、作用域限制、底層實現與實戰案例

什麼是 VLA

Variable-Length Array (C99)：數組維度可由運行時變量指定，而非編譯期常量。注意：創建後大小不可變，「變」指定義時的靈活性，非動態調整大小。

聲明語法與限制

void func(int n) {
    int a[n];           // 一維 VLA
    int b[n][m];        // 二維 VLA (m 也為變量)
    // int c[n] = {0};  // 錯誤：VLA 不允許初始化列表
}

三大限制

1. 僅允許在塊作用域（函數內/參數列表）聲明，不可用於文件作用域（全局/靜態）。
2. 不可初始化，需運行時賦值。
3. 大小受限於棧空間，過大導致棧溢出；大數據請用 malloc。

函數原型聲明技巧

參數列表中先聲明維度變量，再聲明數組：

// 完整原型
void show(int rows, int cols, double arr[rows][cols]);

// 原型可省略變量名，用 * 佔位
void show(int, int, double [*][*]);  // C99 標準寫法
void show(int rows, int cols, double arr[][cols]);  // 等價，前一維可省略

實戰案例：通用矩陣拷貝與顯示

#include 

void copy_mat(int rows, int cols, double src[rows][cols], double dst[rows][cols]) {
    for (int i = 0; i < rows; ++i)
        for (int j = 0; j < cols; ++j)
            dst[i][j] = src[i][j];
}

void show_mat(int rows, int cols, double mat[rows][cols]) {
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            printf("%.1f%c", mat[i][j], j==cols-1?'\n':',');
        }
    }
    puts("--------------------------");
}

int main(void) {
    double a[3][5] = {{2.3,1.2,5.2,6.1,1.1},{4.2,3.2,6.2,1.7,7.4},{8.5,6.2,4.7,2.8,2.1}};
    double b[5][12] = {{4.3,4.3,4.3,3.0,2.0,1.2,0.2,0.2,0.4,2.4,3.5,6.6}, ...};

    double ta[3][5], tb[5][12];
    copy_mat(3, 5, a, ta);  show_mat(3, 5, ta);
    copy_mat(5, 12, b, tb); show_mat(5, 12, tb);
    return 0;
}

底層實現原理

• 編譯器在棧幀中預留 rows * cols * sizeof(T) 字節，通過運行時計算偏移訪問元素。
• 函數調用時，維度值隨參數傳遞，被調用者根據實際值計算行步長 cols * sizeof(T)。
• 本質上是編譯器生成的運行時偏移計算代碼，非魔法；性能與定長數組相近，但無法優化常量傳播。

VLA vs 動態分配對比

C11 後的地位

C11 將 VLA 標記為條件性特性（__STDC_NO_VLA__ 可為 1），編譯器可選擇不支持。現代嵌入式/安全關鍵代碼建議避免 VLA，改用 malloc + 靜態分析工具檢查。

總結建議

• 教學/原型驗證/中小矩陣運算 → VLA 代碼簡潔優雅。
• 生產庫/嵌入式/大數據/長生命周期 → malloc 更安全可控。
• 函數原型務必先寫維度參數，否則編譯報錯。