一句话,物质在空间上的多样性和在时间上的变化性决定了抽象、间接性和泛型等机制的价值。本质是哲学上所说的,以不变应万变……
目前我对泛型编程的粗浅理解是,它对已有的类型系统再做了一次抽象。注意这个“再”字。因为类型本身已经对实现运行的代码作了一次抽象了的。举个例子,顾员类Employee是对“活生生”的张三李四员工的抽象;换句话说,类对不同的多样的对象进行第一次的共性抽象。而泛型则是对不同的类进行共性抽象,更高一层的抽象。但是这有什么用途和好处有待补充……
一句话,物质在空间上的多样性和在时间上的变化性决定了抽象、间接性和泛型等机制的价值。本质是哲学上所说的,以不变应万变……
目前我对泛型编程的粗浅理解是,它对已有的类型系统再做了一次抽象。注意这个“再”字。因为类型本身已经对实现运行的代码作了一次抽象了的。举个例子,顾员类Employee是对“活生生”的张三李四员工的抽象;换句话说,类对不同的多样的对象进行第一次的共性抽象。而泛型则是对不同的类进行共性抽象,更高一层的抽象。但是这有什么用途和好处有待补充……