Динамический тип

Являясь статически типизированным языком, Kotlin всё же должен взаимодействовать с нетипизированными или слабо типизированными средами, такими как экосистема JavaScript. Для поддержки таких случаев в языке доступен тип dynamic.

val dyn: dynamic = ...

Тип dynamic по сути отключает проверку типов Kotlin:

• Значение типа dynamic можно присвоить любой переменной или передать в качестве параметра.

• Любое значение можно присвоить переменной типа dynamic или передать в функцию, которая принимает dynamic в качестве параметра.

• Проверки null отключены для значений типа dynamic.

Самой примечательной особенностью типа dynamic является то, что мы можем вызывать любой свойство или функцию с любыми параметрами на переменной типа dynamic:

dyn.whatever(1, "foo", dyn) // 'whatever' is not defined anywhere
dyn.whatever(*arrayOf(1, 2, 3))

На платформе JavaScript этот код будет скомпилирован "как есть": dyn.whatever(1) в Kotlin превращается в dyn.whatever(1) в сгенерированном коде JavaScript.

При вызове функций, написанных на Kotlin, для значений типа dynamic, имейте в виду изменение имён, выполняемое компилятором Kotlin в JavaScript. Возможно, вам потребуется использовать аннотацию @JsName для присвоения хорошо определённых имён функциям, которые необходимо вызвать.

Динамический вызов всегда возвращает dynamic в качестве результата, поэтому вы можете свободно их объединять:

dyn.foo().bar.baz()

Когда вы передаёте лямбда-выражение в динамический вызов, все его параметры по умолчанию имеют тип dynamic.

dyn.foo {
    x -> x.bar() // x is dynamic
}

Выражения, использующие значения типа dynamic, переводятся в JavaScript "как есть" и не используют соглашения Kotlin для операторов. Поддерживаются следующие операторы:

• бинарные: +, -, *, /, %, >, < >=, <=, ==, !=, ===, !==, &&, ||

• унарные

  • префиксные: -, +, !

  • префиксные и постфиксные: ++, --

• присваивания: +=, -=, *=, /=, %=

• индексированный доступ:

  • чтение: d[a], более одного аргумента — ошибка

  • запись: d[a1] = a2, более одного аргумента в [] — ошибка

Операции in, !in и .. со значениями типа dynamic запрещены.

Более подробное описание см. в документе спецификации.