Kotlin Функция Literal с любым типом приемника

Question

Я пытаюсь заставить kotlin принять тип интерфейса в качестве получателя для функции, но я получаю ошибку компиляции, говорящую о несоответствии типов.

Вот пример:

interface Foo

class Bar : Foo

fun main() {
    val l = initBar {

    }

    initFoo(l) // Doesnt work compile error: Type mismatch.
                                                //Required:
                                                //  Foo.() → Unit
                                                //Found:
                                                //  Bar.() → Unit
}

fun initBar(init: Bar.() -> Unit) = init


fun initFoo(init: Foo.() -> Unit) = Unit

Я получаю следующую ошибку компиляции из этого кода

Type mismatch.
Required:
Foo.() → Unit
Found:
Bar.() → Unit

Есть ли способ заставить функцию initFoo принимать любой объект-получатель, который реализует Foo без приведения?

Спасибо.

Answer 1

Используйте для него обобщенный тип c:

fun <T: Foo> initFoo(init: T.() -> Unit) = Unit

Обратите внимание, это ограничивает то, что вы можете делать с ним внутри функции. Так как вы принимаете функцию, которая может быть вызвана для определенного типа c, вы не можете вызвать переданную лямбду для любого Foo.

fun <T: Foo> initFoo(init: T.() -> Unit) {
    val someFoo = object: Foo {}
    someFoo.init() // ERROR (type mismatch)
}

Это потому, что, например, ваш Bar.() -> Unit функция может использовать свойства и функции Bar, которые не обязательно являются частью любого произвольного Foo.