Kotlin ポリモフィズムがうまく機能しない

Question

##1. 事象
「Androidアプリ開発の教科書 Kotlin対応（初版第２刷）」を写経しています。
サンプルプログラムの中で、 ジェネリックのmutablMap<String, Any>で、ポリモフィズムがうまく機能しない事象を見つけました。
（ p179 第８章 リストビューのカスタマイズ リスト8.3より必要と思われる部分を抜粋し、事象を説明します。）

　ソースコードの抜粋を示します。

fun main(args: Array<String>) {
    val menuList: MutableList<MutableMap<String, Any>> = mutableListOf()
    var menu  = mutableMapOf("name" to "唐揚げ定食", "price" to 800, "desc" to "若鳥の唐揚げにサラダ")
    menuList.add(menu)
}

　３行目の部分にあるmenuの型は推定の結果、“var menu: MutableMap<String, out {Comparable*> & java.io.Serializable}>”です。

　このMutableMapの要素menuを４行目のmenuListに追加しようとした際に、型が合わない（Kotlin: Type mismatch: inferred type is MutableMap<String, out {Comparable<*> & java.io.Serializable}> but MutableMap<String, Any> was expected
）とエラーを出力しました。

##2.質問
menuListは型が MutableList<MutableMap<String, Any>>なので、型がMutableMap<String, out {Comparable> & java.io.Serializable}>であるmenuListにmenuを追加できると思うのですがエラーになってしまいます。
Anyはすべての型の親なのに、なぜout {Comparable> & java.io.Serializable}>**を受け入れることができないのでしょうか？

　（なお、半年か１年ほど前に写経した同じサンプルプログラムが現存していますが、それは今でもエラーを出力しません。Androidのプロジェクトに含まれているbuild.gradle(Project)を調べてみると当時のKotlinコンパイラのバージョンは1.3.72で、現在のは1.4.32です。もしかするとコンパイラが原因でしょうか？）

##3.応急対応
次のように3行目の変数menuの型を“:MutableMap<String, Any>”と指定することで、エラーは解消されました。

    var menu:MutableMap<String, Any>  = mutableMapOf("name" to "唐揚げ定食", "price" to 800, "desc" to "若鳥の唐揚げにサラダ")

ご指導のほど、よろしくお願いします。

Answer 1

menuListは型が MutableList<MutableMap<String, Any>>なので、型がMutableMap<String, out {Comparable*> & java.io.Serializable}>であるmenuListにmenuを追加できると思うのですがエラーになってしまいます。

これが間違いで、一般にBがAにキャストできるときT<B>がT<A>にキャスト可能とは限りません。
例えば

    val mutableMap: MutableMap<String, String> = mutableMapOf("key" to "value")
    val map: MutableMap<String, Any> = mutableMap

こういった操作が可能な場合、それに続いて

map.add("integer", 1)

というような操作が続いた場合、mapの型からすれば適当な操作ですがその実体であるmutableMapの型からすると不適当な操作です。そのため、val map: MutableMap<String, Any> = mutableMapが禁止されています。

詳しくは分散　共変　反変などで調べてください。

コンパイルエラーの有無が違うのは型推論の結果の違いではないでしょうか(未確認)

Comments

[guijiu]

ご教示ありがとうございます。
”分散　共変　反変”、新しい言葉を知ったような気がします。
調べ直し、わからないようであれば、新たに質問させていただきます。