Kotlin 泛型中的 in 和 out

簡評：在 kotlin 中使用泛型你會注意到其中引入了 in 和 out，對於不熟悉的開發者來說可能有點難以理解。從形式上講，這是一種定義

逆變和協變的方式，這篇文章就來講講怎麼來理解和記住它們。

inte***ce production

in(逆變)

如果你的類是將泛型物件作為函式的引數，那麼可以用 in：

inte***ce consumer

invariant(不變)

如果既將泛型作為函式引數，又將泛型作為函式的輸出，那就既不用 in 或 out。

inte***ce productionconsumer

1. 漢堡提供者根據上面定義的類和介面來設計提供 food, fastfood 和 burger 的類：

class foodstore : production

}class fastfoodstore : production
}class inoutburger : production
}

val production1 : production= foodstore()

val production2 : production= fastfoodstore()
val production3 : production= inoutburger()

因此，對於 out 泛型，我們能夠將使用子類泛型的物件賦值給使用父類泛型的物件。

val production1 : production= foodstore()  // error

val production2 : production= fastfoodstore()  // error
val production3 : production= inoutburger()

class everybody : consumer

}class modernpeople : consumer
}class american : consumer
}

val consumer1 : consumer= everybody()

val consumer2 : consumer= modernpeople()
val consumer3 : consumer= american()

因此，對於 in 泛型，我們可以將使用父類泛型的物件賦值給使用子類泛型的物件。

val consumer1 : consumer= everybody()

val consumer2 : consumer= modernpeople()  // error
val consumer3 : consumer= american()  // error

英文原文：

in and out type variant of kotlin

Kotlin 泛型中的 in 和 out

簡評 在 kotlin 中使用泛型你會注意到其中引入了 in 和 out，對於不熟悉的開發者來說可能有點難以理解。從形式上講，這是一種定義逆變和協變的方式，這篇文章就來講講怎麼來理解和記住它們。out 協變 如果你的類是將泛型作為內部方法的返回，那麼可以用 out inte ce productio...

Kotlin 泛型中的 in 和 out

當我們在 kotlin 中定義泛型時，我們會發現它需要使用到in和out兩個關鍵字來定義。從形式上來講，這是一種定義 逆變 和 協變 的方式。那啥叫逆變？啥叫協變？可以參考下維基百科的定義 協變與逆變 out 協變 如果泛型類只將泛型型別作為函式的返回 輸出 那麼使用 out inte ce pro...

Kotlin筆記之泛型（一）

泛型類和函式 型別引數約束 泛型允許定義帶型別形參的型別，當這種型別的例項被建立出來的時候，型別形參被替換成稱為型別實參的具體型別 例項 原始碼listof函式宣告 funlistof vararg elements t list val list listof hello world 編譯器推導 ...