未知联合类型的 switch 的默认子句时打字稿错误

Question

我正在从一个文件中读取数据，其中的数据可能比我的代码关心的要多。对于要处理的每种对象类型，我都有一个打字稿类型。但是对于某些不受支持的对象类型，我想对那个对象做点什么。

问题是打字稿认为我已经用尽了所有的可能性，我的默认子句是不可能的。

// Untyped example data source.
function loadFromSomeFile(): any {
  return [{ objType: "A", a: 1 }, { objType: "B", b: 2 }] as any
}

// Union type of supported data from data source.
type A = { objType: "A", a: number }
type B = { objType: "B", b: number }
type ObjTypes = A | B

// Load the data.
const arr: ObjTypes[] = loadFromSomeFile()

// Switch on the type of each object. 
for (const obj of arr) {
  switch (obj.objType) {
    case "A":
      console.log('A', obj.a)
      break
    case "B":
      console.log('B', obj.b)
      break
    default:
      // Fall though case for unsupported objType
      console.log('unkown objType: ' + obj.objType)
      // ^ TS Error: objType does not exist on type 'never'
  }
}

Error on Typescript Playground

我想过尝试向联合中添加第三个选项，例如：

type X = { objType: string } // unknown
type ObjTypes = A | B | X

但是现在当obj.objType === 'A' typescript 无法判断它是A 还是X，因为它对两者都是有效的类型。

我如何告诉 typescript 可能还有未知和未处理的值，并且我的列表并不详尽？

Answer 1

在纠结了一段时间后，我决定给未知类型一个具有固定值的具体类型，这是不正确的。

type A = { objType: "A", a: number }
type B = { objType: "B", b: number }
type Unknown = { objType: '___unknown-obj-type___' }
type ObjTypes = A | B | Unknown

这会导致 switch 的默认子句落入此类型。而且我仍然可以在运行时访问对象属性以获取实际值。

感觉有点像 hack，但到目前为止，这对代码可读性的妥协最少，恕我直言。

Typescript Playground

Answer 2

由于您不仅可以从文件中获取 A 或 B，因此不要将类型声明为 A | B.

见Playground

Answer 3

使用：

return [
    { objType: "A", a: 1 }, 
    { objType: "B", b: 2 },
    { objType: "C" }
    { foo: "bar" }
] as any

作为数据，并将类型设置为：

type ObjTypes = A | B | any

然后，在每个 case 块内，将对象转换为预期的类型，A 或 B 等。

case "A":
  let a = <A>obj;
  console.log('A', a.a)
  //console.log('A', a.x) // TS error! 
  break

登录到控制台：

A 1
B 2
unknown objType: C
unknown objType: undefined

查看更新的Typescript Playground