类型关系

以下部分定义了描述编译器类型检查所需类型的几个关系。

• 类型相等性
• 类型相等与类型区分
• 子类型关系
• 可转换关系
• 赋值兼容性