TS 函数声明中的参数类型限制

Question

我遇到了一些如下的函数声明。

type DataType = TypeA | TypeB | TypeC;

function Func(data: DataType): data is TypeA {
...
}

我不明白声明中的is 部分。它如何影响函数的返回类型？

Answer 1

这个Stackoverflow post 可能会帮助您更好地理解is 关键字。