本文部分说明来自书籍和网摘。
接口成员实例化之后该接口成员的“返回值类型”和“参数类型”不能改变的接口,称之为不变量(接口中的)。
其他常见的不变量还有常量(即常数)、const静态字段(即const静态变量)等。
不能将不变量接口的(引用)对象赋给任何其他接口的(引用)对象。
也就是说泛型不变量接口其实就是一种“普通”的接口,只不过加了一个泛型类型参数。
协变和逆变正是建立在“不变”的基础之上的。
本文部分说明来自书籍和网摘。
接口成员实例化之后该接口成员的“返回值类型”和“参数类型”不能改变的接口,称之为不变量(接口中的)。
其他常见的不变量还有常量(即常数)、const静态字段(即const静态变量)等。
不能将不变量接口的(引用)对象赋给任何其他接口的(引用)对象。
也就是说泛型不变量接口其实就是一种“普通”的接口,只不过加了一个泛型类型参数。
协变和逆变正是建立在“不变”的基础之上的。