typescript :类型系统无法证明看似明显正确的事情

Question

下面给出编译错误getWrapper :

type Wrapper<K> = {
    value: K
}

type Wrappers = {
    [K in 'henk' | 'piet']: Wrapper<K>
}
const wrappers: Wrappers = {
    'henk': { value: 'henk' },
    'piet': { value: 'piet' }
}

function getWrapper<K extends keyof Wrappers>(k: K): Wrapper<K> {
    return wrappers[k]
}

上面写着wrappers[k]是Wrapper<'henk'> | Wrapper<'piet'> .它应该能够弄清楚 wrappers[k]实际上是 Wrapper<K> .我可以帮助 Typescript 解决这个问题吗？

Answer 1

更新:2019-05-30 TypeScript 3.5 版本引入了 smarter union type checking但它并没有解决这个问题，可能是因为它使用的是泛型类型 K而不是已知具体类型的联合。因此，目前以下解决方案没有任何变化。

---

我很确定你的问题是 TypeScript doesn't reduce unions你期望的方式。例如，您可能希望以下内容起作用:

declare const innerUnion: { foo: string | number };
const outerUnion: { foo: string } | { foo: number } = iU; // error

但事实并非如此。 TypeScript 不会主动减少 outerUnion 的类型到 innerUnion 的类型.编译器不自动执行此操作的原因似乎是实用主义:在许多情况下，这种减少是错误的，因为还有另一个属性无法合并:

declare const iU: { foo: string | number, bar: string | number };
const oU: { foo: string, bar: string } | { foo: number, bar: string } = iU; // error

上面的错误是一个很好的错误，因为可能 iU是{ foo: 0, bar: '' } .

TypeScript 认为 K可以是 'henk' | 'piet' 类型, 因此函数的输出可以是 Wrapper<'henk' | 'piet'> , 但返回值的类型是 Wrapper<'henk'> | Wrapper<'piet'> .由于上面的联合减少是 TypeScript 不做的事情，它说有一个错误。

---

那么，为什么返回值的类型是Wrapper<'henk'> | Wrapper<'piet'> ？因为索引到具有键并集的对象确实导致该对象的属性值的并集。

这为您的问题提出了解决方案，请使用 lookup type表示该索引操作:

function getWrapper<K extends keyof Wrappers>(k: K): Wrappers[K] {
    return wrappers[k]; // okay
}

我认为这可以满足您的需求。希望有所帮助；祝你好运!