如果两种类型相同，则它们具有兼容类型：混淆

Question

C2x (N2596), 6.2.7 兼容类型和复合类型, 1:

Two types have compatible type if their types are the same.

那句话的语法很混乱。

例如：

• 类型怎么可以有类型？或者“他们的类型”是什么意思？
• “兼容类型”是什么意思？有例子吗？

请说明谁很了解这个话题。

更新。这是改写后的句子：

Two types are compatible if they are the same.

Answer 1

这句话的意思是如果类型X和类型Y是同一类型，则X与Y兼容（反之亦然，当然）。

用数学术语来说，兼容性是自反的（任何类型都与自身兼容）。