这里需要重拾一下什么是“类型”。抛开“实例化”这些术语，从集合角度出发，类型应该是指 具有特定特性的若干值的集合。 包含一个元素 1 的集合，字面量类型 "1" 是只包含一个元素 "1" 的集合。 这里是我一直以来都陷入的误区。看下面例子： 显然，变量 a 是 A 类型，但是实…