C語言函數返回二維數組的正確姿勢：結構體封裝、指針傳遞、動態分配三種方案

核心結論

C 語言函數不能直接返回數組類型 (數組退化為指針，且局部數組生命週期隨函數結束而終止)。必須通過以下三種標準方案之一實現：

方案一：結構體封裝 (推薦：類型安全、值語義、棧上分配)

#define ROWS 3
#define COLS 4

typedef struct {
    int data[ROWS][COLS];
} Matrix;

Matrix create_matrix(void) {
    Matrix m = {0};  // 零初始化
    for (int i = 0; i < ROWS; ++i)
        for (int j = 0; j < COLS; ++j)
            m.data[i][j] = i * COLS + j;  // 示例填充
    return m;  // 結構體按值返回 (C99 保證支持，現代編譯器優化為 NRV/RVO)
}

int main(void) {
    Matrix mat = create_matrix();
    printf("%d\n", mat.data[1][2]);  // 訪問元素
    return 0;
}

優點：語義清晰、類型安全、無內存管理負擔、可直接賦值/傳參/返回。
限制：編譯期確定維度、大對象返回可能有拷貝開銷 (現代編譯器優化消除)。

方案二：調用者分配內存，函數填充 (推薦：大數組、運行期確定維度、零拷貝)

void fill_matrix(int rows, int cols, int (*mat)[cols]) {  // VLA 參數 (C99) 或 int **mat
    for (int i = 0; i < rows; ++i)
        for (int j = 0; j < cols; ++j)
            mat[i][j] = i * cols + j;
}

// 靜態分配版
int main(void) {
    int mat[3][4];
    fill_matrix(3, 4, mat);
    printf("%d\n", mat[1][2]);
    return 0;
}

// 動態分配版 (堆上，維度運行期決定)
int **alloc_matrix(int rows, int cols) {
    int **mat = malloc(rows * sizeof(int*));
    mat[0] = malloc(rows * cols * sizeof(int));  // 連續內存
    for (int i = 1; i < rows; ++i) mat[i] = mat[0] + i * cols;
    return mat;
}

void free_matrix(int **mat) { free(mat[0]); free(mat); }

優點：無拷貝、支持動態維度、調用者控制生命週期。
注意：VLA (Variable Length Array) 參數需 C99 支持，MSVC 不支持；動態分配需成對 free。

方案三：函數內部動態分配並返回指針 (需明確所有權文檔)

// 返回連續內存二維數組指針 (int (*)[cols])
int (*create_matrix_dyn(int rows, int cols))[cols] {  // C99 返回 VLA 指針
    int (*mat)[cols] = malloc(rows * sizeof(*mat));
    for (int i = 0; i < rows; ++i)
        for (int j = 0; j < cols; ++j)
            mat[i][j] = i * cols + j;
    return mat;
}

// 或者返回 int** (非連續，靈活但訪問慢)
int **create_matrix_ptr(int rows, int cols) {
    int **mat = malloc(rows * sizeof(int*));
    for (int i = 0; i < rows; ++i) mat[i] = malloc(cols * sizeof(int));
    // 填充...
    return mat;
}

風險：調用者**必須**記住 free，易洩漏。現代 C 推薦方案二 (調用者分配) 或方案一 (結構體)。

方案對比總結

現代 C 最佳實踐建議

1. 優先結構體封裝：typedef struct { int rows, cols; double *data; } Matrix; — 支持動態維度、連續內存、RAII 風格管理 (配合 Matrix_init/Matrix_free)
2. 泛型接口用 void* + 尺寸參數：void mat_mul(const void *a, const void *b, void *c, size_t rows, size_t cols, size_t elem_size);
3. 嚴格所有權註解：_Nonnull/_Nullable、__attribute__((cleanup(free))) (GCC/Clang) 自動釋放
4. 測試驅動：每個矩陣操作編寫單元測試 (Unity/CMock)，CI 搭配 Sanitizers

總結

C 函數**不能直接返回數組**。
首選：結構體封裝 (類型安全、值語義、零管理)。
次選：調用者分配內存傳入填充 (零拷貝、動態維度、調用者掌控生命週期)。
慎用：函數內分配返回指針 (所有權模糊、易洩漏)。
掌握這三種模式，靈活應對矩陣運算、圖鄰接矩陣、圖像處理等二維數據場景。

1. 上一篇文章： C語言後置遞增與邏輯判斷詳解：if (n++ % 3) 執行流程分析
2. 下一篇文章： C語言基礎知識點精選測試題詳解：程序結構、指針、條件語句、數組與字符串

C 語言問答

埃拉托斯特尼篩法求素數：C語言實現中循環變量作用域錯誤修復與算法優化

原代碼致命錯誤 for (i = 0; i <= 999;

C語言調試利器：反匯編視角理解程序運行機制

現象描述 用戶貼出代碼截圖（不可見），詢問「解釋一下為什麼？

C語言溫度轉換與輸出格式常見錯誤修正：浮點數精度與printf佔位符

原始問題代碼片段 celsius = 5/9 * (fah

C 語言 scanf 格式匹配陷阱：為什麼輸入字符會導致死循環？

現場還原：經典死循環代碼 for (; i != 234;