“数组作为实参”的情况

      数组类型为 const 指针，且附带元素的类型和数组长度信息，仅当数组元素的类型和数组长度均相同时，两个数组类型才相同。比如，有“int a[16], b[15]”，a，b不是同一个类型，因为数组的长度不同。

      当实参为数组类型时,比如有“int a[16];”，以 a 作为实参，如果形参是非引用类型，比如“int pa[N]”，N为值任意的常量表达式，那么编译器将 pa 处理为 int * 类型，而不是数组类型 int [N]。如果形参是引用类型，比如 “int (&pa)[N]”，那么编译器将 pa 处理为 数组类型：int [N]，这时编译器会检查实参与形参类型是否匹配，即这两个数组类型的元素类型数组长度必须相同，否则实参与形参类型不匹配导致编译出错。

      示例如下：

void fcn1_1(int (&a)[16]) {       // a 的类型为 int [16] 的数组类型

      cout << "fcn1_1(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<16; i++) cout << a[i] << " ";

      cout << endl;

}

void fcn1_2(int (&a)[15]) {       // a 的类型为 int [15] 的数组类型

      cout << "fcn1_2(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<15; i++) cout << a[i] << " ";

      cout << endl;

}

void fcn1_3(int (&a)[17]) {       // a 的类型为 int [17] 的数组类型

      cout << "fcn1_3(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<17; i++) cout << a[i] << " ";

      cout << endl;

}

void fcn2_1(int a[16]) {           // a 的类型为 int *类型

      cout << "fcn2_1(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<16; i++) cout << a[i] << " ";

      cout << endl;

}

void fcn2_2(int a[15]) {           // a 的类型为 int *类型

      cout << "fcn2_2(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<15; i++) cout << a[i] << " ";

      cout << endl;

}

void fcn2_3(int a[17]) {           // a 的类型为 int *类型

      cout << "fcn2_3(): sizeof(a)=" << sizeof(a) << endl;

      for (int i=0; i<17; i++) cout << a[i] << " ";

      cout << endl;

}

int main(){

      int a[16];

      for (int i=0; i<16; i++) a[i]=i+1;

      cout << "main(): sizeof(a)=" << sizeof(a) << endl;          

      fcn1_1(a);  //形参类型和实参类型均为int [16]的数组类型，类型匹配

//   fcn1_2(a);  //形参类型为int [15]，实参类型为 int [16]，类型不匹配，编译出错

//   fcn1_3(a);  //形参类型为int [17]，实参类型为 int [16]，类型不匹配，编译出错

      fcn2_1(a);  //形参类型为 int*，可以讲数组类型转化为 int*

      fcn2_2(a);  //同上

      fcn2_3(a);  //同上

}