typescript - 从带有元组的联合中排除 `unknown[]`？

Question

我认为这是不可能的，但我想在 github 上提出问题之前先在这里问一下。

我有一个看起来像这样的类型:

type X = [string, number] | unknown[]

我想提取 [string, number]部分。这可能吗？这不起作用:

type Y = Exclude<X, unknown[]>

以上， Y是 never .我明白为什么，因为 [string, number]扩展 unknown[] ，因此通过排除它，工会的双方都被“拒绝”。但是有没有什么聪明的条件类型可以用来摆脱 unknown[] ?

注意:我没有定义 X我自己，我正在尝试编写一个函数签名，其中一种中间类型看起来像 [string, number] | unknown[] .所以我不能只使用 [string, number]直接地。

Answer 1

来自 docs 中的示例

In an intersection everything absorbs unknown

我们可以创建与真实类型毫无共同之处的类型，例如:

type Noop = { __noop: '__noop' };

然后在条件类型中，我们可以检查数组项的交集是否扩展了我们的假类型，如果是 - 排除它(我们知道它必须是 unknown ):

type ExcludeUnknown<T> = T extends Array<infer I>
  ? Noop extends (I & Noop) ? never : T
  : T;

type Y = ExcludeUnknown<X>; // [string, number]

Playground

** 请注意，这不适用于包含 {} 的元组, object或 unknown (例如 [string, number, {}] )