打字稿：使用排除时，类型 T 不可分配给类型“从不”

Question

我正在尝试：

• 所有字段名称的列表
• 无法排序的字段名称列表

我试图推断 ugh 是否是 unsortable 的补码。

function isUnsortableField<All extends string | number | symbol, T extends All, K extends Exclude<All, T>>(unsortable: Array<K>, field: All): field is T {
  return !!unsortable.find((f) => f === field)
}

const allFields = ['bar', 'zee'] as const;
const unsortableOnes: Array<typeof allFields[number]> = ['bar'];

const ugh = isUnsortableField(unsortableOnes, 'bar');

但是我得到：

Argument of type '("bar" | "zee")[]' is not assignable to parameter of type 'never[]'.
  Type 'string' is not assignable to type 'never'.
    Type 'string' is not assignable to type 'never'.ts(2345)

编辑：1000 只橡皮鸭之后，修复： 是：unsortable: Array<K>，但应该是 unsortable: Array<T>

function isSortableField<
  All extends PropertyKey,
  Unsorted extends All,
  K extends Exclude<All, Unsorted>
>(unsortable: Array<Unsorted>, field: All): field is K {
  return !unsortable.find((f) => f === field);
}

Answer 1

在您的函数的第三个通用参数中，您正在从所有扩展所有的东西，并且由于 T 是所有的超集，它将排除所有内容并解析为 never。

type A = {}


function test<T extends A, B extends Exclude<T, A>>(b: B) {

}

type Params = Parameters<typeof test>; // [b: never]

Answer 2

你可以这样做：

const allFields = ['bar', 'zee'] as const;

function isUnsortableField<
    Prop extends PropertyKey,
    Unsortable extends Array<typeof allFields[number]> & Prop[],
    >(unsortable: [...Unsortable], field: any): field is Unsortable[number] {
    return unsortable.includes(field)
}

const unsortableOnes = ['bar'];

let field = 'baz'

if (isUnsortableField(['bar'], field)) {
    const x = field // "bar"
} else{
    const x = field // string
}

Playground

我使用了field: any，因为已知Array.prototype.includes issue

AFAIK，您可以在上述问题中找到几种解决方法，但所有这些方法都需要您重新声明 ReadonlyArray 的内置类型或使用类型断言。因此，您可以选择一个。