数组作为参数

数组有两个特性：一是不能被复制，而是数组名自动转换成指向第一个元素的指针。

作为形参，无论是什么形式，传入的其实都是一个指针。

所以：

void printValues(int *)

void printValues(int[])

void printValues(int[10])

这些形式都是ok的，反正等价嘛~（事实上，可能后面的形式更为直观呢）

但我们会怀疑，数组的长度在这里有意义吗？

实验一下会发现，编译器根本不会检查数组长度。所以你可以传入任意一个类型匹配的指针，当然，后果自负。

那么如果通过引用传入实参呢？

我们知道，如果是非引用的实参，在函数体内，我们会获得一个指针的副本。重点不是这个，重点在于，通过指针传入实参，无法进行类型匹配。天知道指针指向的内存空间到底是不是一个数组呢，数组的大小更是一个未知数。

但是如果通过引用传入实参呢？数组大小会成为形参和实参类型的一部分，编译器会检查数组实参的大小和形参的大小是否匹配！

void printValues（int （&arr） [10]){.....}

在调用printValue时候，要求传入的实参必须是int[10],所以在printValues中可以把10作为数组大小，并且是绝对安全的。