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

【问题标题】：Two types have compatible type if their types are the same: confused如果它们的类型相同，则两种类型具有兼容的类型：混淆
【发布时间】：2022-01-11 21:40:32
【问题描述】：

C2x (N2596)，6.2.7 兼容型和复合型，1：

如果类型相同，则两种类型具有兼容类型。

那句话的语法很混乱。

例如：

请说明谁知道该主题。

UPD。这是改写后的句子：

如果两种类型相同，则它们是兼容的。

【问题讨论】：

这里的答案有帮助吗？ stackoverflow.com/questions/62622025/…
你说得对，那句话的语法很糟糕。它应该是“A 类型与自身兼容”。要回答“兼容类型”是什么意思的问题，您应该查看定义中的所有其他规则，因为相同类型是足够，但不是必要。
@EdmCoff 是的，谢谢。

【解决方案1】：

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

在数学术语中，这意味着兼容性是自反的（任何类型都与自身兼容）。

【讨论】：