共変性と反変性とは何ですか？

型の継承関係がジェネリクスなどの複合型にどのように伝わるかを表す概念。「List<Cat> は List<Animal> として使えるか？」という問いへの答えになる。

共変性と反変性のポイントは？

共変性：子の型を親の型として扱える（出力側で使う）。反変性：親の型を子の型として扱える（入力側で使う）。不変性：そのままでしか使えない（多くのジェネリクスのデフォルト）。JavaScriptのメソッドの引数は共変・反変の両方が混在しうる

【きょうへんせいとはんへんせい】

💡 「親子関係がコンテナにも伝わるか？」型安全の奥にある継承のルール。

📌 このページのポイント

共変性・反変性・不変性 ── ジェネリクスへの継承関係の伝わり方

ひよこ

`List` って `List` として渡せないの？ Cat は Animal なのに！

ペンギン先生

それが型安全の落とし穴なんだ。もし `List` を `List` として使えると、「Dogを追加する」操作もできてしまって、Catしか入っていないはずのリストが壊れてしまうよ。

ひよこ

じゃあ共変性ってどういうときに使えるの？

ペンギン先生

読み取り専用のとき（出力側）は安全に使えるんだ。`Producer` を `Producer` として扱うのはOKだよ。Cat を返すものは Animal を返すものとして使えるからね。Kotlinでは `out` キーワードで指定するよ。

ひよこ

反変性っていうのは逆なの？

ペンギン先生

そうだよ。書き込み専用のとき（入力側）は反変性が使えるんだ。`Consumer` を `Consumer` として使えるよ。Animal を受け取れるものは当然 Cat も受け取れるから安全なんだ。Kotlinでは `in` キーワードを使うね。

ひよこ

不変性っていうのが一番厳しいの？

ペンギン先生

そうだね。読み書き両方できる場合は安全のために不変性にするしかないんだ。JavaのGenericsはデフォルトで不変だよ。ただワイルドカード（`? extends Animal` や `? super Cat`）で共変・反変を表現できるようになっているよ。

まとめ：ざっくりこれだけ覚えればOK！

「共変性と反変性」って出てきたら「ジェネリクスに継承関係が伝わるかどうかのルール」と思えればだいたいOK！

📖 おまけ：英語の意味

「Covariance and Contravariance」＝共変性と反変性

💬 co- は「一緒に」contra- は「反対に」という意味の接頭辞で、型パラメータの変化が元の型の継承方向と同じか逆かを表しているんだよ。