type: doc layout: reference category: "Syntax"

title: "动态类型"

动态类型

在面向 JVM 平台的代码中不支持动态类型 {:.note}

作为一种静态类型的语言，Kotlin仍然需要与无类型或松散类型的环境（例如 JavaScript生态系统）进行互操作。为了方便这些使用场景，语言中有 dynamic 类型可用：

val dyn: dynamic = ……

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 类型的值是禁用的。

更多技术说明请参见规范文档。