TypeScript如何将编译时类型参数传递至运行时实现？

首先明确核心矛盾：TypeScript的编译时类型信息会被完全擦除，运行时无法直接获取变量的类型注解信息。因此要实现“无需用户手动传递信息，编译时捕获期望类型并在运行时使用”的需求，必须通过编译时注入或类型推断结合运行时标记的方式解决，以下是具体可行方案：

方案1：TypeScript Transformer 编译时自动注入类型信息 #

这是最贴合需求的方案，完全不需要用户手动传递任何额外信息。

原理 #

编写自定义TypeScript Transformer，在编译阶段解析getValidator调用对应的变量类型注解（或泛型参数），自动将期望的类型字符串作为隐藏参数注入到函数调用中。例如：

• 用户编写代码：

  const incorrectValidator: BooleanValidator = getValidator(123 as unknown as boolean);
  

• 编译后自动转换为：

  const incorrectValidator = getValidator(123, "boolean");
  

实现步骤 #

1. 编写Transformer逻辑，识别getValidator调用的上下文变量类型注解，提取对应的类型字符串。
2. 使用ttypescript或ts-patch工具配置TS加载自定义Transformer。
3. 修改getValidator函数实现，接收注入的类型字符串参数，返回对应的Validator实例：

   function getValidator(value: unknown, expectedType: "number" | "boolean"): Validator {
     switch(expectedType) {
       case "number": return new NumberValidator();
       case "boolean": return new BooleanValidator();
     }
   }
   

优缺点 #

• ✅ 完全符合“无需用户手动传递信息”的需求
• ❌ 需要额外配置Transformer，增加工程复杂度

方案2：泛型约束编译时类型一致性（放弃运行时匹配期望类型） #

如果可以接受“仅在编译时捕获类型不匹配，运行时仍按值类型返回Validator”，这个方案最简单易行。

实现代码 #

interface Validator {
  getType(): string;
}

class NumberValidator implements Validator {
  getType(): string { return "number"; }
}

class BooleanValidator implements Validator {
  getType(): string { return "boolean"; }
}

// 泛型函数，返回类型严格匹配传入值的编译时类型
function getValidator<T extends number | boolean>(value: T | undefined | null): 
  T extends number ? NumberValidator : BooleanValidator;

function getValidator(value: number | boolean | undefined | null): Validator {
  if (typeof value === "number") return new NumberValidator();
  return new BooleanValidator();
}

// 编译错误：getValidator(123)返回NumberValidator，无法赋值给BooleanValidator
// const incorrectValidator: BooleanValidator = getValidator(123);

// 仅当用户使用类型断言时才会编译通过，但运行时仍返回NumberValidator
const incorrectValidator: BooleanValidator = getValidator(123 as unknown as boolean);

优缺点 #

• ✅ 无需额外配置，代码简洁
• ❌ 无法处理用户使用类型断言的场景，运行时仍按值的实际类型返回Validator

方案3：隐式类型标记传递（接近无手动传递） #

通过定义与类型绑定的标记符号，利用TypeScript的类型推断让用户无需手动指定标记类型，仅需传递标记符号即可。

实现代码 #

interface Validator {
  getType(): string;
}

class NumberValidator implements Validator {
  getType(): string { return "number"; }
}

class BooleanValidator implements Validator {
  getType(): string { return "boolean"; }
}

// 定义类型标记符号
const numberMarker = Symbol("number");
const booleanMarker = Symbol("boolean");

// 类型映射
type MarkerToValidator<M> = 
  M extends typeof numberMarker ? NumberValidator : 
  M extends typeof booleanMarker ? BooleanValidator : never;

type MarkerToType<M> = 
  M extends typeof numberMarker ? number : 
  M extends typeof booleanMarker ? boolean : never;

// 重载函数，根据标记推断返回类型
function getValidator<M>(marker: M, value: MarkerToType<M> | undefined | null): MarkerToValidator<M>;

function getValidator(marker: symbol, value: unknown): Validator {
  if (marker === numberMarker) return new NumberValidator();
  return new BooleanValidator();
}

// 用户使用时，TS会自动检查标记与变量类型是否匹配
const incorrectValidator: BooleanValidator = getValidator(booleanMarker, 123 as unknown as boolean);

优缺点 #

• ✅ 编译时严格检查类型一致性，运行时按标记返回对应Validator
• ❌ 需要用户传递标记符号，属于轻微的手动操作，但比直接传递类型字符串更安全

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