46

当我查看 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”，它是一个零长度数组，它的用途是什么？提前致谢！

4

2 回答 2

41

它是 GCC 作为扩展提供的灵活数组成员的 C99 之前的版本。

C99的方式是用空括号定义灵活数组成员，

__u8  supervisor_stack[];

它用于存储数量与结构不连续的数据。内存分配的形式

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

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

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

于 2012-07-31T06:00:00.197 回答
13

声明可以称为可变长度数组的内容是一种常见的 C 技巧（您在分配时定义大小

例子：

struct line {
   int length;
   char contents[0];
 };

 struct line *thisline = (struct line *)
   malloc (sizeof (struct line) + this_length);
 thisline->length = this_length;

这样，您就有了数据的结构定义，它还存储数组长度以用于明显的方便目的，但您不受通常与结构相关联的固定大小的限制

取自此处的示例 （还有更多信息）

于 2012-07-31T06:03:16.887 回答