C11标准中一个工会实例的澄清

Question

C11标准6.5.2.3中给出了以下示例

以下不是有效片段（因为union类型在函数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);
}

为什么联合类型对函数f可见有关系？

我在翻阅有关的部分时，看不出其中有甚么不容许这样做的地方。

Answer 1

这是因为6.5.2.3第6段（着重部分后加）：

为了简化联合的使用，有一个特殊的保证：如果一个联合包含多个共享公共初始序列的结构（见下文），并且如果联合对象当前包含其中一个结构，则允许在可以看到联合的完成类型声明的任何地方检查其中任何一个结构的公共初始部分。如果一个或多个初始成员的序列对应的成员具有兼容的类型（并且对于位字段，宽度相同），则两个结构共享一个公共的初始序列。

这不是一个需要诊断的错误（语法错误或约束冲突），但行为未定义，因为structt1和structt2对象的m成员占用相同的存储空间，但因为structt1和structt2是不同的类型，所以允许编译器假设它们不是--特别是对p1->m的更改不会影响p2->m的值。例如，编译器可以在第一次访问时将p1->m的值保存在寄存器中，然后在第二次访问时不从内存中重新加载它。