type L[A]とtype L[+A]の違いはなんですか

質問内容

Scalaで以下の２つの定義の違いはなんでしょうか？
型のエイリアスに共変が必要になる理由が知りたいです。

scala
1type L1[A] = scala.collection.immutable.List[A]

scala
1type L2[+A] = scala.collection.immutable.List[A]

非変のL1[A]を使っても、共変L2[+A]を使っても以下のコードがコンパイルも通って、実行も可能でした。

scala
1object Main extends App {
2	type L1[A]  = scala.collection.immutable.List[A]
3	type L2[+A] = scala.collection.immutable.List[A]
4 
5 
6	val a: L1[String]       = List("apple", "orange", "melon")
7	val b: L1[CharSequence] = a // 定義可能です
8 
9 
10	val c: L2[String]       = List("apple", "orange", "melon")
11	val d: L2[CharSequence] = c // 定義可能です
12 
13	println("実行もOK")
14}

Ideoneで確認できます（https://ideone.com/ODNPYa）

package object scalaで定義されているListはL2と同じ定義で、List[+A] = scala.collection.immutable.List[A]になってるみたいです。

あと、反変のL3[-A]だと流石にコンパイルは通りませんでした。

L1[A]とL2[+A]の違いが現れるときは、どんなコードでしょうか？

行動規範の内容に同意します

回答1件

ベストアンサー

Scalaについては心もとないレベルであり、言語仕様書を読めてないのでいささか気が引けますが・・・

type ID[A] = TYPE[A]と書いたとき右辺のTYPEの変異が決まっている型の場合、左辺の変異指定をしたからといって変異が変更できるようなものではない気がします。もしできしまうと右辺の型の(変異についての)定義をねじまげてしまえることになり矛盾が起こるのではないでしょうか。そのため例に挙げておられるようなケースではL1,L2とも同じように振舞うのではないかと思いました。

ということはその型が具体的にどんな型なのかが未定の状態での型指定で用いるのではないかと思い次のようなコードを書いてみました。(ほぼ意味がないコードで恐縮ですが)

scala
1abstract class AbstractMoo[A] {
2  type LA <: A
3  type B[+A] // <=====(1)
4
5  def foo(a: B[A]): Unit
6  def zoo(): B[LA]
7
8  def passZooToFoo(): Unit = foo(zoo()) // <===(1)が共変になっていないとエラー
9}
10
11class ConcreteMoo extends AbstractMoo[CharSequence] {
12  override type LA = String
13  override type B[+A] = Seq[A]
14
15  override def foo(a: Seq[CharSequence]): Unit = println(a)
16  override def zoo(): Seq[String] = Seq("a", "b")
17}