前言

这是个比较基础的知识点，许多公司面试时也喜欢问这个问题，如果谁再问这个问题，就把这篇文章甩给他们看。

本文讨论的是c++，不是C语言，虽然C++号称完全兼容C，其实在一些细节上，他们稍有不同。本文讨论的数组是语言的原生数组，不是std::vector。

数组作为函数参数传统姿势

void f1(int arr[]) {}   // 推荐  
void f2(int arr[8]) {}  
void f3(int(arr)[]) {}  
void f4(int(arr)[9]) {}  
void f5(int* arr) {}

以上的定义是完全等价的, 特别是void f2(int arr[8]) {}这种写法，非常具有迷惑性，也是初学者容易犯错的地方。它会让人觉得，参数是个长度为8的int数组，然后在函数内部，完全把参数arr当做数组来访问。比如：

void printArray(int arr[8]) {  
    int length = sizeof(arr)/sizeof(arr[0]);  
    for (int i = 0 ; i < length; ++i){  
        std::cout << arr[i] << std::endl;  
    }  
}

而实际上，sizeof(arr)的值是sizeof(int*)，这样写出来的代码肯定有问题。

这种定义方法，在函数内部无法得到数组的真实长度，一般推荐的方法是增加一个参数表示长度，比如：

void printArray(int arr[], int length) {  
    for (int i = 0 ; i < length; ++i){  
        std::cout << arr[i] << std::endl;  
    }  
}

记住f1, f2, f3, f4的定义完全等价于f5，使用上基本就不会犯错了。

准确地说，这种定义方法并不是把数组作为参数，只是定义了个指针类型的参数，写的形式像数组罢了。把数组传给如此定义的函数，数组就退化成一个指针，同时丢失了长度信息。

数组作为函数参数正确姿势

数组指针作为函数参数

void printArray(int(*arr)[8]) {  
    for (auto i : *arr){  
        std::cout << i << std::endl;  
    }  
}  
// 二维数组  
void printArray(int(*arr)[2][3]) {  
    for(auto& i : *arr) { // must be reference here  
        for(auto j : i) {  
            std::cout << j << std::endl;  
        }  
    }  
}  
int main(int argc, const char *argv[])  
{  
    int a[8] = {1,2,3,4,5,6,7,8};  
    int b[2][3] = {{11,22,33}, {44,55,66}};  
    printArray(&a);  
    printArray(&b);  
    return 0;  
}

数组引用作为函数参数

void printArray(int(&arr)[8]) {  
    for (auto i : arr){  
        std::cout << i << std::endl;  
    }  
}  
// 二维数组  
void printArray(int(&arr)[2][3]) {  
    for(auto& i : arr) { // must be reference here  
        for(auto j : i) {  
            std::cout << j << std::endl;  
        }  
    }  
}  
int main(int argc, const char *argv[])  
{  
    int a[8] = {1,2,3,4,5,6,7,8};  
    int b[2][3] = {{11,22,33}, {44,55,66}};  
    printArray(a);  
    printArray(b);  
    return 0;  
}

搭配模板使用

// 编译期获得数组长度  
// see <<Effective Modern C++>>  
template<typename T, std::size_t N>  
constexpr std::size_t arraySize(T(&)[N]) noexcept {  
    return N;  
}  
// 打印任意长度一维数组，type T is printable  
template<typename T, std::size_t N>  
void printArray(T(&arr)[N]) noexcept {  
    for (auto& i : arr){  
        std::cout << i << std::endl;  
    }  
}

用数组指针或数组引用作为函数参数，有如下优点：

  1. 参数仍然保留着数组的信息，包括长度，所以我们可以使用基于范围的for循环。
  2. 防止参数误传。如果参数是长度为8的数组指针或引用，传递长度为10的数组作为参数，编译是无法通过的。
  3. 方便。