链表节点的大小

Question

我发现这个事情有点棘手和递归，因为sizeof运算符如何计算链表中一个节点的大小。 我将以下结构作为列表中的一个节点，例如：

struct ll_core
{
    char c_ll;
    struct ll_core * next;
};

printf("size of struct ll_core = %d\n\n",sizeof(struct ll_core));

它给出了答案8.现在它如何决定大小8，因为要添加单个struct元素的大小，它会再次遇到相同的struct ll_core。 因此，在计算大小时，它是一种循环或递归。 请原谅我告诉我，如果我在想这样的话，我会遗漏任何基本的东西。

Answer 1

它不再需要struct的大小，因为struct只包含指向 struct的指针 ，而不是struct本身。

“指向struct ll_core指针”的大小与struct ll_core大小struct ll_core ，它们是两种不同的类型。 一个是指针，另一个不是。

你不能声明一个“真正的”递归数据结构，因为它是无限的。

Answer 2

因为要添加单个struct元素的大小，它会再次遇到相同的struct ll_core 。

不，它遇到了一个指向 struct ll_core的指针 。 如果遇到结构本身，那将导致无限大小。 编译器知道struct ll_core *的大小和对齐要求，即使不知道任何关于struct ll_core ，因此它可以添加成员的大小加上对齐所需的填充（在本例中为next成员）以查找大小struct ll_core 。

Answer 3

假设您在32位机器上运行代码，指针大小将为4个字节。 由于结构将在字边界上对齐，因此将填充3个字节，因此大小将为8个字节。

这种结构实际上就像，

struct ll_core{
    char       c_11:
    char const byte[3];  //padded bytes for alignment reasons
    struct ll_core *next;
};

Answer 4

struct ll_core
{
    char c_ll;
    struct ll_core * next;
};

sizeof运算符添加结构ll_core成员的大小。 这是一个字符（ c_ll ）和一个指针（ next ）。

有关如何计算大小的更多信息。

结构填充：

在64位系统中，数据将以8字节块的形式读写。 因此，当计算结构的大小时，就会发生填充。 意味着编译器将在结构的成员之间插入一些间隙以“对齐”到体系结构地址边界。 如下：

struct ll_core
{
    char c_ll;
    /* 7 bytes of padding */
    struct ll_core * next;
 };

因此，64位系统中此结构的大小将为16个字节。

结构包装：

您可以通过执行结构打包来阻止编译器执行结构填充。 在GCC中，它是这样完成的：

struct __attribute__((__packed__)) ll_core
{
    char c_ll;
    struct ll_core * next;
};

现在64位机器上的大小将是9个字节。

sizeof(char) + sizeof(pointer)

编辑 - 从您的问题看来，您似乎在32位计算机上运行。 在32位机器中，数据将作为4字节块读取和写入。

Answer 5

如果某些类型在某些地址上对齐，则许多处理器工作得更好 这意味着编译器在单个char元素之后填充结构，以使指针位于本机字边界上。

至于结构中的“递归”，没有，因为next字段是指向结构的指针而不是结构本身。

Answer 6

你错过了这一点，仔细看......“下一个”只是一个指针。 你不能只做'struct ll_core next'..那就是没有*。 所以，只要它是一个指针。 将仅针对指针的大小计算大小。 通常，指针大小为4。

如果您有任何疑惑，请从下一步中删除*并尝试编译代码。

Answer 7

有两个元素是char（大小为1）和一个指针（大小为4），因此您认为大小为5，但结构填充为4个字节（字大小）。 char填充为4个字节，总共8个字节。