泛型没有内建的协变类型？

这是因为数组在语言中是完全定义的，因此可以内建编译和运行时检查；而在使用泛型时，编译器和运行时系统都不知道你想用类型做些什么，以及该采取什么样的规则。这句话如何理解呢，用数组编译器和运行时系统就知道你想用类型做些什么吗？

与恶龙缠斗过久,自身亦成为恶龙；凝视深渊过久,深渊将回以凝视…

Categories