6.11.3 单次编译兼容性

当相同作用域内的两个声明描述相同的对象或函数时，这两个声明必须指定兼容类型。然后这两种类型合并为与这两种类型兼容的单个复合类型。

兼容类型是递归定义的。底部为类型说明符关键字。这些规则规定，unsigned short 与 unsigned short int 相同，不带类型说明符的类型与带有 int 的类型相同。所有其他类型仅当派生它们的类型兼容时才为兼容类型。例如，如果限定符 const 和 volatile 是相同的，且未限定基类型是兼容的，则两个限定类型是兼容的。