Typescript 回调函数中的TypeScrip类型保护返回Incorect类型保护(具有其他未定义类型的返回保护类型)

让我们来看看为什么filterObject()不返回Array<Entry<S>>.

the Object.entries() method的TypeScript library definition看起来像是

interface ObjectConstructor {
  entries<T>(o: { [s: string]: T; } | ArrayLike<T>): [string, T][];
}

这意味着当您对类型为constrained到{[s: string]: T[keyof T]}的obj调用Object.entries(obj)时，它将返回类型Array<[string, T[keyof T]]>的值.

在该结果中，您可以使用类型为(val: Entry<T>) => val is Entry<S>的回调调用filter().filter()的TypeScript library definition看起来像

interface Array<U> {
  filter<V extends U>(cb: (v: U, i: number, a: U[]) => value is V, thisArg?: any): V[];
  filter(cb: (v: U, i: number, a: U[]) => unknown, thisArg?: any): U[];
}

如果希望filterObject()返回Array<Entry<S>>，则需要调用filter()的第一个调用签名.因此，您需要使用类型参数Entry<S>实例化其类型参数V.但这将需要Entry<S>来扩展U，而U已经被实例化为[string, T[keyof T]].但事实并非如此.Entry<S>的第一个元素仅被约束为string | number | symbol，因此不被视为可赋值给string.

因此，第一个调用签名被跳过，所有的东西很快就会从这里消失.第二个调用签名没有进行任何限制，因此整个函数filterObject()的输出类型只有[string, T[keyof T]][]……然后，所有的希望都破灭了.您的后续调用(其中obj是类型A)将始终生成Array<[string, number | undefined]>，因为A[keyof A]是number | undefined.哎呀.

有多种方法可以解决这个问题.

我认为对于您来说，最简单的是Object.entries(obj)返回Array<Entry<T>>，因为Entry<S> is可赋值给Entry T，并且第一个调用签名成功:

const filterObject = <T extends { [key: PropertyKey]: T[keyof T] }, S extends T>(
    obj: T,
    callback: (val: Entry<T>) => val is Entry<S>,
) => {
    const entries: Array<Entry<T>> = Object.entries(obj);
    return entries.filter(callback);
};

现在filterObject()返回Array<Entry<S>>，您会得到您正在寻找的缩小范围的行为:

type A = { a?: number; b: number; };
const obj: A = { a: 1, b: 2, };
const data = filterObject(obj, (val): val is Entry<Required<A>> => true)
const res = data[0][1]; // number

您可以try 修改Entry的定义或T类型参数的约束并使调用成功，但上面的断言非常简单，可以完成工作.

Playground link to code个