否定打字稿类型？

我想在打字稿中创建一个简单的 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'

See here https://www.typescriptlang.org/play/#src=%0D%0Atype%20A%20%3D%20'a'%20%7C%20'b'%20%7C%20'c'%3B%0D%0Atype%20B%20%3D%20'c'%20%7C%20'd'%20%7C%20'e'%3B%20%0D%0A%0D%0A%0D%0Atype%20not_A_B_1%20%3D%20A%20extends%20B%20%3F%20never%20%3A%20A%3B%20%20%20%2F%2F%20'a'%20%7C%20'b'%20%7C%20'c'%0D%0A%0D%0Atype%20Not%3CT%2C%20U%3E%20%3D%20T%20extends%20U%20%3F%20never%20%3A%20T%3B%20%20%20%0D%0Atype%20not_A_B_2%20%3D%20Not%3CA%2C%20B%3E%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20'a'%20%7C%20'b'%0D%0A%0D%0A.

有人可以告诉我我是否在这里遗漏了一些 TS 的微妙之处来解释为什么not_A_B_1 and not_A_B_2不等价吗？谢谢。

你遇到过分配条件类型 https://github.com/Microsoft/TypeScript/wiki/What's-new-in-TypeScript#distributive-conditional-types:

所检查的类型是裸类型参数的条件类型被称为分配条件类型。分布式条件类型在实例化期间自动分布在联合类型上。例如，一个实例化T extends U ? X : Y使用类型参数A | B | C for T被解析为(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'

The A是具体类型，而不是类型参数，因此条件类型does not分配给其选民。

But in

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

the T是一个裸类型参数，所以条件类型does得到分发。 “裸体”是什么意思？它的意思是T与某些类型的函数相反T。所以在{foo: T} extends W ? X : Y, 类型参数T是“穿衣”的，所以它不会分发。

这导致了一种在您不需要分配条件类型时关闭它们的方法：装饰类型参数。最简单且最不冗长的方法是使用tuple https://www.typescriptlang.org/docs/handbook/basic-types.html#tuple一个元素的：所以，

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

Since [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'

Now not_A_B_2是相同的not_A_B_1。如果你更喜欢原版not_A_B_2行为，然后使用分布式条件类型，例如Not<>。如果您更喜欢非分配行为，请使用具体类型或固定类型参数。那有意义吗？

顺便说一下，你的Not<T,U>类型已经作为预定义类型 https://github.com/Microsoft/TypeScript/wiki/What's-new-in-TypeScript#predefined-conditional-types在标准库中为Exclude<T,U> https://github.com/Microsoft/TypeScript/blob/v3.0.1/lib/lib.es5.d.ts#L1386-L1389，意思是“排除T那些可分配给的类型U".

希望有帮助。祝你好运！