Lodash FP中_.map(_.has)为何返回boolean[]而非Pred[]？

我尝试在TypeScript中编写一个验证对象是否包含指定属性的函数，初始阶段遇到了类型问题：如何正确判断id、field1等键是否存在？我用了以下Lodash FP代码：

import _ from 'lodash/fp'; 

type Pred = (o: Object) => boolean

const required_keys: Pred[] = _.map(_.has,['id','field1'])
const validate: Pred = _.overEvery(required_keys)

我预期required_keys的类型为Pred[]，但TypeScript LSP显示其类型为boolean[]。我认为给_.has传入一个参数后，应该返回一个等待传入待测试对象的函数，想知道是我的理解有误还是类型推导的问题，以及如何解决这个类型不一致的问题。

解决方法 #

问题出在TypeScript对Lodash FP的_.map结合_.has的类型推导上。Lodash FP的_.has是柯里化函数，接收路径参数后确实会返回一个等待传入对象的校验函数，但当前写法下TypeScript没能正确识别这个返回类型，误判为直接执行_.has得到boolean值。

你可以通过以下两种方式修复：

1. 显式指定_.map的类型参数
   直接告诉TypeScript数组元素的类型和映射后的返回类型，强制类型推导符合预期：

   const required_keys: Pred[] = _.map<string, Pred>(_.has, ['id','field1'])
   

2. 用箭头函数包裹_.has调用
   通过箭头函数明确传递参数，让TypeScript能正确识别返回的函数类型：

   const required_keys: Pred[] = _.map(key => _.has(key), ['id','field1'])
   

另外补充一点：你定义的Pred类型使用Object不够严谨，建议换成Record<string, unknown>或者更贴合业务的具体对象类型，避免后续出现不必要的类型限制：

type Pred = (o: Record<string, unknown>) => boolean

内容的提问来源于stack exchange，提问作者sgp667