TypeScript 中的高级类型转换技术：映射类型、条件类型和类型推断