List型を返すJavaライブラリの関数をKotlinから呼んだ時のKotlin上での型について教えてください

Question

以下のコードを書いてみました

public List<String> returnStringList(String value) {
    List<String> list = new ArrayList<String>();
    if (value != null) {
        list.add(value);
        list.add(null);
        return list;
    } else {
        return null;
    }
}

これをKotlinから呼び出してみました

 val test = Test().returnStringList("test")

これは以下のようになると予測していました

 val test: List<String?>? = Test().returnStringList("test")

しかしIDEAで型を見てみると以下のように見慣れない記述がされていました

 val test: (MutableList<String!>..List<String!>?)

なぜこのような形になるのか詳しいかた、詳細に解説をお願いします。
（この..は何なのか？rangeTo?そういったとこまで知りたいです）

上記のJava関数をIDEAの機能でKotlinコードに変換してもList<String?>?が戻り値になるので、同義なのだろうなとは思っています。

Comments

[jimbe]

> 必ず空のList<String>が返ってくるはず
そうは見えませんけども。

[noob_at]

すみません、そこはコード修正をしながら書いていたので間違えました
既に修正済みです

[hoshi-takanori]

.. は flexible type (内部的に使われる) ってやつみたいですね。
https://kotlinlang.org/spec/type-system.html#flexible-types

[noob_at]

おお、ありがとうございます！

Answer 1

IntelluJでtestにマウスポインタをあてたとき、ポップアップ表示される情報のことですね。

val test: (MutableList<(String..String?)>..List<(String..String?)>)

確証はありませんが、取りうる型として、以下のものがある、と示しているのではないかと。

• MutableList<String)>
• MutableList<String?)>
• List<String)>
• List<String?)>

Comments

[shiketa]

> 確証はありませんが

あらら。hoshi-takanoriさんのコメントがありましたね。

> .. は flexible type (内部的に使われる) ってやつみたいですね。
> https://kotlinlang.org/spec/type-system.html#flexible-types

[noob_at]

hoshi-takanoriさん、shiketaさん、ありがとうございました。
なんとなく予想した通りでしたが、ドキュメントをみてかなり理解度が上がりました。
サブタイプととかが絡んでくるのですね、納得です。