使用没有外部定义的外部链接声明并在 _Generic 中使用的标识符是否违反语义？

Question

来自最新的C2x (6.9p5)（添加了重点）：

外部定义是外部声明，它也是 function（内联定义除外）或 object 的定义。如果在表达式中使用使用外部链接声明的标识符（而不是作为 typeof 运算符的操作数的一部分其结果不是可变修改类型，或结果不是 integer 常量表达式的 sizeof 或 alignof 运算符），在整个程序的某处应该只有一个标识符的外部定义； 否则，不得超过一个。

考虑这个程序：

extern int x;
int i = _Generic(x, default: 0);
int main(void)
{
}

据我所知，在整个程序的某处上面引用了标识符x应该只有一个外部定义。 那是对的吗？ 仅供参考：流行的编译器不会抱怨。

也许 6.9p5 错过了_Generic ？

---

我也对“否则，不会超过一个”感到困惑。 因此，额外的问题：

1. “否则……”与什么有关？ “在整个程序中的某个地方，标识符应该只有一个外部定义”或者“用外部链接声明的标识符在表达式中使用（除了...）”？
2. 如果“否则……”与“在整个程序中的某处应该有一个标识符的外部定义”相关，那么我将整个引用 (6.9p5) 解释为ext_def_cnt == 1 || ext_def_cnt <= 1 ext_def_cnt == 1 || ext_def_cnt <= 1 ，这是多余的（因为它可以折叠为ext_def_cnt <= 1 ）。 有人可以对此发表评论吗？

Answer 1

在关于需要定义的语言已经建立之后， _Generic被添加到 C 标准年，并且未能将关于它的例外添加到 6.9 5 是一个疏忽。

显然6.9 5的意图是，如果一个程序需要一个object或function的定义，因为实际使用object或function，那么必须有一个定义。 但是，如果标识符用于仅需要其类型的上下文中，而不是它假设引用的 object 或 function，则不需要定义。

我也对“否则，不会超过一个”感到困惑。

如果使用 object 或 function，则需要定义。 这是逻辑上的必然：没有办法使用不存在的东西。

如果声明了 object 或 function 但未使用，则不需要定义。 这通常允许在设计标头或源代码时松懈：您可以声明可能会或可能不会链接到程序中并使用的东西，如果它们被声明但从未使用或定义，则不会出错。

Answer 2

也许 6.9p5 错过了_Generic ？

否， “如果在表达式中使用了使用外部链接声明的标识符（除了作为结果不是可变修改类型的typeof运算符的操作数的一部分，或者结果是 integer 常量表达式的sizeof或alignof运算符之外） , 在整个程序的某处，标识符的外部定义应该只有一个；否则，不应超过一个" - 因此，如果用作typeof运算符的操作数，则不需要外部定义。

来自6.5.1.1 Generic selection ：

• 3不评估泛型选择的控制表达式。 如果泛型选择与类型名称的泛型关联与控制表达式的类型兼容，则泛型选择的结果表达式是该泛型关联中的表达式。 否则，泛型选择的结果表达式是默认泛型关联中的表达式。

变量x的类型int是已知的，这就是用于建立正确的通用关联的全部内容。 x作为控制表达式，从未实际计算过。

如果有任何遗漏，那就是在typeof和/或_Generic章节中没有提到_Generic就像使用typeof运算符（未评估）一样。