7

我一直在理解这个结构发生了什么（来自C for ProgrammersDeitel 的书）。

这本书说，“一个结构不能包含它自己的一个实例。例如，一个类型的变量struct employee不能在定义中声明struct employee。但是，可以包含一个指向 struct employee 的指针。”

然后给出以下示例：

struct employee2 {
   char firstName[ 20 ];

   char lastName[ 20 ];

   unsigned int age;

   struct employee2 *ePtr;
};

我不明白这是在做什么，我不明白struct employee没有 2 的引用。

我怎么struct employee2 *ePtr知道struct employee或者我不在这儿了？

4

4 回答 4

12

一个更有意义的例子可能是

struct employee2* manager;

请注意，要删除*意味着 C 编译器必须为顶级员工布置所需的 44 个（左右）字节，然后为下一个内部员工布置另外 44 个字节，然后为下一个内部员工布置 44 个字节，然后为下一个内部员工布置 44 个字节。下一个下一个内部员工……等等。不用说这是一个编译错误。

此外，这种不可能的结构将迫使他们都是不同的员工，并且要求当您创建任何员工时，您必须创建所有经理，这些经理必须不为空且不同。 这意味着您不能有 CEO，而有指针时，CEO 的经理可以是NULL或她自己，这取决于您的实施。如果不从员工系统中删除记录（即解雇员工）并重新创建记录（雇用），就不可能更换经理，这也需要撤销建筑物访问权、计算机访问权等。我想说的是，没有指针是一种非常非常糟糕的方式来模拟现实世界中正在发生的事情。

然而，C 编译器可以为员工布局 44 个字节，然后为员工经理的地址布局 4 个字节，如果它不为空，它将依次指向 44+4 个字节。请注意，这些不一定是不同的字节-也许员工是她自己的经理（您的业务逻辑应该禁止这样做，但是嘿，C 关心什么）。

一个较低级别的示例是一个链表，它更像这样：

typedef struct {
    int data;
    node* next;
} node;

但是，同样的想法。除非您准备好立即创建所有无限不同的节点，否则这是行不通的。链表将以一个NULL值结尾，该值可以用指针表示，但不是一个不能为空的结构，因为它需要占用内存。

无论如何，指针是一个结构引用另一个结构而无需再次物理布局内存的方式。C 是一种低级语言，但如果您学会从编译器的角度思考，一些高级概念将是有意义的。例如，删除*也意味着员工“拥有”她的经理。从现实世界的角度来看，这没有意义，从内存管理的角度来看也没有意义。（虽然，父母可以拥有孩子……这不是一个完美的类比。）

于 2013-05-24T18:44:32.193 回答
4

当您了解不完整类型的 C 概念时，这里的魔力就会变得清晰。结构只能包含完整的类型，即编译器知道其大小的类型。当编译器看到

struct foo {

它知道会有一个带有 foo 标签的结构体；这种类型 ( struct foo) 目前是不完整的。直到}看到匹配，它才变得完整。

然而，这就是魔法，指向不完整类型的指针是完整类型，因为任何指针的大小都是已知的——无论它指向什么类型。所以在上面三个token之后，声明一个struct成员就可以了

  struct foo *ptr_to_struct_foo;

在 astruct foo和匹配之前}。

另一种常用的不完全类型是void--这种类型甚至不能完成，这就是为什么C不允许你声明

void foo;

但是，声明指向这种类型的指针是完全可以的：

void *foo;

但是当然不允许通过 ptr-to-void 间接。为什么？现在你知道答案了：因为这会产生一个不完整的类型。

于 2013-05-24T18:50:12.103 回答
3

您不能将整个结构放在自身内部，因为它将是无限递归的。

但是您可以将结构的另一个实例的地址放在结构内；这就是指针的含义...地址的大小SomeStruct*始终相同，因此编译器知道为结构的一个实例创建多少内存。

于 2013-05-24T18:45:05.653 回答
1

这将导致大小是无限的。考虑结构：

struct my_struct {
  int x;
  struct my_struct y;
}

这将有一个大小：

sizeof(struct my_struct) >= sizeof(int) + sizeof(struct my_struct);

这显然是无法解决的。

但是，指向结构的指针不会有这个问题。

struct my_struct2 {
  int x;
  struct my_struct2* y;
}

由于现在的大小是可能的。

sizeof(struct my_struct2) >= sizeof(int) + sizeof(struct my_struct2*);

你应该明白两者的区别

sizeof(struct my_struct2)
and
sizeof(struct my_struct2*)
于 2013-05-24T18:45:37.583 回答