c - 包含包含指向自身的结构指针的 union 的结构使用 '.' 访问而不是 '->' ，混淆

Question

在我正在处理的代码库中，我定义了两个结构，如下所示:

typedef struct s1
{
   int   somedata;
   union su
   {
      char      *cptr;
      struct s1 *array;
   }; //line 123
} S1;

typedef struct s2
{
    S1   data;
} S2;

在其他地方，这些结构和成员的访问方式让我感到困惑:

S2   *s2_ptr;
s2_ptr->data.array[1].charptr

所以我有问题:

为什么是 array[1].charptr 而不是 array[1]->charptr 因为 array 是一个指针？

编译时，我在上面的结构 s1 中的“第 123 行”收到警告“declaration does not declare anything”。我已经阅读了有关此的其他问题，看来我需要使 union 声明类似于:
union 苏 { ... } 苏;
然后由于明显的原因导致编译器错误。当然，然后更正对 s2_ptr->data.SU.array[1].charptr 的调用可以修复错误。我想知道这是否会以任何方式改变数据访问方式中发生的事情？会有什么变化吗？

感谢您的帮助。

*非常感谢所有的回答。把我清理干净。

Answer 1

Why is it array[1].charptr and not array[1]->charptr since array is a pointer?

array[1] 不是指针。

如果代码是array->charptr 那么你是对的；但事实并非如此。 array[1] 是一个 struct s1 。 (这与 union 无关)

---

你问题的另一部分:当你有这样的代码时:

union foo
{
    int x;  
    // etc
};

然后这定义了一个名为union foo 的类型，但没有声明该类型的任何实例。如果您在结构定义中，那不会改变。

要声明一个变量，你必须写:

union foo SU;

或者您可以通过将变量名放在类型定义末尾的 ; 之前同时完成这两件事。

C11 中有一个称为匿名 union 的东西，在此之前由一些编译器作为扩展提供。不过，要激活匿名 union ，您必须移除 union 标记，因此代码以 union { 开头。