虚例是什么意思

  虚例：具有确定的归属类型的假设存在的对象

  实例：具有确定的归属类型的实际存在的对象

根据类型声明类例

对一个类型可以声明多个虚例

对一个类型可以声明多个实例

对类型的指称命名用来做声明的索引

对一个类型的构造描述需要用到1到多个其他类型的虚例

实例化一个类型，靠实例化类型构造描述中的虚例来实现