C 中的标识符到底是什么？

Question

每个 Google 搜索都将它们解释为“变量的名称”，但我感觉标识符和标识符的名称之间存在区别。标识符是否更像具有名称、范围、链接和基础对象等属性的对象？我问这个是因为我在尝试通读 C 标准时遇到了一些麻烦。例如，sn-p

int main(){
  int x;
  extern int x;
}

编译失败而

int main(){
  int x;
  if(1){extern int x;}
}

编译成功。在this 问题中，第一个sn-p 的失败是从C 标准中的6.2.2.6 开始解释的，其中指出局部变量没有链接。但是，在第二个 sn-p 中，局部变量仍然没有链接，但没有冲突。现在，6.2.2.4 州

对于使用存储类说明符 extern 在该标识符的先前声明可见的范围内声明的标识符，如果先前声明指定内部或外部链接， 后面声明的标识符链接与前面指定的链接相同 宣言。如果前面的声明不可见，或者前面的声明没有指定链接，则 标识符有外部链接。

我的解释是该规则在两个 sn-ps 中都有效，但在第一个规则中，x 的底层对象的唯一性通过 6.2.1.2 触发了约束违规，因为相同的标识符名称是用于具有相同范围和名称空间的两个不同对象。但这不是我之前链接的问题的答案中给出的解释。在第二个 sn-p 中，链接类型仍然存在冲突，那么更改 extern 声明的范围是否会改变本地声明的可见性？从 C 标准的抽象角度考虑链接的最佳方式是什么（不使用 gcc 或 clang 等实际实现作为说明）？

Answer 1

“标识符”是语言语法的一个元素。预处理后，所有标记为以下之一：keyword、identifier、constant、string-literal 或 标点符号。

如果标记以字母（或下划线）开头，则它只能是关键字或标识符。如果它不在关键字表中，则它是一个标识符。有关这方面的更多技术细节，请参阅 C 标准的附录 A。

在您的程序中，x 和 main 是标识符，int、if 和 extern 是关键字，1 是常量，其他所有内容都是标点符号。

---

标识符用作实体的名称。同一个标识符可以用在不同的范围内来指定不同的实体（或同一个实体）。 Linkage 是标识符与实体关联的过程的名称。

有时标准使用“标识符”一词来表示由标识符标识的实体，这在 6.2.1/5 中有所介绍：

除非另有明确说明，否则本国际标准使用术语“标识符”来指代某个实体（与句法构造相反），它指的是相关名称空间中的实体，其声明在该点可见标识符出现。

---

第一个代码是错误的，因为 6.7/3：

如果标识符没有链接，则标识符的声明（在声明符或类型说明符中）不得超过一个具有相同范围和相同名称空间的声明，除了：[...]

int x; 没有链接，因此在同一范围内不应有x 的另一个定义。 （例外列表与本案例无关）。

在第二个代码中，没有违反 6.7/3，因为第二个声明与第一个声明不在同一范围内。您引用的文字解释说，extern int x; 命名的实体与 int x; 命名的实体不同，这很好。

由于声明具有外部链接的标识符但未提供定义，第二个程序具有未定义的行为（无需诊断）。您可能会看到也可能不会看到错误消息。