А в чём баг, как компилятор должен выводить тип ресивера?

Question

Kotlin Community

Vladimir Petraković

А в чём баг, как компилятор должен выводить тип ресивера?

#kotlin #programming #russian

0

05.01.2021

10 ответов

4 просмотра

Alex Levin

Ну идейно звучит, что компилятору не должно быть проблемой отличить строку от числа в лямбде: class Foo { fun bar(stringMaker: () -> String) { println("Our maker created ${stringMaker()}") } } fun Foo.bar(intMaker: () -> Int) = bar { "Int: ${intMaker()}" } fun main() { val foo = Foo() val parameter = { 2 } foo.bar(parameter) //foo.bar { 2 } //doesn't work foo.bar { "abc" } }

0

05.01.2021

Vladimir Petraković Автор вопроса

Alex Levin
Ну идейно звучит, что компилятору не должно быть п...

А, ну это вы про возвращаемый тип функции

0

05.01.2021

Oleg Yukhnevich

Alex Levin
Ну идейно звучит, что компилятору не должно быть п...

такое можно заставить работать с аннотацией(точное её название не помню), потому что здесь хотя бы понятно как определять, какую из ф-ий брать а с ресивером это наверно в общем нереально

0

05.01.2021

Boris Vanin

Oleg Yukhnevich
такое можно заставить работать с аннотацией(точное...

Компилятор отлично с этим справляется, просто не в случае когда я передаю напрямую лямбду в функцию

0

05.01.2021

Oleg Yukhnevich

Boris Vanin
Компилятор отлично с этим справляется, просто не в...

так я именно про лямбду и говорю, а не когда уже созданную просто как параметр передают если отличается ресивер - то его же никак не определить кроме как указав его через fun T.() {}

0

05.01.2021

Boris Vanin

Oleg Yukhnevich
так я именно про лямбду и говорю, а не когда уже с...

так я делаю as T.()->Unit и это не помогает

0

05.01.2021

Vladimir Petraković Автор вопроса

Boris Vanin
так я делаю as T.()->Unit и это не помогает

Сомневаюсь, что кастовать один функциональный тип к другому - это хорошая затея. Но странно, что это не помогает.

0

05.01.2021