c++中二维数组形参第二维长度必须为编译期常量，因编译器需据此计算内存偏移；void func(int arr[][4], int rows)正确，void func(int arr[][])错误报错。
函数参数必须明确第二维长度
C++ 无法仅凭 int arr[][] 推导二维数组大小，编译器需要知道每行占多少字节，否则连 arr[1][0] 该偏移多少都算不出来。所以形参里第二维（列数）必须是编译期常量。
常见错误写法：void func(int arr[][]) { ... } —— 直接报错：「array has incomplete element type 'int []'」。
正确写法示例：
void func(int arr[][4], int rows) {
// 第二维 4 是必需的；rows 可选，用于安全遍历
for (int i = 0; i
- 调用时传入的实参必须是真正二维数组（如
int a[3][4]），不能是int**或动态分配的指针数组 - 第一维长度（行数）可省略，但第二维不可省；
int arr[5][4]和int arr[][4]在形参中等价 - 若列数不固定，就不能用原生二维数组传参，得换方案
用指针加长度模拟更灵活的二维访问
当列数不固定、或数组来自 new int*[rows] 动态分配时，不能用上面的语法。此时应把二维结构“拆开”：传首地址 + 行列尺寸，靠手动计算下标。
例如传 int* data 指向连续内存的二维数据（按行优先存储）：
void func(int* data, int rows, int cols) {
// 访问第 i 行第 j 列：data[i * cols + j]
for (int i = 0; i
- 调用前确保
data是new int[rows * cols]连续分配，不是new int*[rows]后逐行new - 这种模式兼容 C 风格接口，也便于和
std::vector<int></int>底层数据对接（vec.data()） - 注意越界风险：
i * cols + j必须 rows * cols，没有编译器检查
现代 C++ 推荐用 std::vector<:vector>></:vector> 或 std::span
原生数组传参易出错且不灵活。std::vector<:vector>></:vector> 支持运行时变长，但内部非连续，不适合数值计算；若需连续+安全+现代，std::span（C++20）是更好选择。
void func(std::span<int> data, int rows, int cols) {
// data.data() 是连续 int*，长度为 rows * cols
for (int i = 0; i // 调用：
std::vector<int> buf(12);
func(buf, 3, 4); // 自动转成 std::span<int></int></int></int>
-
std::span不拥有内存，只提供安全视图，零开销 - 它能从
std::vector、原生数组（arr）、std::array等隐式构造，比裸指针更健壮 - 如果项目还没上 C++20，可用
gsl::span（Guideline Support Library）替代
别把 int** 当二维数组传
这是最典型的误解：以为 int** p 就等价于二维数组。其实它是指向指针的指针，内存布局完全不同——每行首地址单独存储，行间不连续。
错误示例：func(p) 传 int** 给期望 int[][N] 的函数，编译失败或运行时崩溃（因地址解释错乱）。
-
int arr[3][4]→ 内存连续 12 个 int -
int** p→ 先有一块存 3 个int*的内存，每个int*再指向一块独立的 int 数组 - 二者不能混用；若必须用
int**，函数签名就得是void func(int** p, int rows, int cols)，且访问方式为p[i][j]
二维数组传参的核心约束藏在类型系统里：编译器要能静态算出地址偏移。一旦列数不确定，就只能放弃语法糖，改用显式尺寸+线性索引，或者交给标准库抽象掉细节。实际项目中，除非对接 C API 或性能极端敏感，否则直接用 std::span 或封装好的矩阵类更省心。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
