C#泛型接口中的不變量

本文部分說明來自書籍和網摘。

接口成員實例化之後該接口成員的“返回值類型”和“參數類型”不能改變的接口，稱之爲不變量(接口中的)。

其他常見的不變量還有常量（即常數）、const靜態字段（即const靜態變量）等。

不能將不變量接口的（引用）對象賦給任何其他接口的（引用）對象。

也就是說泛型不變量接口其實就是一種“普通”的接口，只不過加了一個泛型類型參數。

協變和逆變正是建立在“不變”的基礎之上的。