我可以将结构指针转换为指向 C1x 中的初始匿名成员吗？这是正确的问题吗？

Question

我对 C1x 中的匿名结构有点困惑。适当转换的结构指针指向其第一个成员的规则是否适用于初始匿名结构，或者仅适用于初始匿名结构的初始成员？特别是，这个程序在 C1x 中有意义吗？

#include<stdio.h>

struct node {
    struct node *next;
};

/* Does C1x even allow this? Do I have to define struct node inside of inode?
 * Are anonymous struct members even allowed to have tags?
 */
struct inode {
    struct node;
    int data;
};

int main(void) {
    inode node1 = {NULL, 12};
    inode *ihead = &inode;
    node *head = (struct node *)ihead;

    /* These should work since struct inode's first member is a struct node. */
    printf("Are these equal? %c", head == &node1.next ? 'Y' : 'N');
    printf("Is next NULL? %c", head->next == NULL ? 'Y' : 'N');

    return 0;
}

这个答案表明我可能会问关于未命名结构而不是匿名结构。我是否完全误解了匿名结构的本质？

Answer 1

/* Does C1x even allow this? Do I have to define struct node inside of inode?
 * Are anonymous struct members even allowed to have tags?
 */
struct inode {
    struct node;
    int data;
};

首先，struct node 成员不是匿名。它是未命名的，但因为它有一个标签（node），所以它不满足C1x对“匿名”的定义。

除此之外，C1x 语法显然允许这样做。由于 SO 并不真正支持下标，因此我用方括号标记了可选元素；我还省略了一些语法规则，这些规则对于确保这是有效的没有必要：

type-specifier:
    struct-or-union-specifier
struct-or-union-specifier:
    struct-or-union [identifier] { struct-declaration-list }
struct-or-union:
    struct
    union
struct-declaration-list:
    struct-declaration
    struct-declaration-list struct-declaration
struct-declaration:
    specifier-qualifier-list [struct-declarator-list];
specifier-qualifier-list:
    type-specifier [specifier-qualifier-list]

还有 4 个约束需要满足，但它们都不适用于未命名的成员，因此这在语法上是有效的 C。

现在，转到您的真正的问题。 C1x 说：

指向结构对象的指针，经过适当转换后，指向其初始成员 (...)，反之亦然。

句号。没有“除非该成员未透露姓名”。因此，指向node1的指针也是指向未命名初始成员的指针，也是指向node1.next的指针。然而，这里开始变得有点毛茸茸的。可能我只是忽略了一个条款，但 C1x 似乎只说了：

匿名结构或联合的成员被视为包含结构或联合的成员。

我找不到语言说未命名结构的成员被视为包含结构的成员。实际上，除了指针双关之外，没有任何有保证的方法可以访问 next。我将写信给委员会的一些人要求澄清这一点。

您还可能会遇到初始化问题：

结构对象的未命名成员即使在初始化后也具有不确定的值。

Answer 2

尝试使用节点作为类型名称。避免再次声明“结构节点”。

struct inode {
    node n;//node is a already a defined type name, n is the var name
    int data;
};