ts类型implements后类型为never？

Question

ts类型implements后类型为never？

发布于
2023-10-20 北京

更新于
2023-10-20

type ParamsA = { test: string }
type ParamsB = { test: number }

interface Base {
  create(params: unknown): void
}

class PageA implements Base {
  create(p: ParamsA) {

  }
}

class PageB implements Base {
  create(p: ParamsB) {

  }
}


let a = 1

const e = a > 1 ? new PageA() : new PageB()

e.create({ test: '1' })

这里的 create 方法参数的类型理想状态下应该是 ParamsA | ParamsB，这里为什么会是 ParamsA & ParamsB

在线查看代码

typescript javascript

阅读 431

AI BotBETA

这个问题涉及到 TypeScript 的类型推断和类型别名。

在 TypeScript 中，当你定义了两个不同的类型（在本例中是 ParamsA 和 ParamsB），并且试图用条件语句（如 let e = a > 1 ? new PageA() : new PageB()）来创建这两个类型的实例时，TypeScript 并不会推断出这是一个 ParamsA | ParamsB 的类型。相反，它只会推断出这是一个 ParamsA & ParamsB 的类型。

这是因为在 TypeScript 中，当你使用条件语句来创建对象时，它不会将参数类型视为可变动的，而是将其视为固定的。也就是说，不论条件语句的条件是什么，TypeScript 都会认为你创建的对象具有相同的类型。

在你的例子中，不论 a 的值是多少，你始终在创建 PageA 或 PageB 的实例。因此，当你尝试调用 create 方法时，TypeScript 认为你传入的参数必须是 ParamsA 或 ParamsB 的实例。

然而，在你的代码中，你传入的参数是 { test: '1' }，这是一个 string 类型的值，而不是 number 类型的值。因此，当 TypeScript 尝试将这个值分配给 ParamsA & ParamsB 类型的变量时，它会产生一个错误，因为 string 类型的值不能同时是 ParamsA 和 ParamsB 的实例。

解决这个问题的一种方法是使用类型断言。你可以在调用 create 方法时明确地告诉 TypeScript 你传入的参数的类型。例如：