typescript 中的keyof、 in

本文介绍了 TypeScript 中的 `keyof` 和 `in` 操作符的用法。`keyof` 用于从接口中获取键并创建联合类型,增强函数类型安全性,例如在改进 `getValue` 函数时防止拼写错误。而 `in` 操作符则用于遍历联合类型的值,常用于数组和对象。通过实例展示了如何利用这两个操作符提高代码的类型检查和错误预防能力。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

原文链接:https://juejin.cn/post/6844904145732763655#heading-0 

keyof

定义

keyof与Object.keys略有相似,只是 keyof 是取 interface 的键而且 keyof 取到键后会保存为联合类型。

interface iUserInfo {
  name: string;
  age: number;
}
type keys = keyof iUserInfo;

keyof 的简单栗子

我们有这样一个需求,实现一个函数 getValue 取得对象的 value。在未接触 keyof 时,我们一般会这样写:

function getValue(o: object, key: string) {
  return o[key];
}
const obj1 = { name: '张三', age: 18 };
const name = getValue(obj1, 'name');

但是,这样写就丧失了 ts 的优势:

  • 无法确定返回值类型
  • 无法对 key 进行约束,可能会犯拼写的错误

这时我们可以使用 keyof 来增强 getValue 函数的类型功能。

使用 keyof 后我们可以看到,可以完整的提示可以输入的值,当拼写错误时也会有清晰的提示。

function getValue<T extends Object, K extends keyof T>(o: T, key: K): T[K] {
  return o[key];
}

const obj1 = { name: '张三', age: 18 };
const a = getValue(obj1, 'hh');

in

in用于取联合类型的值。主要用于数组和对象的构造。

但切记不要用于 interface,否则会出错

type name = 'firstName' | 'lastName';
type TName = {
  [key in name]: string;
};

const data1 = [
  {
    a1: 'a',
    b1: 'b',
    c1: 'c',
    d1: 'd',
  },
];

const data2 = [
  {
    a2: 'a',
    b2: 'b',
  },
];


 

TypeScript中,结合泛型和Keyof操作符可以创建高度灵活的类型,以适应不同对象类型的需要。为了更好地理解这一概念并应用于项目实战中,建议阅读《TypeScript 2022手册:深入探索类型系统》,这本书提供了关于TypeScript类型系统的全面讲解,并且涵盖了泛型和Keyof操作符的高级应用。 参考资源链接:[TypeScript 2022手册:深入探索类型系统](https://wenku.csdn.net/doc/4q1oeragxk?spm=1055.2569.3001.10343) 要定义一个映射类型,首先需要了解泛型(`<T>`),它允许我们定义一个类型,其中包含的类型在使用时才确定。然后使用Keyof操作符来获取一个类型的所有键,并创建一个新的类型,该类型将作为键的属性值类型。例如,如果我们有一个对象类型`Person`,我们想要创建一个新的类型,该类型的属性值类型是`Person`属性值类型的一个子集。 以下是如何定义这样一个映射类型的步骤: 1. 定义一个基础的泛型接口,比如`BasePerson`,用于描述对象的结构和属性类型。 ```typescript interface BasePerson { id: number; name: string; age: number; } ``` 2. 使用泛型`<T>`定义一个新的接口`MappedPerson<T>`,利用Keyof操作符获取`T`类型的键,并为每个键指定新的类型约束。 ```typescript interface MappedPerson<T> { [Key in keyof T]: T[Key] extends any ? string : number; } ``` 在这个例子中,我们创建了一个新的类型`MappedPerson<T>`,它遍历了传入对象的所有键,并将每个键对应的值的类型从`T`中的类型转换为`string`或`number`。这里的`any`是一个占位符,表示任何类型,你可以根据需要替换为其他类型。 3. 使用这个映射类型创建一个新的对象类型,比如从`Person`类型中派生一个新类型。 ```typescript type PersonWithMappedValues = MappedPerson<BasePerson>; ``` 这样,`PersonWithMappedValues`将会是一个新的类型,它与`BasePerson`的结构相同,但是属性的值类型被限定为`string`或`number`。 通过这种方式,你可以定义一个高度灵活的类型,它可以根据传入的对象类型动态地改变其属性的类型。这在处理那些具有相似结构但不同数据类型的对象时尤其有用。 在掌握了如何使用泛型和Keyof操作符创建映射类型后,如果你希望更深入地理解TypeScript的类型系统和高级特性,如索引访问类型、条件类型等,《TypeScript 2022手册:深入探索类型系统》将是一个绝佳的资源。这份手册不仅介绍了基础概念,还提供了大量的示例和高级用法,帮助开发者在实际项目中充分利用TypeScript的强大功能。 参考资源链接:[TypeScript 2022手册:深入探索类型系统](https://wenku.csdn.net/doc/4q1oeragxk?spm=1055.2569.3001.10343)
评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值