我总是学习"A Type定义数据如何存储在内存中以及可以在其上执行的操作."
如果你考虑一个带有局部变量和方法的类,这是有道理的.实例变量定义了需要为新实例分配内存的方式,而公共方法描述了可以对该类的实例执行的操作的契约.
有很多方法可以回答这个问题,每种方式都适用于某些模型,但不适用于其他模型.我最喜欢的一般定义是类型是世界上所有值的某个子集(例如,类型"正整数"包括值1但不包括值"Stack Overflow").类型显然可以重叠(1可以是整数或正整数类型).这个定义给出了"更大"(更具包容性)和"更小"类型的良好直观感,这有助于理解协方差和逆变.
| 归档时间: |
|
| 查看次数: |
462 次 |
| 最近记录: |