根据其他属性动态限制TypeScript中对象属性的类型

type Person = {
  name: string;
  age: number;
};

function getProperty(obj: Person, key: keyof Person) {
  return obj[key];
}

const person: Person = {
  name: "Alice",
  age: 30,
};

const name = getProperty(person, "name"); // name的类型为string
const age = getProperty(person, "age"); // age的类型为number

type ValueOf<T> = T[keyof T];

type RestrictByProperty<T, K extends keyof T, V> = T extends Record<K, V> ? T : never;

function getObjectByProperty<T, K extends keyof T, V>(obj: T, key: K, value: V): RestrictByProperty<T, K, V> {
  if (obj[key] === value) {
    return obj as RestrictByProperty<T, K, V>;
  }
  return {} as never;
}

const person1 = {
  name: "Alice",
  age: 30,
};

const person2 = {
  name: "Bob",
  age: 25,
};

const alice = getObjectByProperty(person1, "name", "Alice"); // alice的类型为typeof person1
const bob = getObjectByProperty(person2, "age", 25); // bob的类型为typeof person2