什么时候数组和指针是相同的

C语言标准对此作了如下说明：

规则1.表达式中的数组名（与声明不同）被编译器当作一个指向该数组第一个元素的指针（具体释义见ANSI　Ｃ标准第６.2.2.1节）。

规则２.下标总是与指针的偏移量相同（具体释义见ANSI　Ｃ标准第６.３.2.1节）。

规则３.在函数的参数声明中，数组名被编译器当作指向该数组第一个元素的指针（具体释义见ANSI　Ｃ标准第６.７.1节）。

 

1“表达式中的数组名”就是指针

例子：

声明如：　int a[10],*p,i=2; 可以通过以下三种方法访问a[i]:

 (1)   p = a; p[i];

 (2)   p = a; *(p + i);

 (3)  p  = a + i; *p;

 

2  C语言把数组下标作为指针的偏移量

有一种说法，在编写数组算法时，使用指针比使用数组“更有效率”，这在通常情况下是错误的。在处理一维数组时，指针并不见得比数组快，C语言把数组下标改写成指针偏移量的根本原因是指针和偏移量是底层硬件所使用的基本模型。

 

3 “作为函数参数的数组名”等同于指针

标准规定作为“类型的数组”的开参的声明应该调整为“类型的指针”；在my_function的调用上，无论实参是数组还是真的指针都是合法的。

my_function(int *turnip) {..}

my_function(int turnip[]) {...}

my_functin(int turnip[200]{...}) 

 

数组与指针可交换性的总结

1 用a[i]这样的形式以数组进行访问总是被编译器“改写”或解释为像*（a+1）这样的指针访问。

2 指针始终就是指针。它绝不可以改写成数给。你可以用下标形式访问指针，一般都是指针作为函数参数时，而且你知道实际传递给函数的是一个数组。

3 在特定的上下文中，也就是它作为函数的参数（也只有这种情况），一个数组的声明可以看作是一个指针。作为函数参数的数组（就是在一个函数调用中）始终会被编译器修改成为指向数组第一个元素的指针。

4 因此，当把一个数组定义为函数的参数时，可以选择把它定义为数组，也可以定义为指针，不管选择哪种方法，在函数内部事实上获得的都是一个指针。

5 在其他所有情况中，定义和声明必须匹配。如果定义了一个数组，在其他文件对它进行声明也必须把它声明为数组，指针也是如此。