数组声明

“数组声明”将命名数组并指定其元素的类型。它还可定义数组中的元素数。带数组类型的变量被视为指向数组元素的类型的指针。

语法

declaration：
declaration-specifiersoptinit-declarator-list ;

init-declarator-list：
init-declarator
init-declarator-list , init-declarator

init-declarator：
declarator
declarator = initializer

declarator：
pointer_opt direct-declarator

direct-declarator：
direct-declarator [ constant-expression_opt ]

由于 constant-expression 是可选的，因此该语法有两种形式：

第一种形式定义一个数组变量。括号内的 constant-expression 参数指定数组中的元素数量。 constant-expression（如果有）必须具有整型类型和大于零的值。每个元素都有 type-specifier 给出的类型，它可以是除 void 之外的任何类型。数组元素不能是函数类型。
第二种形式声明已在其他位置定义了变量。它省略括号中的 constant-expression 参数而不是括号。仅在之前已初始化数组、将其声明为参数或声明为对在程序中的其他位置显式定义的某个数组的引用的情况下，才能使用此形式。

在这两种形式中，direct-declarator 都会命名变量并且可以修改变量类型。紧跟 direct-declarator 的方括号 ([ ]) 会将声明符修改为数组类型。

类型限定符可以出现在数组类型对象的声明中，但限定符应用于元素而不是数组本身。

您可以声明一系列数组（“多维”数组），方法是遵循以下形式的带括号的常量表达式的列表的数组声明符：

type-specifier declarator [ constant-expression ] [ constant-expression ] ...

方括号中的每个 constant-expression 均定义给定维度中的元素数量：二维数组具有两个带括号的表达式，三维数组具有三个带括号的表达式，依此类推。如果你已初始化数组、将其声明为参数或声明为对在程序中的其他位置显式定义的某个数组的引用，则可以忽略第一个常量表达式。

可使用复杂的声明符定义指向各种类型的对象的指针的数组，如解释更复杂的声明符中所述。

按行存储数组。例如，下面的数组包含两个行，每个行具有三个列：

char A[2][3];

首先存储第一行的三个列，然后存储第二行的三个列。这意味着最后一个下标的变化速度最快。

若要引用数组的单个元素，请使用下标表达式，如后缀运算符中所述。

这些示例阐释了数组声明：

float matrix[10][15];

名为 matrix 的二维数组有 150 个元素，每个元素的类型都是 float。

struct {
    float x, y;
} complex[100];

此示例是结构数组的声明。此数组有 100 个元素；每个元素均为一个包含两个成员的结构。

extern char *name[];

此语句声明指向 char 的指针数组的类型和名称。 name 的实际定义会在其他位置出现。

Microsoft 专用

保存数组的最大大小所需的整数类型为 size_t 的大小。

结束 Microsoft 专用