Kotlin動態類型

作爲一種靜態類型的語言,Kotlin仍然需要與無類型或鬆散類型的環境(例如
JavaScript生態系統)進行互操作。爲了方便這些使用場景,語言中有 dynamic 類型可用:

val dyn: dynamic = ……

在面向 JVM 平臺的代碼中不支持動態類型

dynamic 類型基本上關閉了 Kotlin 的類型檢查系統:

  • 該類型的值可以賦值給任何變量或作爲參數傳遞到任何位置,
  • 任何值都可以賦值給 dynamic 類型的變量,或者傳遞給一個接受 dynamic 作爲參數的函數,
  • null-檢查對這些值是禁用的。

dynamic 最特別的特性是,我們可以對 dynamic 變量調用任何屬性或以任意參數調用任何函數

dyn.whatever(1, "foo", dyn) // 「whatever」在任何地方都沒有定義
dyn.whatever(*arrayOf(1, 2, 3))

在 JavaScript 平臺上,該代碼將按照原樣編譯:在生成的 JavaScript 代碼中,Kotlin中的 dyn.whatever(1) 變爲 dyn.whatever(1)

當在 dynamic 類型的值上調用 Kotlin 寫的函數時,請記住由
Kotlin 到 JavaScript 編譯器執行的名字修飾。你可能需要使用 @JsName 註解
爲要調用的函數分配明確的名稱。

動態調用總是返回 dynamic 作爲結果,所以我們可以自由地這樣鏈接調用:

dyn.foo().bar.baz()

當我們把一個 lambda 表達式傳給一個動態調用時,它的所有參數默認都是 dynamic 類型的:

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

使用 dynamic 類型值的表達式會按照原樣轉換爲 JavaScript,並且不使用 Kotlin 運算符約定。
支持以下運算符:

  • 二元:+-*/%><>=<===!====!==&&||
  • 一元
    • 前置:-+!
    • 前置及後置:++--
  • 賦值:+=-=*=/=%=
  • 索引訪問:
    • 讀:d[a],多於一個參數會出錯
    • 寫:d[a1] = a2[] 中有多於一個參數會出錯

in!in 以及 .. 操作對於 dynamic 類型的值是禁用的。

更多技術說明請參見規範文檔

0 條評論,你可以發表評論,我們會進行改進
Comment author placeholder