否定打字稿类型？

Question

我想在打字稿中创建一个简单的 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 是裸类型参数，因此条件类型得到分发。 "naked" 是什么意思？它表示 T 而不是 T 的某些类型函数。所以在{foo: T} extends W ? X : Y中，类型参数T是"clothed"，所以不分发

这导致了一种在您不需要时关闭分布式条件类型的方法：覆盖类型参数。最简单和最不冗长的方法是使用一个元素的 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> 类型已经作为 predefined type in the standard library as Exclude<T,U> 存在，意味着 "exclude from T those types that are assignable to U"。

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

否定打字稿类型？

Negating typescript types?

negation

typescript