面试题：TypeScript复杂逻辑类型推导

Question

编写一个TypeScript类型 `GetPropertyType`，接受两个类型参数 `T` 和 `K`。`T` 是一个对象类型，`K` 是 `T` 中的一个键。`GetPropertyType<T, K>` 应该返回 `T` 中键 `K` 对应的类型。如果 `K` 不存在于 `T` 中，返回 `never`。例如，对于类型 `{name: string; age: number}` 和键 `'name'`，`GetPropertyType<{name: string; age: number}, 'name'>` 应返回 `string`。

Answer 1

type GetPropertyType<T, K extends keyof T> = K extends keyof T? T[K] : never;