BuilderInference

Начиная с Kotlin: 1.3

@Target(allowedTargets = [AnnotationTarget.VALUE_PARAMETER, AnnotationTarget.FUNCTION, AnnotationTarget.PROPERTY])


@ExperimentalTypeInference

annotation class BuilderInference

Позволяет выводить аргументы обобщённых типов функции на основе вызовов в аннотированном параметре этой функции.

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

В выводе типов участвуют вызовы членов типа-получателя аннотированного параметра функции или расширений для этого типа. Сами расширения должны быть аннотированы с помощью @BuilderInference.

Пример: объявим

fun <T> sequence(@BuilderInference block: suspend SequenceScope<T>.() -> Unit): Sequence<T>

и воспользуемся этим следующим образом:

val result = sequence { yield("result") }

Здесь аргумент типа результирующей последовательности выводится как String на основе аргумента функции SequenceScope.yield, которая вызывается внутри лямбда-выражения, переданного в sequence.

Примечание: Эта аннотация устарела и больше не должна использоваться. Компилятор автоматически включает вывод типов в builder-вызовах, когда это необходимо.