Классы и свойства

Классы Kotlin и их члены по умолчанию final — в отличие от Java. Наследование и переопределение включаются явно через open. Это сделано намеренно: класс должен быть либо спроектирован под наследование (описанные точки расширения, стабильный контракт), либо запрещать его, чтобы подкласс случайно не сломал инварианты, которых автор не предвидел.

Backing field появляется у свойства, только если его аксессоры реально используют field — неявную ссылку на хранимое значение, видимую лишь внутри get/set. Аксессор по умолчанию его использует, поэтому обычный val/var что-то хранит. Свойство с собственным getter, считающим значение из других свойств (val area get() = w * h), не хранит ничего.

Первичный конструктор находится в заголовке класса — class User(val name: String) — и не имеет тела: его работа выполняется в инициализаторах свойств и блоках init. Вторичный объявляется в теле через constructor(...) и обязан делегировать первичному через this(...), если тот есть.

internal открывает объявление всему модулю компиляции — одному source set Gradle, одному модулю Maven — независимо от пакета. Package-private в Java работает по другой оси: только внутри своего пакета, но зато во всех jar, где это имя пакета встречается. Имена internal к тому же искажаются в байткоде, чтобы Java-код не вызвал их случайно.

Инициализаторы свойств и блоки init выполняются сверху вниз, в порядке объявления, как единое тело первичного конструктора. files = load() выполняется до присваивания limit, поэтому load() читает значение по умолчанию 0 и строит пустой список. Компилятор этого не видит, так как чтение идёт через вызов функции. Решение — объявить limit выше files.

По умолчанию вложенный класс — как static-вложенный класс в Java: он не хранит ссылку на внешний экземпляр и не может обращаться к свойствам внешнего класса. inner добавляет неявную ссылку на охватывающий объект, поэтому он читает свойства внешнего класса и использует this@Outer — ценой того, что внешний объект живёт, пока жив внутренний.

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

open — это постоянный публичный контракт: любой подкласс может подменить эти члены, поэтому инвариант из init и оба собственных getter молча переопределяемы, а класс обязан навсегда остаться спроектированным под наследование во всех модулях. Именно поэтому Kotlin делает члены final по умолчанию. Вместо этого вынесите соседа за интерфейс и внедряйте его, чтобы тест подставил fake, не открывая продакшен-код.