Typescript object 解构中的条件类型

Question

我想用 object 作为唯一参数来调用 function。 这个 object 可以是两个不同的接口发生冲突（1+ 属性具有相同的键，但可能的值不同）。

在我的主要 function 中，如果 object 中的类型值如果foo和getBar如果 object 如果bar中的类型值，我想调用getFoo 。

interface Foo {
  title: string
  number: 1 | 2
}
interface FooWithType extends Foo {
  type: 'foo'
}

interface Bar {
  title: string
  number: 3 | 4
}
interface BarWithType extends Bar {
  type: 'bar'
}

function getFoo(params: Foo): void
function getBar(params: Bar): void

function main({ type, ...rest }: FooWithType | BarWithType) {
  return type === 'foo' ? getFoo(rest) : getBar(rest)
}

当我在解构的 object where Type '{ title: string; number: 3 | 4; }' is not assignable to type 'Foo' Type '{ title: string; number: 3 | 4; }' is not assignable to type 'Foo' Type '{ title: string; number: 3 | 4; }' is not assignable to type 'Foo'因为我的rest值在我进行类型检查时仍然是联合类型：

var rest: {
    title: string;
    number: 1 | 2;
} | {
    title: string;
    number: 3 | 4;
}

Answer 1

Typescript 不理解 rest 类型，因为它已解构，因此与类型值无关。 除了主要的 function 之外，有两种可能的方法可以在不编辑任何内容的情况下修复它。

首先是类型断言（不推荐）：

function main({ type, ...rest }: FooWithType | BarWithType) {
  return type === 'foo' ? getFoo(rest as Foo) : getBar(rest as Bar)
}

游乐场链接

---

第二个是不要破坏你的 object （更好的方法）：

function main(params: FooWithType | BarWithType) {
  return params.type === 'foo' ? getFoo(params) : getBar(params)
}

游乐场链接