如何从我的伪联合类型中提取正确的类型

Question

我有一个从 js 返回的伪联合类型。

这是我的 scalajs：

@js.native 特征 ErrorResponse 扩展 js.Object { val 错误：字符串 = js.native val errorDescription: String = js.native } @js.native 特征 TokenResponse 扩展 js.Object{ val accessToken: String = js.native val expriseOn: js.Date = js.native val tokenType: String = js.native val userId: String = js.native val identityProvider: String = js.native }

还有我的 scalajs

@js.native @JSImport("mymodule", "JSClassInModule") 类 JSClassInModule 扩展 js.Object { // ... def scalajsfunc(): 错误响应 | TokenResponse = js.native // .. }

如果我调用 scalajsfunc，我如何习惯性地将返回值归结为伪联合类中指定的两个类之一？

Answer 1

使用模式匹配：

val jsClassInModule: JSClassInModule = ???
(jsClassInModule.scalajsfunc(): Any) match {
  case response: ErrorResponse => ...
  case response: TokenResponse => ...
}

: Any 的归属对于解决 Scala 类型检查器不知道 | 的具体语义这一事实是必要的，并且如果您尝试直接匹配 |，则会给出虚假的错误消息。

编辑：如果个别类型是 JS 特征，即扩展 js.Any 的特征，上述方法将不起作用，因为一般情况下不可能使用 JS 特征执行 isInstanceOf 测试（这是模式匹配所做的，并且大部分与 | 无关）。相反，您需要编写任何有意义的实例测试，然后进行转换。例如，假设我们可以通过测试 errorCode 属性的存在来区分 ErrorResponse 和 TokenResponse，我们可以这样做：

val jsClassInModule: JSClassInModule = ???
(jsClassInModule.scalajsfunc(): Any) match {
  case response if js.Object.hasOwnProperty(response, "errorCode") =>
    val errorResponse = response.asInstanceOf[ErrorResponse]
    ...
  case response =>
    val tokenResponse = response.asInstanceOf[TokenResponse]
    ...
}

这就是 JavaScript 的丑陋本质。