TypeScript Exclude 是类型 "never"

Question

为什么下面的代码是Exclude<A,B>解析到 never类型？ typescript 编译器不能知道(通过静态分析)A和 B延长 Parent因此 Exclude<Choices, Parent>应该解析为类型 C ?

interface Parent {}

interface A extends Parent {}
interface B extends Parent {}
interface C {}

type Choices = A | B | C

type Test = Exclude<Choices, Parent> // = type "never"???

const c: C = {}
const d: Test = c // Type 'C' is not assignable to type 'never'

我可以硬编码 Parent = A | B但我不确定为什么我需要这样做。

Answer 1

这是因为 TypeScript 有鸭子类型。具体来说，由于 C和 Parent都是一样的界面，C可分配给 Parent .
具体来说，这编译:

const c: C = {};
const p: Parent = c;

所以，虽然 C没有明确 extend Parent , TypeScript 还是说 C是 Parent .
如果你想让这个工作，只需添加一些东西到 Parent那个 C没有。

interface Parent { foo: string }

interface A extends Parent {}
interface B extends Parent {}
interface C {}

type Choices = A | B | C

type Test = Exclude<Choices, Parent> // = type C

const c: C = {}
const d: Test = c // works!