变量声明和定义不匹配

Question

我正在使用 C89 编译器（嵌入式系统）。

我遇到了一些 C 代码，其中一个翻译单元将变量定义为bool varName;，其中bool 是typedef 的unsigned char。另一个翻译单元 forward 声明变量如下：extern char varName;。

这显然是类型不匹配，是一个错误。我的问题是，这违反了什么确切的规则？我的下意识反应是它违反了 ODR，但只有一个定义，所以我不确定这是否违反了 ODR。

Answer 1

6.2.7p2

引用同一对象或函数的所有声明都应具有 兼容类型；否则，行为未定义。

C89 standard 有相同的段落。

引用同一对象的声明在链接段落中进一步解释：

在不同作用域或同一作用域中声明的标识符更多 不止一次可以通过 a 来引用同一个对象或函数 过程称为联动。联动方式有3种：外联， 内部的，没有。

在构成一个翻译单元和库的集合中 整个程序，特定标识符的每个实例都具有外部 链接表示相同的对象或功能。在一次翻译中 单位，具有内部链接的标识符的每个实例表示 相同的对象或功能。没有链接的标识符表示唯一 实体。

兼容类型本质上意味着相同的类型，但有一些小的注意事项（例如，extern int foo[]; 与 extern int foo[3]; 兼容）。