Всем привет, немного не понимаю почему странно ведет себя type

Question

Всем привет, немного не понимаю почему странно ведет себя type

inference

Собственно кейс:
val map = HashMap<String, HashSet<String>>()
val someMapKeys = HashSet<String>()
someMapKeys.flatMapTo(HashSet()) { map[it] ?: HashSet() } // HashSet<Any?>

Однако вот такие варианты уже выводят тип правильно:

val map = HashMap<String, HashSet<String>>()
val someMapKeys = HashSet<String>()
someMapKeys.flatMapTo(HashSet()) {
val iterable = map[it] ?: HashSet()
iterable
} // HashSet<String>

val map = HashMap<String, HashSet<String>>()
val someMapKeys = HashSet<String>()
someMapKeys.flatMapTo(HashSet<String>()) { map[it] ?: HashSet() } // HashSet<String>

val map = HashMap<String, HashSet<String>>()
val someMapKeys = HashSet<String>()
someMapKeys.flatMapTo(HashSet()) { map[it].orEmpty() } // HashSet<String>

Интересно почему так происходит

#kotlin #programming #russian

0

30.07.2019

1 ответов

13 просмотров

Andrey Antipov · Accepted Answer

Andrey Antipov

А почему вы считаете, что в первом варианте HashSet<Any?> выводится?

0

30.07.2019

169 похожих чатов

Всем привет, немного не понимаю почему странно ведет себя type

1 ответов

Похожие вопросы