最近了解到了一个概念叫做“协变”。

协变与逆变(Covariance and contravariance )是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。

什么意思？比如在Go语言中，[]int与[]interface{}是不同的类型，如果Go支持了[]int到[]interface{}的直接转换，那我们就可以说Go支持了协变。然而Go不支持，我们只能通过遍历数组来做转换。最关键的是Go连泛型都没有，实在是不能忍。