首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >缩小给定键的类型

缩小给定键的类型
EN

Stack Overflow用户
提问于 2021-03-10 18:51:59
回答 2查看 123关注 0票数 0

我试图创建一个反应钩使用TS。作为参数,我给出了键和将被分配给这个键的值。我希望通过读取给定的键来限制值的类型。

代码语言:javascript
运行
复制
export function useFormFields<T, K extends keyof T>(initialValues: T) {
  const [formFields, setFormFields] = useState<T>(initialValues)
  const createChangeHandler = (key: K, value: T[K]) => {
    setFormFields((prev: T) => ({ ...prev, [key]: value }))
  }

  return { formFields, createChangeHandler }
}

当我使用createChangeHandler函数时,关键部分可以工作,但是它结合了值的类型。

假设我有一个对象/接口,如下所示:

代码语言:javascript
运行
复制
interface User {
  name: string,
  age: number
}

我希望crateChangeHandler在下一个示例中抛出一个错误

代码语言:javascript
运行
复制
createChangeHandler('name', 1)
//Works because the combined type are "string" | "number"
//I'd like to have "string" only
EN

Stack Overflow用户

回答已采纳

发布于 2021-03-10 19:50:20

您的问题是,您为K泛型类型参数获得了错误的范围。当一个泛型函数被调用时,它的所有类型参数都会立即被指定;不能将指定类型参数推迟到稍后的时间。当您调用useFormFields时,您知道T是什么,但不知道K是什么。但是,对于函数的版本,无论如何都会推断出K。由于没有什么可以帮助编译器推断,所以它将被扩展到它的约束,即keyof T

相反,您希望createChangeHandler()本身在K中是通用的,因此K的类型参数应该移到它的作用域:

代码语言:javascript
运行
复制
function useFormFields<T>(initialValues: T) {
  const [formFields, setFormFields] = useState<T>(initialValues)
  const createChangeHandler = <K extends keyof T>(key: K, value: T[K]) => {
    setFormFields((prev: T) => ({ ...prev, [key]: value }))
  }

  return { formFields, createChangeHandler }
}

这给出了您想要的行为:

代码语言:javascript
运行
复制
createChangeHandler("age", 10); // okay
createChangeHandler('name', 1); // error!
// Argument of type 'number' is not assignable to parameter of type 'string'

操场链接到代码

票数 2
EN
查看全部 2 条回答
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/66571059

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档