基于不同属性的多种TypeScript判别

Question

我正在尝试构建一个支持不同用例的复杂 REACT 组件。 为了简化它的使用，我想实现 TypeScript 区分类型以更好地推断道具。

发布完整的示例没有用，但我可以向您展示一个更简单的示例，如下所示：

interface ICategoryDiscriminationGame {
    category: 'game';
    gameType: 'AAA' | 'AA' | 'A';
}

interface ICategoryDiscriminationProgram {
    category: 'program';
    programType: 'software' | 'freeware';
}

type TCategoryDiscrimination = (ICategoryDiscriminationGame | ICategoryDiscriminationProgram);


interface ISaleDiscriminationPresale {
    saleType: 'pre-sale',
    preSaleCost: number;
}

interface ISaleDiscriminationRetailSale {
    saleType: 'retail',
    retailSaleCost: number;
}

type TSaleDiscrimination = (ISaleDiscriminationPresale | ISaleDiscriminationRetailSale);


type TExampleCompProps = TCategoryDiscrimination & TSaleDiscrimination;

export const ExampleComp = (props: TExampleCompProps) => {
    if (props.category === 'game') { // In here, intellisense infer only use 'props.category' and 'props.saleType' -> NICE
        console.log(props.gameType); // In here, intellisense infer also 'props.gameType' -> NICE
    }

    if (props.saleType === 'pre-sale') { // In here, intellisense infer only use 'props.category' and 'props.saleType' -> NICE
        console.log(props.preSaleCost); // In here, intellisense infer also 'props.preSaleCost' -> NICE
    }

    if (props.category === 'game' && props.saleType === 'retail') { // In here, intellisense infer only use 'props.category' and 'props.saleType' -> NICE
        console.log(props.retailSaleCost); // In here, intellisense infer also 'props.retailSaleCost' and 'props.gameType' -> NICE
        console.log(props.gameType); // In here, intellisense infer also 'props.retailSaleCost' and 'props.gameType' -> NICE
    }

    return <p>In example comp</p>
}

如您所见，在ExampleComp内部，智能感知非常出色，而且效果很好。 问题是当我尝试使用ExampleComp 。
我期望的是，当我编写<ExampleComp时，智能感知只允许我使用 props category和saleType ，因为如果不先定义这两个，其他的就不能存在。 但是，相反，它只是暗示了一切：

所以，这里的问题是：我错过了什么不能使智能感知在道具中也能正常工作？

TS Playground 链接

Answer 1

这就是 IntelliSense 的本质。 一旦您开始提供所需道具的一些组合，建议的组合将缩小到仅适用于当前可能组合的组合：

在添加一些道具之前：

添加一些道具后：