指向整数数组的指针的标量初始值设定项的元素过多

Question

我正在 K&R 中进行练习（例如 5-9），我试图将原始程序的 2D 数组转换

static char daytab[2][13] = {
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

为使用指向 13 个整数数组的指针，例如

static char (*daytab)[13] = {
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

但编译器打印 警告：标量初始值设定项中存在多余元素。

谷歌搜索没有帮助，甚至 K&R 在将数组传递给函数时写入，

myFunction(int daytab[2][13]) {...}

与

myFunction(int (*daytab)[13]) {...}

Answer 1

两者仅部分等效。区别在于：

static char daytab[2][13] = {
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}, 
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

声明一个二维数组，其中包括为数组留出空间并确保 daytab 引用该内存。但是：

static char (*daytab)[13] = {
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}, 
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

...仅声明一个指针。因此，您尝试使用数组初始值设定项初始化指针，但这无法按预期工作。没有数组；没有为数组留出内存。相反，发生的情况是初始化程序中的第一个数字被分配给指针 daytab，并且编译器会生成一条警告，让您知道您已经指定了许多刚刚被丢弃的附加值。由于初始化程序中的第一个数字是 0，因此您只需以相当详细的方式将 daytab 设置为 NULL 即可。

因此，如果您想进行此类初始化，请使用第一个版本 - 它会衰减为您在第二个版本中显式声明的相同指针类型，因此您可以以相同的方式使用它。当您希望动态分配数组或获取对已存在的另一个数组的引用时，需要带有数组指针的第二个版本。

所以你可以这样做：

static char arr[2][3] = { { 1, 2, 3 }, { 4, 5, 6 } };
static char (*ptr)[3] = NULL;

ptr = arr;

...然后互换使用ptr和arr。或者这样：

static char (*ptr)[3] = NULL;

ptr = malloc(2 * sizeof(*ptr));

...获取动态分配的二维数组（不是指向一维数组的指针数组，而是真正的二维数组）。当然，在这种情况下它不会被初始化。

两个变体的“等价性”仅意味着二维数组在衰减为指向其第一个元素的指针时，衰减为第二个变体中声明的指针类型。一旦指针版本实际指向数组，两者就等效。但是 2D 数组版本为数组设置了内存，而指针声明没有...并且可以为指针分配一个新值（指向不同的数组），而 2D 数组变量则不能。

不过，在 C99 中你可以这样做（至少不是static）：

char (*daytab)[13] = (char [][13]){
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}, 
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

Answer 2

@Dmitri 解释得很好，但我想补充一点，这

static char (*daytab)[13] = { ... };

是一个指向 13 个 char 元素数组的指针。编译器会向您发出警告，因为您传入了两个 数组。这就像尝试将两个地址分配给一个指针char *p = {a, b}。根据您的声明，元素数量超出了必要的数量。请参阅 Geekforgeek 的解释了解数组指针的真正含义。

至于回答 K&R 练习，请考虑

选项 1：

static char *daytab[2] = { 
    (char []) {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    (char []) {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
    };} 

或选项 2：

static char (*daytab)[13] = (char [][13]) { 
    {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
    };} 

选项 1 是两个 char 指针的数组。

选项2是一个数组指针。它指向一个由 13 个 char 元素组成的数组。正如您可以增加 char 指针来获取字符串中的下一个字母一样，您也可以增加此数组指针来获取下一个包含 13 个 char 的数组。

Answer 3

我自己刚刚在 K&R 中解决了这个问题，所以也许我可以添加到已经给出的非常好的答案中。这是摆脱使用二维数组而转向使用指针数组的一个很好的练习。请注意，在本书中，我们还没有介绍过malloc。因此，一种方法是预先设置月份数组，然后设置指向这些数组的指针数组：

char y0[] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
char y1[] = {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
char *daytab[] = {y0, y1};

回想一下，数组的名称是指向第一个元素的指针。现在您确实拥有了一个指向两个 13 个 int 数组的指针数组。