C11：匿名结构的TypeDEF与成员的指针一起工作吗？

Question

这是我通常会为C中的链接列表定义一个节点：

typedef struct _Node {
    int value;
    struct _Node * next;
} Node;

通过进行一些测试，我发现我能够通过匿名结构来使该定义工作，例如：

typedef struct {
    int value;
    struct Node * next;
} Node;

有理由这样做吗？我觉得它应该不起作用，因为节点在struct定义中还不是一种类型。

我的假设是struct节点 *下一步是一个匿名结构本身，它仅具有指向节点的指针。但是，如果是这种情况，那么如果尚未解决Typedef，我如何在此处使用节点类型？

Answer 1

这似乎只有起作用。 “标签”名称空间和“普通标识符”的名称空间在C中完全不同。（C ++的规则略有不同）

您的成员nonymous struct> struct> struct点的下一个点对于不完整的struct节点，该节点是由同一声明向前指定的。

您的typedef命名匿名struct与该类型struct node不同。因此，您的指针Next指向编译器所知道的类型，而不是struct。

避免此类头痛的一个好策略是转发声明struct node和typedef是相同的：

typedef struct Node Node;
               ^^^^ ^^^^
               tag  typedef name

然后

struct Node {
  ...
};

Answer 2

该声明

typedef struct {
    int value;
    struct Node * next;
} Node;

介绍了两个结构规范。第一个是带有Typedef名称Node的未命名结构。第二个是命名结构struct node。

这两个结构指定词不同。

因此，例如，当您尝试将类型节点 *的指针分配给类型struct> struct> struct node *的指针时，编译器将发出警告或错误。 Versa是因为有不兼容的指针类型。

考虑以下演示计划。

#include <stdlib.h>
#include <stdio.h>

typedef struct {
    int value;
    struct Node * next;
} Node;

int main( void )
{
    Node *head = malloc( sizeof( Node ) );
    head->value = 1;
    head->next = NULL;

    Node *next = malloc( sizeof( Node ) );
    next->value = 2;
    next->next = NULL;

    head->next = next;
}

例如，对于语句

head->next = next;

，编译器GCC 11.2发出以下警告。

<source>:18:16: warning: assignment to 'struct Node *' from incompatible pointer type 'Node *' [-Wincompatible-pointer-types]
   18 |     head->next = next;
      |                ^
ASM generation compiler returned: 0
<source>: In function 'main':
<source>:18:16: warning: assignment to 'struct Node *' from incompatible pointer type 'Node *' [-Wincompatible-pointer-types]
   18 |     head->next = next;
      |               

此外，您将无法放置类型struct node *的指针类型。 struct节点的定义未知。

例如，如果您将上述演示程序附加使用语句

printf( "%d\n", head->next->value );

，那么此时编译器将发布以下错误消息，

<source>:21:31: error: invalid use of undefined type 'struct Node'
   21 |     printf( "%d\n", head->next->value );
      |                               ^~

而您可以写作

typedef struct Node Node;

struct Node {
    int value;
    Node * next;
};