ジェネリクスの導入

リストやセットのようにオブジェクトのコンテナを例に考える

Any型コンテナ

Any型の引数にすれば何でも受け取れるようになる
⇔毎回ダウンキャストが必要になる

Any型コンテナ

class Container(var value: Any)

val intContainer = Container(123)
println(intContainer.value as Int)
val strContainer = Container("Hello")
println(strContainer.value as String)

特化型コンテナ

型の安全性は担保できるようになった
⇔すべての型に対応しようとしたらキリがない

特化型コンテナ

class IntContainer(var value: Int)
class StrContainer(var value: String)
    .
    .
    .

ジェネリクスコンテナ

型パラメータを受け取る
- 型引数と呼ぶ
Intで初期化した場合はvalueの型はIntになり、Stringで初期化した場合はStringになる
- キャストする必要がなくなる

ジェネリクスコンテナ

class Container<T>(var value: T)

val intContainer = Container(123)
println(intContainer.value)
val strContainer = Container("Hello")
println(strContainer.value)

ジェネリック関数

関数や、メソッド、プロパティも型パラメータを受け取ることができる

fun <T> box(value: T): Container<T> = Container(value)
val <T> T.string: String
    get() = toString()

val container = box(5)
println(container.string)

Swiftはメソッド名の後ろに型パラメータを書くので順番が違う

ジェネリック制約

型パラメータで受け取る型に制限をかけることが可能。
:以降に指定した型のサブタイプにする必要がある

interface Hoge
interface Fuga
class Foo<T>
class Bar<T: Hoge>

Foo<Hoge>() // OK
Foo<Fuga>() // OK

Bar<Hoge>() // OK
Bar<Fuga>() // NG

ここから難しいので、あとで復習する

変位指定

スター投影

具象型

← 文法詳解 - インタフェース