keyof和infer

keyof

keyof是ts中的操作符，用于获取一个类型的所有键名组成的联合类型，在处理对象类型和泛型时特别有用。

1、比如一个函数，第一个参数接收对象，第二个参数需要是前面对象的属性名，这时要约束第二个参数就能用keyof了，下面是代码示例：

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

const person: Person = {
  name: "张三",
  age: 30,
  address: "北京"
};

const name = getProperty(person, "name"); // 类型为 string
const age = getProperty(person, "age");   // 类型为 number
getProperty(person, "job");  // 错误：参数"job"不能赋给类型"keyof Person"的参数

infer

infer用于条件类型中进行占位，我们可以用来提取函数的返回类型

1、提取函数返回类型。

定义类型ReturnType，infer R表示函数类型的返回值，泛型满足函数类型的条件时ReturnType的类型就是函数返回值的类型，代码示例如下：

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;

function greet(): string {
    return "Hello, World!";
}

type GreetReturn = ReturnType<typeof greet>; // string

END