Typescript 我的类型谓词函数不能像我预期的那样工作.需要帮助了解原因

您的功能

declare function objectHasKey<T extends object>(
  obj: T, key: PropertyKey, includeKeysFromPrototype: boolean
): key is keyof T

返回type predicate key is keyof T，这意味着当您调用objectHasKey(obj, key)并返回true时，key输入的表观类型将缩小为keyof T(相当于keyof typeof obj).obj输入的外观类型根本不会改变.因此，如果obj的类型是object，而key是类似"prop"的字符串文字，则true的结果意味着字符串文字"prop"将从"prop"缩小到keyof object，即the never type.这不是你的本意.即使这是您的意图，类型谓词也只用于缩小实际输入的范围.如果输入是类似"prop"的字符串文字，则将无法访问任何结果更改，因为您再也不会重复使用字符串文字.为了让它起作用，你需要使用variable或property，比如const k = "prop"，然后是objectHasKey(obj, k).

但不管怎样，这不是你的意图.您的代码假定在您调用objecthasKey(obj, key)并返回true之后，the 102 input的明显类型将发生变化，因此已知它将key作为键.这意味着您需要将类型谓词更改为obj is的形式，而不是key is.有一种方法可以做到这一点(有多种方法):

declare function objectHasKey<K extends PropertyKey>(
  obj: object,
  key: K,
  includeKeysFromPrototype: boolean = false,
): obj is Record<K, any>;

此函数为key的类型K中的generic.true的结果将obj从object缩小到Record<K, any>(使用Record utility type).现在，您的代码可以正常工作了:

if (entry && typeof entry === 'object' && objectHasKey(entry, 'someProperty')) {
  console.log(entry.someProperty) // okay
}

Playground link to code个