类型:对具体虚实例对象的构造与特征的抽象描述和对该描述的指称命名;
——基本类型:没有构造描述,只有特征描述与特征的固定实现的类型;
——构造类型:通过构造描述来实现特征描述的内部实现的类型
类例:类型的具体虚实例对象;
——虚例:具有确定的归属类型的假设存在的对象;
——实例:具有确定的归属类型的实际存在的对象;
根据类型声明类例;
对一个类型可以声明多个虚例;
对一个类型可以声明多个实例;
对类型的指称命名用来做声明的索引;
对一个类型的构造描述需要用到1到多个其他类型的虚例;
实例化一个类型,靠实例化类型构造描述中的虚例来实现;
https://blog.sciencenet.cn/blog-33982-472402.html
上一篇:
向理论思维学习理论物理下一篇:
直接对象类型