c - 为什么在一个函数中声明的 union 类型在另一个函数中使用是无效的？

Question

当我阅读 ISO/IEC 9899:1999(参见:6.5.2.3)时，我看到了一个这样的例子(强调我的):

The following is not a valid fragment (because the union type is not visible within function f):

struct t1 { int m; };
struct t2 { int m; };
int f(struct t1 * p1, struct t2 * p2)
{
      if (p1->m < 0)
            p2->m = -p2->m;
      return p1->m;
}
int g()
{
      union {
            struct t1 s1;
            struct t2 s2;
      } u;
      /* ... */
      return f(&u.s1, &u.s2);
}

我测试时没有发现任何错误和警告。

我的问题是:为什么这个片段无效？

Answer 1

该示例试图预先说明段落¹(强调我的):

6.5.2.3 ¶6

One special guarantee is made in order to simplify the use of unions: if a union contains several structures that share a common initial sequence (see below), and if the union object currently contains one of these structures, it is permitted to inspect the common initial part of any of them anywhere that a declaration of the completed type of the union is visible. Two structures share a common initial sequence if corresponding members have compatible types (and, for bit-fields, the same widths) for a sequence of one or more initial members.

因为 f 是在 g 之前声明的，而且未命名的 union 类型是 g 的本地类型，所以毫无疑问 union 类型是在 f 中不可见。

该示例没有显示 u 是如何初始化的，但假设最后写入成员的是 u.s2.m，该函数具有未定义的行为，因为它检查p1->m 公共(public)初始序列保证不生效。

反之亦然，如果在函数调用之前最后写入的是 u.s1.m，那么访问 p2->m 是未定义的行为。

请注意，f 本身并不是无效的。这是一个非常合理的函数定义。未定义的行为源于将 &u.s1 和 &u.s2 作为参数传递给它。这就是导致未定义行为的原因。

---

<子> ¹ - 我在引用 n1570 ，C11标准草案。但规范应该是相同的，仅需向上/向下移动一两段。