C++中数组作为函数参数如何不用同时传入大小

C++中数组作为函数参数如何不用同时传入大小

在C/C++中如果将数组作为参数传入函数通常需要同时传入数组的大小, 在使用时总是带着一个尾巴, 总是显得有些赘余.

• 这是由于C/C++的原生数组实质上只是一个指针而已, 不像Java中的数组还带有一个存储大小的字段.

那么, C++中就真的没法优雅的只传入数组吗?答案是否定的, 虽然C++的原生数组不算是对象, 没有将大小也封装到数组中, 但是, C++的模板为我们提供了一个新的思路.

我们下面实现一个打印数组中所有元素的函数.

• 先来看通常的做法

// 为了方便我们只考虑int数组
// print-style : [a0, a2, ,,, an]
void printArray(int arr[], size_t n) {
	std::cout << "[ ";
	for (int i = 0; i < n; ++i) {
		std::cout << arr[i] << ", ";
	}
	std::cout << "]";
} 

每次都要带一个尾巴, 对于一些强迫症患者(比如我), call起来很不爽.

那么我们如何利用模板来去掉这个尾巴呢?
在实现之前, 我们先要简单回想一下模板, 我们通常使用类型作为模板参数, 也就是typename
所以不妨先加一个typename T, 将int数组扩展所有数组

// print-style : [a0, a2, ,,, an]
template <typename T>
void printArray(T arr[], size_t n) {
	std::cout << "[ ";
	for (int i = 0; i < n; ++i) {
		std::cout << arr[i] << ", ";
	}
	std::cout << "]";
} 

但是, 其实模板参数也可是其他类型, 比如整型. 对! 整型
比如我们可以用模板实现一个两个整型求和的函数

template <int a, int b>
int sum() {
	return a + b;
}
// in main-function
int ret = sum<2, 3>(); // the ret is 5

好的, 所以, 我们可以利用一个size_t的模板参数来存储数组的大小, 并且利用编译器对模板的自动推导功能, 由传入的数组推出数组的大小

• 实现

// print-style : [a0, a2, ,,, an]
template <typename T, size_t n>
void printArray( const T (&arr)[n] ) { // T (&arr)[n]表示的是大小为n的T类型数组的引用, 
								       // 该引用的名字为arr
	std::cout << "[ ";
	for (int i = 0; i < n; ++i) {
		std::cout << arr[i] << ", ";
	}
	std::cout << "]";
} 

// in main-function
int arr[] = {1, 2, 3, 4, 5, 6};
printArray(arr);  // STDOUT : [ 1, 2, 3, 4, 5, 6, ]