ダイナミック型

JVMをターゲットとするコードでは、ダイナミック型はサポートされていません。

Kotlinは静的型付け言語ですが、JavaScriptエコシステムのような、型付けされていない、または緩く型付けされた環境との相互運用が必要になることがあります。これらのユースケースを容易にするため、dynamic型が言語に用意されています。

val dyn: dynamic = ...

dynamic型は基本的にKotlinの型チェッカーを無効にします。

• dynamic型の値は、任意の変数に代入したり、どこへでもパラメータとして渡したりできます。
• 任意の値は、dynamic型の変数に代入したり、dynamicをパラメータとして取る関数に渡したりできます。
• dynamic型の値に対するnullチェックは無効になります。

dynamicの最も特異な機能は、任意のプロパティや関数を任意のパラメータでdynamic変数に対して呼び出すことができる点です。

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

JavaScriptプラットフォームでは、このコードは「そのまま」コンパイルされます。Kotlinのdyn.whatever(1)は、生成されたJavaScriptコードではdyn.whatever(1)になります。

dynamic型の値に対してKotlinで書かれた関数を呼び出す際には、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、[]内に複数の引数があるとエラー

dynamic型の値に対するin、!in、および..演算は禁止されています。

より技術的な説明については、仕様ドキュメントを参照してください。