Функциональные (SAM) интерфейсы

Преобразования SAM

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

Вместо создания класса, который вручную реализует функциональный интерфейс, вы можете использовать лямбда-выражение. При преобразовании SAM Kotlin может преобразовать любое лямбда-выражение, чья сигнатура соответствует сигнатуре единственного метода интерфейса, в код, который динамически создаёт реализацию интерфейса.

Например, рассмотрим следующий функциональный интерфейс Kotlin:

fun interface IntPredicate {
   fun accept(i: Int): Boolean
}

Если вы не используете преобразование SAM, вам необходимо написать код, подобный этому:

// Creating an instance of a class
val isEven = object : IntPredicate {
   override fun accept(i: Int): Boolean {
       return i % 2 == 0
   }
}

Используя преобразование SAM Kotlin, вместо этого можно написать следующий эквивалентный код:

// Creating an instance using lambda
val isEven = IntPredicate { it % 2 == 0 }

Короткие лямбда-выражения заменяют весь ненужный код.

fun interface IntPredicate {
   fun accept(i: Int): Boolean
}

val isEven = IntPredicate { it % 2 == 0 }

fun main() {
   println("Is 7 even? - ${isEven.accept(7)}")
}

Вы также можете использовать преобразования SAM для Java-интерфейсов.

Миграция из интерфейса с конструктором-функцией к функциональному интерфейсу

Начиная с версии 1.6.20, Kotlin поддерживает ссылки на вызываемые объекты для конструкторов функциональных интерфейсов, что добавляет совместимый с исходным кодом способ миграции из интерфейса с конструктором-функцией к функциональному интерфейсу. Рассмотрим следующий код:

interface Printer { 
    fun print() 
}

fun Printer(block: () -> Unit): Printer = object : Printer { override fun print() = block() }

С поддержкой ссылок на вызываемые объекты для конструкторов функциональных интерфейсов этот код можно заменить всего лишь объявлением функционального интерфейса:

fun interface Printer { 
    fun print()
}

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

documentsStorage.addPrinter(::Printer)

Сохраните двоичную совместимость, пометив устаревшую функцию Printer аннотацией @Deprecated с DeprecationLevel.HIDDEN:

@Deprecated(message = "Your message about the deprecation", level = DeprecationLevel.HIDDEN)
fun Printer(...) {...}

Функциональные интерфейсы против псевдонимов типов

Вы также можете просто переписать вышеизложенное, используя псевдоним типа для функционального типа:

typealias IntPredicate = (i: Int) -> Boolean

val isEven: IntPredicate = { it % 2 == 0 }

fun main() {
   println("Is 7 even? - ${isEven(7)}")
}

Однако, функциональные интерфейсы и псевдонимы типов служат разным целям. Псевдонимы типов — это просто имена существующих типов; они не создают новый тип, в то время как функциональные интерфейсы — это новый тип. Вы можете предоставить расширения, специфичные для определенного функционального интерфейса, которые не будут применимы к простым функциям или их псевдонимам типов.

Псевдонимы типов могут иметь только один член, в то время как функциональные интерфейсы могут иметь несколько неабстрактных членов и один абстрактный член. Функциональные интерфейсы также могут реализовывать и расширять другие интерфейсы.

Функциональные интерфейсы более гибкие и предоставляют больше возможностей, чем псевдонимы типов, но они могут быть более дорогими как синтаксически, так и во время выполнения, потому что они могут потребовать преобразований в конкретный интерфейс. При выборе того, какой из них использовать в вашем коде, учитывайте свои потребности:

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

• Если ваш API принимает более сложную сущность, чем функция — например, у неё есть нетривиальные контракты и/или операции над ней, которые невозможно выразить в сигнатуре функционального типа — объявите отдельный функциональный интерфейс для неё.