質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
Kotlin

Kotlinは、ジェットブレインズ社のアンドリー・ブレスラフ、ドミトリー・ジェメロフが開発した、 静的型付けのオブジェクト指向プログラミング言語です。

Spring Boot

Spring Bootは、Javaのフレームワークの一つ。Springプロジェクトが提供する様々なフレームワークを統合した、アプリケーションを高速で開発するために設計されたフレームワークです。

Q&A

解決済

1回答

1324閲覧

Kotlinのジェネリクス型、共変について、イマイチ理解できていません。

tomuziso

総合スコア40

Kotlin

Kotlinは、ジェットブレインズ社のアンドリー・ブレスラフ、ドミトリー・ジェメロフが開発した、 静的型付けのオブジェクト指向プログラミング言語です。

Spring Boot

Spring Bootは、Javaのフレームワークの一つ。Springプロジェクトが提供する様々なフレームワークを統合した、アプリケーションを高速で開発するために設計されたフレームワークです。

0グッド

0クリップ

投稿2018/11/09 02:44

KotlinとSpringBootを使って開発しています。

あるモデルクラスがあります。
以下の関数にて、Hogehoge<mogeElement>を戻り値としようとしています。

fun search(): Hogehoge<mogeElement> { Hogehoge(items, size) // itemsはList<mogeElement> // sizeはInt {

モデルクラス

class Hogehoge<out T>( val items: List<T>, val size: Int )
class mogeElement(){ 略 }

上記のsearch関数は正しく動きます。
しかし、seachクラスで条件分岐を行い、

fun search(): Hogehoge<mogeElement> { if (~~) { Hogehoge(items, size) // itemsはList<mogeElement> // sizeはInt } else { val anotherItems // List<Long>を作成 Hogehoge(anotherItems, size) } }

とすると、anotherItemsを使ったことで戻り値である、Hogehoge<mogeElement>
が返せずエラーが出ます。

ちなみに、以下の場合ではエラーが出ませんでした。

fun search(): Hogehoge<mogeElement> { if (~~) { Hogehoge(items, size) // itemsはList<mogeElement> // sizeはInt } else { Hogehoge(empltyList(), size) } }

emptyList()の実装を見てみると、以下のような感じでした。
public fun <T> emptyList(): List<T> = EmptyList

自分に認識としては、

class Hogehoge<out T>( val items: List<T>, val size: Int )

itemsがList<T>を取るので、Hogehoge内に渡したListの型がそのまま戻り値となる、という認識でした。

つまり、一つの関数内で2つの Hogehoge(items, size)Hogehoge(anotherItems, size)を返すためには、
戻り値をList<Any>にするしかないと思っていました。
しかし、最後のemptyList()を使った例だと戻り値がHogehoge<mogeElement>のままでも大丈夫となります。

これは何故でしょうか?emptyList()の型がList<T>ではあるのですが、search関数の戻り値がHogehoge<mogeElement>のままで大丈夫な理由がイマイチ掴めません。

どなたか教えて頂ける方居ましたらよろしくお願いします。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

emptyList()の型がList<T>ではあるのですが、search関数の戻り値がHogehoge<mogeElement>のままで大丈夫な理由がイマイチ掴めません。

search関数の戻り値がHogehoge<mogeElement>なので、emptyList()のTがmogeElementと推論されています。
したがって、Hogehoge(empltyList(), size)Hogehoge(empltyList<mogeElement>(), size) という呼び出しと同じとなるためコンパイルが通ります。
他方、ジェネリクスを明記して Hogehoge(empltyList<Long>(), size) とするとコンパイルは通りません。

投稿2018/11/09 03:20

YamakawaJunichi

総合スコア630

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

tomuziso

2018/11/09 07:17

回答ありがとうございます。 class Hogehoge<out T>( val items: List<T>, val size: Int ) というHogeHogeクラスが渡されたitemsの型に依存する(推論してくれる) List<Long>を渡してしまえばList<Long>で固定されてしまうが、List<T>であれば引数を渡した時点では固定されない、ということでしょうか? emptyList()を渡した場合、呼んだ元である`search`クラスの戻り値を見て推論してくれる、という認識であっていますか?
YamakawaJunichi

2018/11/09 07:35

> List<T>であれば引数を渡した時点では固定されない いえ、違います。 インスタンス生成時にTの型は決まります。 emptyList<T>()の返り値の型が List<T>であり、これをジェネリクスを付けずに呼ぶと、searchの返り値の型を見てemptyList<T>のTをmogeElementと推論します。 すると、emptyList()はList<mogeElement>を返すので、それを受け取ったHogeHogeは<mogeElement>になります。 なかなかややこしいですね・・・
tomuziso

2018/11/13 04:03

返信遅れまして申し訳ありません。 > インスタンス生成時にTの型は決まります。 こういう事だったのですね。だいぶ流れが掴めてきました。 なかなか最初は理解しづらかったのですが、少しづつ理解できてきました。 ありがとうございました。ベストアンサーです!
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問