指向数组语法的指针

Question

我对数组指针的语法有疑问。 我们知道数组本身就是指针（我们的大学教授说的），所以为什么当我们用另一个指针（将是指向指针的指针）指向它们时，我们使用以下语法：

int array[10]; 
int *pointer = array;

代替此语法：

int array[10];
int **pointer = &array;

虽然我知道使用malloc会是正确的，但是为什么不按常规方式使用，这是编译器还是语法问题，或者我在其他地方错了？

Answer 1

告诉你的教授他们错了。 数组不是指针。 数组可以衰变为指针，但它们不是指针。

int* pointer = array; 声明一个指针，该指针指向array的第一个元素。

int** pointer = &array; 是不正确的。 正如jschultz410在评论中所提到的， &array的类型不是 int** ，它是int (*)[10]也就是指向10个int数组的指针，该数组不能衰减为int** 。

Answer 2

首先这个指针的定义

int array[10]; 
int **pointer = &array;

是无效的。 在声明的右侧有一个类型为int ( * )[10]的表达式，而在左侧有一个类型为int **标识符。 指针int ( * )[10]和int **之间没有隐式转换。 因此，编译器应发出诊断消息。

正确的定义看起来

int array[10]; 
int ( *pointer )[10] = &array;

现在我们可以考虑这两个定义之间的区别

int array[10]; 
int *pointer = array;

和

int array[10]; 
int ( *pointer )[10] = &array;

在第一种情况下，指针pointer的对象的大小等于sizeof( int ) 。 因此，如果使用指针算术，则在对表达式++pointer求值后， ++pointer的值将增加sizeof( int )个字节。 例如，如果sizeof( int )等于4则指针中的值将增加4 。

在第二种情况下，指针指针pointer的对象的大小等于10 * sizeof( int ) ，即如果sizeof( int )等于4，则对象的大小等于40 。 因此，如果指针将增加++pointer其值将增加40 。

同样在第一种情况下解引用指针将为您提供一个int类型的对象，而在第二种情况下解引用指针将为您提供一个int[10]类型的对象，该对象是一个数组。

而且数组不是指针。 简单来说，它们通常会转换为指向表达式中第一个元素的指针。 从C标准

3除非它是sizeof运算符或一元＆运算符的操作数，或者是用于初始化数组的字符串文字，否则类型为“ array of type”的表达式将转换为类型为“ pointer”的表达式键入''，它指向数组对象的初始元素，不是左值。 如果数组对象具有寄存器存储类，则该行为是不确定的。

如果你写例如

int array[10]; 
int *pointer = array;

那么sizeof( array )不等于sizeof( pointer )尽管您可以使用通用语法来访问数组的元素：

array[ i ]和pointer[ i ]将会得到相同的结果。

Answer 3

我们知道数组本身就是指针

不。数组不是指针。 数组是数组。 除了当它是的操作数sizeof或一元&运算符，类型的表达式 “的N元件阵列T ”将被转换（“衰变”），以式“指针的表达T ”以及这些值expression将是数组第一个元素的地址。 但是，除了数组元素本身之外，没有为指针预留任何存储空间。

所以，鉴于声明

int array[10];

表达式array的类型为“ int 10元素数组”； 除非array是sizeof或一元&的操作数，否则它将衰减为int *类型。 所以

int *ptr = array;

作品。

&array的类型不是 int ** ; 类型为int (*)[10]或“指向10元素的int数组的指针”。 您将声明并初始化这样的指针

int (*ptr)[10] = &array;