零长度数组在结构中的用途是什么？

Question

当我查看Linux内核代码时，发现以下代码：

   struct thread_info {
    struct task_struct  *task;
    struct exec_domain  *exec_domain;
    unsigned long       flags;
    __u32           status;
    __u32           cpu;
    int         preempt_count;
    mm_segment_t        addr_limit;
    struct restart_block    restart_block;
    void __user     *sysenter_return;
    unsigned long           previous_esp;
    __u8            supervisor_stack[0];
};

请注意，最后一个变量“ supervisor_stack”是零长度的数组，它的用途是什么？提前致谢！

Answer 1

它是GCC提供的扩展的灵活阵列成员的C99之前版本。

C99的方法是用空括号定义柔性数组成员，

__u8  supervisor_stack[];

它用于存储数量不恒定的连续数据。内存以以下形式分配

struct foo *ptr = malloc(sizeof *ptr + whatever_is_needed);

在6.7.2.1的第18段中，标准（草案N1570）描述了它们：

作为一种特殊情况，具有多个命名成员的结构的最后一个元素可能具有不完整的数组类型；这称为灵活数组成员。在大多数情况下，柔性数组成员将被忽略。特别地，该结构的尺寸就好像省略了柔性阵列构件，除了其可能具有比省略所暗示的更多的尾随填充。然而，当一个.（或->）运算符的左操作数是一个指向具有灵活数组成员的结构的指针（指向该成员），右操作数为该成员命名，它的行为就好像该成员被最长数组（具有相同元素类型）所取代，而该数组不会使结构大于要访问的对象；即使该阵列的偏移量与替换阵列的偏移量不同，其偏移量也应保持为柔性阵列成员的偏移量。如果此数组不包含任何元素，则其行为就好像它具有一个元素一样，但是如果尝试访问该元素或生成一个指针经过该元素，则该行为未定义。