C++-必知必会_数组形参(条款6)

/**/ /**********************************************************************
 *C++必知必会   条款6
 *数组形参
 *
 *      C++中其实根本不存在“数组形参”,传入时,实质上只是传入指向其首元素的地址.(例1)
 *这种从数组到指针的自动转换被赋予了一个迷人的术语"退化".同样,一个函数型参数也会
 *退化成指针,但和数组会丢失边界不同,退化的函数具有良好的感知力,可保持其"参数类型"
 *和"返回类型".
 *         如何希望函数只接收固定数量元素的数组?(例2)
 *      由于被传入时数组的边界被忽略,所以最好再多传递一个参数用来表示数组大小.
 *         如果实参使用指针,那例2的技巧就无效了.(见例3)
 *      多维数组是数组的数组,因此形参是一个指向数组的指针.(见例4)
***********************************************************************/
// 例1
     void  average( int  arr[])  // void average(int* arr)
     ... {...}
     int  Array[]  =   ... {1,2,3,4} ;
    average(Array);

// 例2
     void  average( int  ( & arr)[ 4 ])  // 只接收4个元素的数组,多一个或少一个都不行.
     ... {...}
     int  Array[]  =   ... {1,2,3,4} ;  // 4个
    average(Array);  // right
     // int Array[] = {1,2,3};  // 3个
     // average(Array);  // wrong

// 例3
     void  average( int  ( & arr)[ 4 ])
     ... {...}
     int   * Array  =   new   int [ 4 ];  // 对比例2 #22行
    average(Array);  // wrong

// 例4
     // void average(int (*arr)[4])
     void  average( int  arr[][ 4 ])  // 推荐这样写,更清晰
     ... {...}
     int  array[ 2 ][ 4 ]  =   ... {...{1,2,3,4},...{5,6,7,8}} ;
    average(array);