LoginSignup
2
1

More than 3 years have passed since last update.

@Ki-da(Touka)in株式会社KOSKA

共変・反変の備忘メモ

Posted at

はじめに

自分ではまだ使ったことない、ライブラリのソースコードでたまに見かける共変・反変についてどういった挙動をするのかは知っていたが、具体的な使い方のイメージがよくわからなかったので簡単なメモとして残した

共変

例

trait List[+A] 

sealed trait Animal 
case class Dog(name: String) extends Animal
case class Cat(name: String) extends Animal

val dogs: List[Dog] = ??? 
val cats: List[Cat] = ???
val animals: List[Animal] = dogs
val animals2: List[Animal] = cats

状況

  • trait List[+A]の宣言によってListが生み出す型は、型のサブタイプの関係性を維持する
  • 具体例でいうと「DogはAniamlのサブタイプ => List[Dog]はList[Animal]のサブタイプ」

使用されるケース

  • outputの型として使うのが便利になるケース
  • 上記の例でいうと最終的にListが得られる状況が大事で具体的なList[Dog]という型に関心がないケース

反変

例

trait Show[-A] {
    def show(value: A): Unit = ???
}

val animal: Show[Animal] = ???
val dog: Show[Dog] = animal
val cat: Show[Cat] = animal

状況

  • trait F[-A]の宣言によってFが生み出す型のサブタイプの関係性が逆転する
  • 具体例でいうと「DogはAnimalのサブタイプ => Show[Dog]はShow[Animal]のスーパータイプ」

使用されるケース

終わりに

基本はメモ程度の内容なので、大したこと書いてないですがとりあえず、忘れたときにでも見返して思い出す程度のことが書かれてはいる
反変は特にイメージ難しいので忘れたらまた見返したい

2
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
2
1