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

Являясь статически типизированным языком, 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 запрещены.

Для более технического описания см. документ спецификации.