摘要：时间：2016.11.12； 地点：南京江宁实验室； 状态：迷茫的研一； 为什么会读到这本书？导师推荐的。可以说第一开始听到这本书名时完全是一脸蒙蔽，就像选本科毕设题目时是一样的。。。就是在上半年当老师告诉我他是做形式化的，我一度以为我特么的难道联系到自动化学院了？我可是一门心思向计算机的。后来直到 阅读全文

摘要：1 协变数组类型（covariant array type） 数组的协变性： if A IS-A B then A[] IS-A B[] 也就是说，java中的数组兼容，一个类型的数组兼容他的子类类型数组。 协变数组好处：使得代码的灵活性更强。 协变数组的坏处：过于灵活导致类型混乱，比如： Pero 阅读全文