C语言传递二维数组时如何规避Clang的变长数组(VLA)错误？

问题背景 #

这是上一个问题的后续。以下打印矩阵的代码在GNU GCC编译器下运行无错误或警告：

#include <stdio.h>
#include <stdlib.h>

void printMatrix(int rows, int columns, int matrix[rows][columns]);

void printMatrix(int rows, int columns, int matrix[rows][columns])
{
  for (int i = 0; i < rows; i = i + 1)
    {
      for (int j = 0; j < columns; j = j + 1)
        {
          printf("%d ", matrix[i][j]);
          if (j == columns - 1)
            printf("\n");
        }
    }
  printf("\n");
}

int main()
{
    int matrix[3][4] = {
        {1, 2, 3, 4},
        {5, 6, 7, 8},
        {9, 10, 11, 12},
    };

    int rows = 3;
    int columns = 4;
    printMatrix(rows, columns, matrix);
}

但在使用LLVM Clang编译器的电脑上编译时，出现如下错误：

||=== Build: Debug in Test (compiler: LLVM Clang Compiler) =|
...|5|error: variable length array used [-Werror,-Wvla]|
...|5|error: variable length array used [-Werror,-Wvla]|
...|7|error: variable length array used [-Werror,-Wvla]|
...|7|error: variable length array used [-Werror,-Wvla]| ||= Build failed: 4 error(s), 0 warning(s) (0 minute(s), 0 second(s)) ===

已知错误原因是matrix[rows][columns]使用了变长数组(VLA)，需要修复该错误，同时保持printMatrix能处理任意大小矩阵的能力。

修复方案 #

方案1：转为一维指针，手动计算索引（最通用） #

C语言中二维数组在内存中是连续存储的，可将其视为一维数组，通过i * columns + j计算元素偏移位置。这种写法完全兼容所有C标准，不依赖VLA特性：

#include <stdio.h>
#include <stdlib.h>

void printMatrix(int rows, int columns, const int *matrix);

void printMatrix(int rows, int columns, const int *matrix)
{
    for (int i = 0; i < rows; ++i)
    {
        for (int j = 0; j < columns; ++j)
        {
            printf("%d ", matrix[i * columns + j]);
        }
        printf("\n");
    }
    printf("\n");
}

int main()
{
    int matrix[3][4] = {
        {1, 2, 3, 4},
        {5, 6, 7, 8},
        {9, 10, 11, 12},
    };

    // 两种传递方式都可行
    printMatrix(3, 4, &matrix[0][0]);
    // printMatrix(3, 4, (int*)matrix);
}

方案2：使用指向数组的指针（依赖编译器扩展） #

如果想保留二维数组的语法访问，可以用指向数组的指针，但本质仍依赖VLA特性，需要关闭Clang的VLA警告：

#include <stdio.h>
#include <stdlib.h>

void printMatrix(int rows, int columns, int (*matrix)[columns]);

void printMatrix(int rows, int columns, int (*matrix)[columns])
{
    for (int i = 0; i < rows; ++i)
    {
        for (int j = 0; j < columns; ++j)
        {
            printf("%d ", matrix[i][j]);
        }
        printf("\n");
    }
    printf("\n");
}

int main()
{
    int matrix[3][4] = {
        {1, 2, 3, 4},
        {5, 6, 7, 8},
        {9, 10, 11, 12},
    };

    int columns = 4;
    printMatrix(3, columns, matrix);
}

编译时需添加-Wno-vla选项关闭警告，但这种写法可移植性不如方案1，因为VLA在C11及以后是可选特性。

方案3：直接关闭VLA警告（不推荐） #

若只是临时解决编译问题，可在Clang编译选项中添加-Wno-vla，但会降低代码的可移植性，不建议长期使用。

内容的提问来源于stack exchange，提问作者3nondatur