Функции и лямбды

Функция-расширение объявляется вне класса, а сам класс становится её ресивером: fun String.shout() = uppercase(). Внутри this — это ресивер, место вызова выглядит как вызов члена, но в класс ничего не добавляется.

Функция высшего порядка принимает функцию параметром или возвращает функцию. Её параметр объявлен функциональным типом вроде (Int) -> Boolean, а вызывающий передаёт лямбду, ссылку на функцию ::isEven или любое значение этого типа.

Kotlin сопоставляет оператору условное имя функции: + вызывает plus, a[i] вызывает get, a(x) вызывает invoke. Функция должна быть помечена operator и совпасть по сигнатуре; без этого слова форма оператора не компилируется.

Если последний параметр функции имеет функциональный тип, лямбду можно писать после скобок: items.filter { it > 0 }. Когда это единственный аргумент, скобки исчезают, и вызов measure { ... } читается как языковой блок.

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

В класс ничего не добавляется, поэтому хранить поле негде: у свойства-расширения нет backing field. Определяйте его через собственный get() и при необходимости set(), вычисляя значение из ресивера; инициализатор — ошибка компиляции.

Расширение разрешается по объявленному статическому типу, а не по типу времени выполнения: оно компилируется в статическую функцию и ничего не переопределяет, поэтому при it: Notification берутся версии для Notification. Нужны open-члены и override.

Её тип — T.() -> Unit: внутри тела ресивер доступен как this, поэтому члены ресивера видны без квалификатора. Билдер создаёт новый T и передаёт его в такую лямбду — поэтому html { body { ... } } вызывает члены, не называя объект.

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

Форма оператора разрешается только в функцию с условным именем, помеченную operator. Переименуйте at в get, а has в contains и пометьте обе operator: расширение может нести это слово, поэтому класс библиотеки править не нужно.

tailrec заставляет компилятор переписать самовызов в хвостовой позиции в цикл: кадр переиспользуется, и глубокая рекурсия не переполняет стек. n * fact(n - 1) не в хвостовой позиции — перенесите отложенную работу в аккумулятор локального помощника.

Компилируются они в одно и то же: статический метод, принимающий ресивер первым параметром, в файловом классе вроде StringUtilsKt. Отличается место вызова — s.shout() вместо shout(s), — плюс свойства-расширения и импорт.

Неявные ресиверы прячут субъект каждого вызова: неквалифицированное имя может прийти от любого объемлющего ресивера и связывается по объявленному типу, поэтому читатель не разрешит его локально. DSL стоит ограничить: @DslMarker, минимум операторов.