这是一个特定于 #12184 的使用案例，类似于我为 #25051 提出的一个激励示例(参见此评论)。

这里似乎建议的是，每当创建一个新的对象字面量时，编译器应该检查是否有任何联合类型的值被多次提及，然后自动地将控制流分析分布在该值的不同缩小版本上。因此，如果你有以下代码：

declare const x: A | B | C;
declare const f: (t: T) => F;
const obj = {x: x, fx: f(x)};

你希望编译器能注意到 x 在 obj 中被多次使用，然后依次缩小 x 为 A、B 和 C,在每种情况下计算 obj 的类型，然后将它们合并为 {x: A, fx: F<A>} | {x: B, fx: F<B>} | {x: C, fx: F<C>}。

如果这样的自动分析能够发生，那将太好了，但我预计性能影响会是不可接受的，尤其是考虑到类似 {x: x, y: y, z: z, fxyz: f(x, y, z)} 的组合问题。

在我幻想的世界(即 #25051)里，我希望能够手动请求编译器进行这样的分析，以便在保留正常代码的行为和性能的同时获得这种好处。在你的情况下，它看起来可能像这样：

example({
kind: nameOrAge,
value: (nameOrAge === 'name' ? 'macabeus' : 23),
} as if switch(nameOrAge))

哦，好吧！:wistful-sigh:

感谢您的回复！

看起来这里的建议是，每当创建一个新的对象字面量时

是的。这个提案的想法是在创建一个新的对象字面量时进行检查，以避免性能问题并使其更容易实现。

我遵循帕累托原则。我知道这不是最佳方法，但它非常简单。

编译器应该检查是否有任何联合类型的值被多次提及，然后自动将控制流分析分布在该值的不同缩小版本上

我不知道是否真的需要为枚举上的每个值自动分配。例如，在这种情况下只需要分配两次：

let nameOrSomething: 'name' | 'age' | 'height' | 'money'

example({
    kind: nameOrSomething,
    value: (nameOrSomething === 'name' ? 'macabeus' : 20),
})

只需要检查：

• 当 nameOrSomething 是 'name' 且 value 是 'macabeus' 时，这个对象是否可以在 example 调用中使用？
• 以及当 nameOrSomething 是 'age' | 'height' | 'money' 且 value 是 20 时，这个对象是否有效？

您是否在寻找其他需要进行更多检查的情况？

可处理案例的存在并不意味着组合爆炸性案例仍然不存在。算法不能是“寻找判别式的一次比较，然后做正确的事情”。
如果你写了类似这样的代码：

let nameOrSomething: 'name' | 'age' | 'height' | 'money' | (30 other values)

example({
    kind1: nameOrSomething,
    kind2: nameOrSomething === "age" ? "age2" : nameOrSomething,
    value: (nameOrSomething === 'name' ? 'macabeus' : 20),
    value1: (nameOrSomething === 'age' ? nameOrSomething : 20),
    value2: (nameOrSomething === 'height' ? 'macabeus' : 20),
    value3: (nameOrSomething === 'money' ? 'macabeus' : nameOrSomething),
    value4: (nameOrSomething !== 'age' ? 'macabeus' : 20),
    value5: (nameOrSomething === 'money' && nameOrSomething === 'age' ? 'macabeus' : 20)
})

然后将其与 example 的复杂定义进行比较，对我来说，很明显你如何避免多次迭代整个并集。考虑到人们在 JSX 中生成的属性类型，这不是一个不切实际的场景。