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

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

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