C语言中传递任意大小二维矩阵的函数参数风格优选探讨

两种实现方案对比 #

方案一：指针+手动计算索引 #

函数声明如下：

void my_func(double *matrix, size_t rows, size_t cols);

这种方式通过指向矩阵首元素的指针，手动计算元素索引（比如matrix[i * cols + j]）来访问矩阵元素。

关于你提到的“不允许访问外部元素”的说法，本质是指越界访问内存的未定义行为——不管用哪种方案，越界访问都是C标准禁止的，并非这种指针方式本身不合法。实际上，只要矩阵是连续存储的（比如静态数组、动态分配的连续内存块），这种方式完全符合C标准，也是工业界代码中非常常见的实现方式。

方案二：VLA（变长数组） #

函数声明如下：

void my_func(size_t rows, size_t cols, double matrix[rows][cols]);

VLA是C99引入的特性，允许函数参数中使用变量作为数组维度。这种方式的最大优势是索引直观，可以直接用matrix[i][j]访问元素，无需手动计算偏移量。

但它的局限性也很明显：

• 维度参数必须放在数组参数之前，不符合你习惯的“维度在后”的直觉；
• C11标准将VLA列为可选特性，部分老编译器或严格遵循标准的环境可能不支持，可移植性较差；
• 一维向量用这种语法（比如double vec[n]）并不标准，实际参数会退化为指针，写法反而不如直接用指针清晰。

哪种风格更受青睐？ #

目前指针+手动计算索引的方案是工业界通用库的主流选择，原因主要有三点：

1. 极致的可移植性：兼容从C89到最新C标准的所有版本，不受VLA可选特性的限制，能在几乎所有编译环境下运行；
2. API风格统一：维度参数放在后面的设计，和绝大多数成熟库的API风格一致，符合开发者的使用习惯；
3. 场景通用性：不仅适用于二维矩阵，一维、多维数组都可以用相同的模式处理，无需为不同维度的数组设计差异化的函数声明。

当然，VLA方案也有它的适用场景：如果是项目内部的私有代码，且编译环境明确支持VLA，那么它的可读性优势可以减少手动计算索引的出错概率。但如果是要编写通用库、追求最大兼容性的代码，指针方案无疑是更稳妥的选择。

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