在结构数组的末尾需要空括号“{}”是什么？

Question

我在 Linux 内核中打了一些 c code：

static struct ctl_table ip_ct_sysctl_table[] = {
    {
        .procname   = "ip_conntrack_max",
        .maxlen     = sizeof(int),
        .mode       = 0644,
        .proc_handler   = proc_dointvec,
    },
    // ...
    {
        .procname   = "ip_conntrack_log_invalid",
        .maxlen     = sizeof(unsigned int),
        .mode       = 0644,
        .proc_handler   = proc_dointvec_minmax,
        .extra1     = &log_invalid_proto_min,
        .extra2     = &log_invalid_proto_max,
    },
    { }
};

这里的结构数组以{ } 结尾。添加它的目的是什么？
顺便说一句，在这段代码的上方还有一个array of structs，但最后没有空括号。

什么时候应该在结构数组的末尾使用空括号？

Answer 1

此特定更改是 Eric W. Biederman 提交的 sysctl net: Remove unused binary sysctl code 的一部分，将 ip_ct_sysctl_table 数组的最后一个元素的初始化从 {0} 更改为 {}（并对许多其他数组执行类似的更改初始化）。

{0} 模式似乎已经存在了更长的时间，{0} 或 {} 最终元素初始化通常（在 Linux 源代码中）显式称为 Terminating entry，所以它可能存在一种模式，允许在不知道它们的长度的情况下使用这些数组，在达到零初始化终止条目时终止消费。例如。对于sound/aoa/fabrics/snd-aoa-fabric-layout.c 中的类似数组，甚至在评论中明确提到了零初始化的意图，例如：

static struct codec_connection toonie_connections[] = {
  {
      .connected = CC_SPEAKERS | CC_HEADPHONE,
      .codec_bit = 0,
  },
  {} /* terminate array by .connected == 0 */
};

Answer 2

在结构数组的末尾需要空括号'{}'吗？

要明确：“结构数组末尾的空括号'{}'”不是需要来满足C 语法要求。

什么时候应该在结构数组的末尾使用空括号？

当代码需要sentinel value时。

有时有用程序有一个全为零的最终数组元素 - 当然可以检测到结尾。 需要来自应用程序对数组ctl_table ip_ct_sysctl_table[]的使用，而不是来自C语言的需要。

Answer 3

它是数组末尾的一个零初始化元素，以便将数组元素的数量增加一。

考虑这个小演示：

#include <stdio.h>

struct Test
{
  int x;
  int y;
} arr[] =
{
    {1,2},
    {3,4},
//  {}
};

int main(void) {
    printf("%zu\n", sizeof(arr) / sizeof(arr[0]));
    return 0;
}

如果您取消注释数组初始化列表末尾的{}，arr 数组的大小将会改变。

输出：

使用// {}（数组有2个元素）

2

使用{}（数组有3个元素）

3

进一步说明：

ip_ct_sysctl_table 数组只用在一个地方，就是这里：

in->ctl_table = kmemdup(ip_ct_sysctl_table,
                sizeof(ip_ct_sysctl_table),
                GFP_KERNEL);

额外的{} 增加了ip_ct_sysctl_table 的总大小。

Answer 4

您可能熟悉以零结尾的字符串。 ctl_table ip_ct_sysctl_table[] 是一个以零结尾的数组，即最后一个数组条目具有全零成员。