动态类型

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

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

  1. val dyn: dynamic = ……

dynamic 类型基本上关闭了 Kotlin 的类型检查系统：

  • 该类型的值可以赋值给任何变量或作为参数传递到任何位置；
  • 任何值都可以赋值给 dynamic 类型的变量，或者传递给一个接受 dynamic 作为参数的函数；
  • null-检查对这些值是禁用的。
    dynamic 最特别的特性是，我们可以对 dynamic 变量调用任何属性或以任意参数调用任何函数：
  1. dyn.whatever(1, "foo", dyn) // “whatever”在任何地方都没有定义
  2. dyn.whatever(*arrayOf(1, 2, 3))

在 JavaScript 平台上，该代码将按照原样编译：在生成的 JavaScript 代码中，Kotlin中的 dyn.whatever(1) 变为 dyn.whatever(1)。

当在 dynamic 类型的值上调用 Kotlin 写的函数时，请记住由Kotlin 到 JavaScript 编译器执行的名字修饰。你可能需要使用 @JsName 注解为要调用的函数分配明确的名称。

动态调用总是返回 dynamic 作为结果，所以我们可以自由地这样链接调用：

  1. dyn.foo().bar.baz()

当我们把一个 lambda 表达式传给一个动态调用时，它的所有参数默认都是 dynamic 类型的：

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

使用 dynamic 类型值的表达式会按照原样转换为 JavaScript，并且不使用 Kotlin 运算符约定。支持以下运算符：

  • 二元：+、 -、 *、 /、 %、 >、 <、 >=、 <=、 ==、 !=、 ===、 !==、 &&、 ||
  • 一元
    • 前置：-、 +、 !
    • 前置及后置：++、 —
  • 赋值：+=、 -=、 *=、 /=、 %=
  • 索引访问：
    • 读：d[a]，多于一个参数会出错
    • 写：d[a1] = a2，[] 中有多于一个参数会出错
      in、 !in 以及 .. 操作对于 dynamic 类型的值是禁用的。

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

原文: https://hltj.gitbooks.io/kotlin-reference-chinese/content/txt/dynamic-type.html