在TypeScript中，get_keys<T>()函数用于提取类型T的键，提升代码的可重用性和类型安全性。通过keyof运算符，该函数动态处理对象属性，确保类型匹配，减少运行时错误。

TypeScript 泛型将类型作为参数传入，支持自动推断，并可用 extends 限定类型范围。泛型还能在同一类型定义内绑定多个类型的关系，例如通过 keyof 和映射类型让键与值关联。实战中可用 MyMapArgs 预先映射参数，使 wrapper 函数类型正确，从而避免使用 as any。

本文介绍了TS挑战记录的第一部分，包括type、typeof、keyof、extends、in运算符和infer的用法，以及自定义类型操作。