C/C++：使用二维数组名传参

在 C 中，当二维数组作为实参向形参传递时，参数会自动转化为指针类型，这时如果我们使用二维数组名传参，我们就不得不在函数形参中指明二维数组的第一维的长度，否则会导致编译错误。 这时如果想直接使用二维数组名传参，而二维数组却又是动态的，也就是二维数组的维度是不确定的，那我们得专门为不同维度长度的二维数组创建具有对应维度的形参的函数。这样太麻烦了。 而在 C++ 中，我们可以巧用模板来推导二维数组的类型（可以自动确定二维数组的维度长度），这样我们就可以做到直接使用二维数组名传参。借助了模板的类型推导功能，尽管是对于维度长度不同的二维数组，也可以使用同一个函数进行操作。

详情见代码：

#include <iostream>

using namespace std;

template<typename T>
void print(T array, int row, int column) {
	for (int i = 0; i < row; i++) {
		for (int j = 0; j < column; j++) {
			cout << array[i][j] << ' ';
		}
		cout << endl;
	}
}

int main() {
	int a[2][2] = {{1, 2}, {3, 4}};
	int b[3][3] = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}};
	
	cout << "a = " << endl;
	print(a, 2, 2);
	cout << endl;
	cout << "b = " << endl;
	print(b, 3, 3);
	
	return 0;
}

运行效果：

在这里插入图片描述

可以看到，尽管二维数组的维度是不同的，但我们可以使用同一个函数进行操作，并且直接使用二维数组名进行传参。 使用这种方法仍旧避免不了一个环节，那就是指明二维数组的各个维度的长度。因为当把二维数组名当做形参传进函数后，参数会变为指针，这时借助 sizeof 也仅仅只能求出二维数组的第一维长度，是无法确定第二维长度的，所以我们在使用时必须指明二维数组各个维度的长度。 不过，对于不同的二维数组，能够往同一个函数直接使用数组名传参并进行操作，已经很是方便了。