数组作为参数传入函数时在函数体内不能正确获取到数组长度

问题描述

最近在关于数组的编程中发现这样一个问题：我想写一个函数模板以实现一个数组的排序，其中数组的大小是不确定的。我最开始的写法是：

// A code block
void sort(T arr[])
{
	int len;
	len = sizeof(arr) / sizeof(arr[0]);
	...}

运行后发现只有数组的第一个元素输出。cout len后发现其值为4，是一个数据的长度。

问题原因

查阅了一些博客和网站后，发现其主要原因是

• sizeof 是在编译的时候求值的，所以不能能够动态的确定一个变量的值。
• 数组作为参数传入函数是以指针的形式（首地址），所以系统是不知道该数组是在哪里截止的，因此不会得到数组的长度，sizeof(arr) / sizeof(arr[0])的输出必然是1

解决方案

博客上说可以使用动态分配内存，使用malloc或者new进行动态管理，可以实现传入数组在函数体内得到其长度。但是由于我还不是特别懂动态分配的内容，所以我采用了第二种方法：将数组的长度作为第二个参数传入函数，即：

//用函数模板实现对n个数据进行从小到大排序，数据类型可以是整型、单精度型、双精度型。

#include <iostream>
#include <string>
using namespace std;

//函数模板实现排序
template <typename T>
void sort(T arr[], int num)
{
	int i, j, min;
	T t;
	//排序
	for (i = 0; i < num; i++)
	{
		min = i;
		for (j = i + 1; j < num; j++)
		{
			if (arr[min]>arr[j])
				min = j;
		}
		t = arr[i];
		arr[i] = arr[min];
		arr[min] = t;
	}
	cout << "从小到大排序:" << endl;
	for (i = 0; i < num; i++)
		cout << arr[i] << " ";
	cout << endl;
}




//主函数
int main()
{
	int a[5] = { 3, 2, 5, 8, 7 };
	float b[6] = { 1.2, 3.2, 0.2, 4.6, 2.7, 0.9 };
	sort(a, 5);
	sort(b, 6);
}

程序运行结果为：

第三种写法（只需要传入数组）

template <typename T, size_t num>
void sort(T(&arr)[num])
{
	int i, j, min;
	T t;
	//排序
	for (i = 0; i < num; i++)
	{
		min = i;
		for (j = i + 1; j < num; j++)
		{
			if (arr[min]>arr[j])
				min = j;
		}
		t = arr[i];
		arr[i] = arr[min];
		arr[min] = t;
	}
	cout << "从小到大排序:" << endl;
	for (i = 0; i < num; i++)
		cout << arr[i] << " ";
	cout << endl;
}

参考文献

https://segmentfault.com/q/1010000004035830/a-1020000004035904