Основы Kotlin

Повседневный синтаксис Kotlin выглядит как облегчённая Java — и именно поэтому его читают неверно. За каждой «просто удобной» конструкцией стоит конкретное решение компилятора, и вопрос на собеседовании всегда про него. val фиксирует не объект, а ссылку, и это разные вещи. if и when — не инструкции, а выражения со значением, откуда сразу следует и отсутствие тернарного оператора, и требование исчерпывающего when в позиции выражения. Строковый шаблон не интерпретируется в рантайме — он разворачивается компилятором в конкатенацию, так что «дорогой» он только на вид.

Второй пласт темы — про типы, которых в Java просто нет. Unit — не void: это настоящий тип ровно с одним значением, и именно поэтому лямбда без результата имеет тип () -> Unit, тогда как void в аргументы дженерика подставить нельзя. Any — корень non-nullable части иерархии (настоящая вершина — Any?), и, вопреки популярному ответу, wait/notify его членами не являются. Третий пласт — то, что компилятор дописывает за вас: функция верхнего уровня превращается в static-метод класса ИмяФайлаKt, а аргумент по умолчанию — в синтетический $default-мост с битовой маской переданных параметров (отсюда и @JvmOverloads для Java). Наконец, scope-функции: их пять, и различаются они всего по двум осям — this против it и «вернуть получателя» против «вернуть результат лямбды». Разбор по слоям — ниже.

Карта темы

• val, var и границы неизменяемости — почему val замораживает ссылку, а не объект, что делает backing field и как val с собственным getter возвращает разное значение при каждом чтении.
• if, when и try как выражения — значением становится последнее выражение выбранной ветки, откуда берутся отсутствие тернарного оператора и требование исчерпывающего when.
• Строковые шаблоны — $name и ${expr}, разворачивание в конкатенацию на этапе компиляции, raw-строки с trimIndent() и экранирование литерального доллара.
• Тип Unit — тип с ровно одним значением против void, который типом не является, и почему это важно для дженериков и лямбд.
• Иерархия Any и Nothing — Any как корень non-nullable типов, Any? как настоящая вершина, Nothing как дно и что на самом деле объявлено у Any.
• Функции верхнего уровня — функция без класса-держателя, генерируемый класс ИмяФайлаKt со static-членами и переименование через @JvmName.
• Аргументы по умолчанию и именованные аргументы — умолчание как выражение, вычисляемое на каждом вызове, синтетический $default-мост с битовой маской и @JvmOverloads для Java.
• Scope-функции — две оси выбора (this против it, получатель против результата лямбды), роль каждой из пяти и цена вложенности.

Частые ошибки и ловушки

Значение для собеседований

Основы — это фильтр первого прохода. По ответу на «в чём разница между val и var» интервьюер за одну фразу понимает, думает ли кандидат о ссылке или об объекте: «val — это неизменяемость» — стоп-слово, «val — это ссылка, присваиваемая один раз, объект за ней изменяем» — зелёный свет. Дальше та же логика применяется ко всей теме: спрашивают не термины, а модель исполнения — что компилятор физически кладёт в байт-код, когда встречает шаблон строки, умолчание в сигнатуре или функцию, объявленную вне класса.

Что обычно проверяют:

• val против var и точную границу гарантии val (ссылка, а не объект; собственный getter).
• Почему if и when — выражения, почему нет тернарного оператора и когда when обязан быть исчерпывающим.
• Во что компилятор разворачивает строковый шаблон и как вставить литеральный $.
• Unit против void и Unit против Nothing.
• Где стоят Any, Any? и Nothing и что реально объявлено у Any.
• Во что компилируется функция верхнего уровня и как её вызвать из Java.
• Когда вычисляется аргумент по умолчанию и что генерирует @JvmOverloads.
• Две оси выбора scope-функции и почему вложенность вредна.

Типичный неверный ответ: «val — это иммутабельность, var — мутабельность». Отсюда кандидат уверенно выводит следующее: раз val неизменяем, то val с MutableList не примет add, а два чтения val обязаны дать одинаковый результат. Оба вывода ложны. val запрещает переприсваивание ссылки и ровно ничего не говорит про объект: val items = mutableListOf<String>(); items.add("x") компилируется и работает. А val с собственным getter вообще не имеет backing field и пересчитывается при каждом обращении — именно поэтому такое свойство не годится и для smart cast. Второй классический провал — «умолчание mutableListOf() в сигнатуре создаст один общий список»: это правило Python, а не Kotlin; в Kotlin умолчание вычисляется заново при каждом вызове, где аргумент опущен.