最直接的方式是int arr[][n],n必须为编译期常量;也可用int*加手动下标计算、std::vector&或模板推导列数,核心约束是编译器需知列宽以正确计算内存偏移。

函数参数写 int arr[][N] 是最直接的方式
当数组列数固定时,必须在参数中显式写出列数(N),否则编译器无法计算行内偏移。比如 void func(int arr[][5], int rows) 可以安全接收 int a[3][5]。这里 arr 在函数内仍表现为二维数组,支持 arr[i][j] 访问。
常见错误是只写 int arr[][] 或 int** arr —— 前者语法非法,后者会丢失维度信息且无法用方括号索引原始内存布局。
- 列数
N必须是编译期常量(如constexpr int N = 5;),不能是普通变量 - 行数可以是运行时变量(
rows),不参与地址计算 - 传入时直接写函数名,不用取地址:
func(a, 3);,不是func(&a, 3)
用指针传参时必须手动算地址:int* arr + 行列尺寸
如果想用一维指针接收(比如为了泛型或避免模板),就得把二维数组当成连续内存块处理。此时函数签名通常是 void func(int* arr, int rows, int cols),访问 arr[i][j] 要写成 arr[i * cols + j]。
这种写法兼容性高,能接任意 int[N][M](只要按行优先布局),但失去了语法糖,容易手误写错下标公式。
- 传入时用
&a[0][0]或a[0](两者等价),不能用a(类型是int (*)[N],与int*不匹配) -
cols必须准确,否则越界访问悄无声息 - 性能上无额外开销,但可读性下降,调试时看不出“二维”语义
用 std::vector<:vector>></:vector> 更安全但要注意拷贝成本
如果允许使用标准库,std::vector<:vector>></:vector> 是最贴近直觉的传参方式:函数声明为 void func(const std::vector<:vector>>& arr)</:vector>,调用时直接传变量名即可。
它天然支持动态行列、边界检查(用 .at())、内存自动管理,但底层不是连续内存,且传值可能触发深拷贝(除非加 const&)。
- 务必加
const&避免不必要的拷贝,尤其是大数据量时 - 内部每个
vector独立分配,arr[i][j]的随机访问性能略低于原生数组 - 不能直接从
int a[3][5]隐式转换,需先构造或改用std::vector<:array>></:array>
模板推导列数:template<size_t n> void func(int (&arr)[][N])</size_t>
这是兼顾类型安全和灵活性的方式:编译器自动推导列数 N,函数内仍可当二维数组用。声明为 template<size_t n> void func(int (&arr)[3][N], int rows)</size_t> 或更通用的 template<size_t m size_t n> void func(int (&arr)[M][N])</size_t>。
优势是无需硬编码 N,还能在编译期做 static_assert 检查维度;缺点是每次调用不同尺寸都会实例化新函数,增加二进制体积。
- 引用传参避免拷贝,
&arr中的&不能省,否则退化为指针 - 行数
M可选,若不关心具体行数,可用auto或运行时参数替代 - 不能接收
new int[3][5]这类堆分配数组,只认栈/全局的定长数组
二维数组传参的核心约束始终是:编译器必须知道列宽才能把 [i][j] 正确转成内存偏移。所有方案本质都是在满足这个前提下,权衡类型安全、灵活性和性能。最容易被忽略的是——哪怕用了 std::vector,如果底层数据来自 C 风格二维数组,别忘了它不是连续二维块,data() 只返回首行首元素地址。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











