Array declaration

数组是由连续分配的具有特定元素类型的非空对象序列组成的类型。在阵列生命周期内，这些对象的数量（数组大小）永远不会改变。

句法

在数组声明的声明语法中，类型说明符序列指定元素类型（必须是完整的对象类型），声明符的格式如下：

1,2）常规数组声明语法

3）未指定大小的 VLA 的声明符（只能出现在函数原型范围内）其中

float fa[11], *afp[17]; // fa is an array of 11 floats
                        // afp is an array of 17 pointers to floats

说明

数组类型有多种变体：已知常量大小的数组，可变长度数组和大小未知的数组。

恒定已知大小的数组

如果数组声明符中的表达式是一个整数常量表达式，其值大于零且元素类型是已知常量大小的类型（即元素不是 VLA）（因为 C99），那么声明符声明一个数组恒定的已知尺寸：

int n[10]; // integer constants are constant expressions
char o[sizeof(double)]; // sizeof is a constant expression
enum { MAX_SZ=100 };
int n[MAX_SZ]; // enum constants are constant expressions

已知大小的常量数组可以使用数组初始化器来提供它们的初始值：

int a[5] = {1,2,3}; // declares int[5] initalized to 1,2,3,0,0
char str[] = "abc"; // declares char[4] initialized to 'a','b','c','\0'

未知尺寸的阵列

如果数组声明符中的表达式被省略，它将声明一个未知大小的数组。除了函数参数列表（这些数组被转换为指针）以及初始化程序可用时，这种类型是不完整的类型（请注意，未指定大小的 VLA，以大小声明*，是一个完整类型）（自 C99开始） ：

extern int x[]; // the type of x is "array of unknown bound of int"
int a[] = {1,2,3}; // the type of a is "array of 3 int"

预选赛

如果使用 const，volatile，restrict（自C99）或_Atomic（自C11）限定符（可通过使用 typedef）声明数组类型，则数组类型不是限定的，但其元素类型为：

typedef int A[2][3];
const A a = {{4, 5, 6}, {7, 8, 9}}; // array of array of const int
int* pi = a[0]; // Error: a[0] has type const int*

分配

数组类型的对象不是可修改的左值，虽然它们的地址可以被采用，但它们不能出现在赋值运算符的左侧。但是，数组成员的结构是可修改的左值，可以赋值为：

int a[3] = {1,2,3}, b[3] = {4,5,6};
int (*p)[3] = &a; // okay, address of a can be taken
// a = b;            // error, a is an array
struct { int c[3]; } s1, s2 = {3,4,5};
s1 = s2; // okay: can assign structs holding array members

数组到指针的转换

数组类型的任何左值表达式，当在除。以外的任何上下文中使用时。

• 作为操作符地址的操作数
• 作为 sizeof 的操作数
• 作为用于数组初始化的字符串文字

• 作为_Alignof 的操作数

(since C11)

经历了对指向其第一个元素的隐式转换。结果不是左值。

如果数组被声明为 register，那么尝试这种转换的程序的行为是未定义的。

int a[3] = {1,2,3};
int* p = a;
printf("%zu\n", sizeof a); // prints size of array
printf("%zu\n", sizeof p); // prints size of a pointer

在函数参数列表中使用数组类型时，它将转换为相应的指针类型：int f(int a[2])和int f(int* a)声明相同的函数。由于函数的实际参数类型是指针类型，因此具有数组参数的函数调用将执行数组到指针的转换; 参数数组的大小对被调用的函数不可用，并且必须显式传递：

void f(int a[], int sz) // actually declares int f(int* a, int sz)
{
    for(int i = 0; i < sz; ++i)
       printf("%d\n", a[i]);
}
int main(void)
{
    int a[10];
    f(a, 10); // converts a to int*, passes the pointer
}

多维数组

当一个数组的元素类型是另一个数组时，据说这个数组是多维的：

// array of 2 arrays of 3 ints each
int a[2][3] = {{1,2,3},  // can be viewed as a 2x3 matrix
               {4,5,6}}; // with row-major layout

请注意，当应用数组到指针的转换时，多维数组将转换为指向其第一个元素的指针，例如指向第一行的指针：

int a[2][3]; // 2x3 matrix
int (*p1)[3] = a; // pointer to the first 3-element row
int b[3][3][3]; // 3x3x3 cube
int (*p2)[3][3] = a; // pointer to the first 3x3 plane

注意

不允许使用零长度数组声明，即使有些编译器将它们作为扩展提供（通常作为灵活数组成员的 C99之前的实现）。

如果 VLA 的大小表达式有副作用，除非它是 sizeof 表达式的结果并不依赖于它的一部分，否则它们将被保证产生：

int n = 5;
int m = 7;
size_t sz = sizeof(int (*)[n++]); // may or may not increment n

参考

• C11标准（ISO / IEC 9899：2011）：
  • 6.7.6.2数组声明符（p：130-132）
• C99标准（ISO / IEC 9899：1999）：
  • 6.7.5.2数组声明符（p：116-118）
• C89 / C90标准（ISO / IEC 9899：1990）：
  • 3.5.4.2数组声明符