推荐答案
在 TypeScript 中，索引类型（Indexed Access Types）允许我们通过索引访问对象类型的属性类型。结合泛型，我们可以动态地获取对象属性的类型，从而实现更灵活的类型操作。
// www.javascriptcn.com code example
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}
const person = {
name: "Alice",
age: 30,
};
const name = getProperty(person, "name"); // string
const age = getProperty(person, "age"); // number在这个例子中，T 是对象的类型，K 是对象 T 的键类型。通过 keyof T，我们可以获取 T 的所有键的联合类型，然后通过 T[K] 获取对应键的类型。
本题详细解读
1. 索引类型的基本概念
索引类型允许我们通过对象的键来访问其值的类型。例如，给定一个对象类型 Person：
type Person = {
name: string;
age: number;
};我们可以通过 Person["name"] 来获取 name 属性的类型，即 string。
2. 泛型与索引类型的结合
在泛型中使用索引类型时，我们可以通过 keyof 操作符获取对象的所有键的联合类型，然后通过索引访问类型 T[K] 来获取对应键的类型。
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}T是对象的类型。K extends keyof T表示K是T的键的联合类型。T[K]表示T中键K对应的值的类型。
3. 实际应用
通过这种方式，我们可以在编译时确保访问的对象属性是存在的，并且返回的类型是正确的。例如：
const person = {
name: "Alice",
age: 30,
};
const name = getProperty(person, "name"); // string
const age = getProperty(person, "age"); // number在这个例子中，getProperty 函数可以安全地获取 person 对象的 name 和 age 属性，并且返回的类型分别是 string 和 number。
4. 类型安全性
使用索引类型和泛型结合的方式，TypeScript 可以在编译时检查代码的类型安全性，避免运行时错误。例如，如果我们尝试访问一个不存在的属性，TypeScript 会报错：
const invalid = getProperty(person, "address"); // Error: Argument of type '"address"' is not assignable to parameter of type '"name" | "age"'.
这种类型检查机制可以帮助开发者在开发阶段发现潜在的错误，提高代码的健壮性。