Всем привет А есть какое-либо объяснение этому или это баг? (на

Question

Всем привет А есть какое-либо объяснение этому или это баг? (на

багтрекере не нашёл)

interface A
interface NotA

fun <T : A> findA(): T = TODO()

fun test() {
val notA: NotA = findA() // компилится
val notA2 = findA<NotA>() // не компилится
// Type argument is not within its bounds.
// Expected: A
// Found: NotA
}

#kotlin #programming #russian

0

11.03.2022

5 ответов

10 просмотров

Alexander Nozik

Denis Kalinochkin
Думаю, сверху findA<Nothing>

+

0

11.03.2022

Vladimir Petraković

Denis Kalinochkin
Думаю, сверху findA<Nothing>

Мне казалось, автовывод Nothing запрещён или хотя бы должен вывести предупреждение. Иначе слишком легко выстрелить в ногу и получить проблемы в рантайме.

0

11.03.2022

Vladimir Garkovich Автор вопроса

Vladimir Petraković
Мне казалось, автовывод Nothing запрещён или хотя ...

да, вот это и смущало, что нет ни ошибки, ни ворнинга, вообще ничего выходит писать val t: T немного опасно и лучше передавать явно тип в функцию, которые поддаются компайл проверкам

0

11.03.2022

Vladimir Petraković

Мне кажется, стоит завести баг. До 1.4 была такая ошибка: Type parameter bound for T in fun <T : A> findA(): T is not satisfied: inferred type NotA is not a subtype of A А выводить Nothing в такой ситуации - это дичь.

0

11.03.2022

Denis Kalinochkin · Accepted Answer

Denis Kalinochkin

Думаю, сверху findA<Nothing>

0

11.03.2022

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

Всем привет А есть какое-либо объяснение этому или это баг? (на

5 ответов

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