typescript - 否定 typescript 类型？

Question

我想在 typescript 中创建一个简单的 NOT 运算符，您可以在其中将所有基元组合到某种类型 A 的联合中，而这些基元不是第二种类型 B 联合的基元成员。这可以使用条件类型来完成。例如，如果您有以下类型:

type A = 'a' | 'b' | 'c';
type B = 'c' | 'd' | 'e'; 

...然后我想将它们映射到第三个派生类型 [A - B]，在这种情况下，将产生:

type C = 'a' | 'b'

这似乎可以使用如下所示形式的条件来实现。但是，我完全不明白为什么下面的 NOT 运算符似乎给了我想要的东西，但明确拼写出完全相同的条件逻辑却没有:

type not_A_B_1 = A extends B ? never : A;   // 'a' | 'b' | 'c'

type Not<T, U> = T extends U ? never : T;   
type not_A_B_2 = Not<A, B>                  // 'a' | 'b'

参见 here .

有人可以告诉我，如果我在这里遗漏了一些 TS 微妙之处，可以解释为什么 not_A_B_1 和 not_A_B_2 不等价吗？谢谢。

Answer 1

您遇到了 distributive conditional types :

Conditional types in which the checked type is a naked type parameter are called distributive conditional types. Distributive conditional types are automatically distributed over union types during instantiation. For example, an instantiation of T extends U ? X : Y with the type argument A | B | C for T is resolved as (A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)

所以在这个:

type not_A_B_1 = A extends B ? never : A;   // 'a' | 'b' | 'c'

A是具体类型，而不是类型参数，因此条件类型不会分布在其成分上。

但是在

type Not<T, U> = T extends U ? never : T;   

T是裸类型参数，因此条件类型确实得到分发。 “裸体”是什么意思？这意味着 T与 T 的某些类型函数相反.所以在 {foo: T} extends W ? X : Y , 类型参数 T是“衣服”，所以它不分布。

这导致了一种在您不需要时关闭分布式条件类型的方法:覆盖类型参数。最简单和最不冗长的方法是使用 tuple一个元素的:所以，

T extends U ? V : W // naked T
[T] extends [U] ? V : W // clothed T

自 [T] extends [U]恰好在 T extends U 时应该为真，除了分配性之外，它们是等价的。所以让我们改变Not<>非分配性:

type NotNoDistribute<T, U> = [T] extends [U] ? never : T;   
type not_A_B_2 = NotNoDistribute<A, B>                  // 'a' | 'b' | 'c'

现在not_A_B_2与not_A_B_1相同.如果你更喜欢原版not_A_B_2行为，然后使用分布条件类型，如 Not<> .如果您更喜欢非分配行为，请使用具体类型或穿衣类型参数。这有意义吗？

顺便说一句，你的Not<T,U> type 已经作为 predefined type 存在在标准库中为 Exclude<T,U> ，意味着“从 T 中排除那些可分配给 U 的类型”。

希望对您有所帮助。祝你好运!