Котлин не может определить тип функции со ссылкой на метод - PullRequest
1 голос
/ 30 октября 2019

почему в приведенном ниже примере с mapTwo Котлин не может вывести тип a?

fun <U> mapOne(f: (Int) -> U): U = TODO()
fun <U> mapTwo(f: Function<Int, U>): U = TODO()

fun <T> mapper(a: T): List<T> = TODO()

fun main() {
    mapOne(::mapper)
    mapTwo(::mapper) //won 't compile
}

1 Ответ

1 голос
/ 30 октября 2019

Вывод типа не является причиной ошибки компиляции. mapTwo<List<Int>>(::mapper) также не будет компилироваться из-за того, что ::mapper имеет тип (T) -> List<T> (KFunction1<T, List<T>>), который нельзя присвоить Function<Int, U>.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...