TypeScript泛型报错求助：将字符串标识转为真实类型失败

问题原因 #

核心问题出在类型信息丢失：

• dynamicParams被显式标注为IInputParams类型，该类型的索引签名会把所有属性值统一处理成"number" | "string"联合类型，直接丢失了name: "string"、age: "number"的具体字面量类型。
• 当IParams<typeof dynamicParams>执行条件判断时，每个属性的类型是"number" | "string"，既不严格匹配"number"也不严格匹配"string"，最终分支走到never，导致类型报错。

修复方案 #

方式一：用as const+satisfies保留字面量类型 #

// 定义结构约束，校验输入合法性
type IInputParams = {
  [key: string]: "number" | "string"
}

// as const 保留字面量类型，satisfies 确保符合IInputParams约束
const dynamicParams = {
  name: "string",
  age: "number",
} as const satisfies IInputParams

// 调整泛型约束，兼容字面量类型的对象
type IParams<K extends Record<string, "number" | "string">> = {
  [Property in keyof K]: K[Property] extends "number"
    ? number
    : K[Property] extends "string"
    ? string
    : never
}

const exampleParams: IParams<typeof dynamicParams> = {
  name: "tom", // 类型推断为string，符合预期
  age: 24, // 类型推断为number，符合预期
}

方式二：通过泛型函数推导具体类型 #

type IInputParams = {
  [key: string]: "number" | "string"
}

// 泛型函数自动推导输入对象的字面量类型，同时约束结构合法性
function createParams<T extends IInputParams>(params: T) {
  return params
}

const dynamicParams = createParams({
  name: "string",
  age: "number",
})

type IParams<K extends IInputParams> = {
  [Property in keyof K]: K[Property] extends "number"
    ? number
    : K[Property] extends "string"
    ? string
    : never
}

const exampleParams: IParams<typeof dynamicParams> = {
  name: "tom",
  age: 24,
}

内容的提问来源于stack exchange，提问作者Tin Sittiyot