TypeScript中能否实现any转自定义类型，不匹配时返回默认值并通过类型检查？

首先要明确TS的基础设计限制：所有类型定义都仅存在于编译阶段，编译输出JS时会被完全擦除，不存在运行时实体。这意味着你最初设想的magicThatDoesWhatIWant(x, MyType, d)、把纯类型当运行时参数传的写法，是TS原生机制下永远无法实现的。
但只要补一层和类型严格绑定的运行时合法值列表，就能实现逻辑100%等价、类型安全完全达标的效果，最终的运行时行为和你给出的switch判断没有任何区别。

1. 建立类型与运行时值的双向绑定 #

为了避免后续修改联合类型时漏改运行时的合法值列表，需要先定义和MyType完全匹配的常量列表，并用类型校验逻辑保证两边永远一致：

// 原有的字面量联合类型
type MyType = "value1" | "value2";
// 定义运行时的合法值列表，用as const保持字面量类型不被拓宽
const MyTypeValues = ["value1", "value2"] as const;
// 双向校验逻辑：如果列表内容和MyType不匹配，这里会直接抛出编译错误
type BindCheck = 
  typeof MyTypeValues[number] extends MyType 
    ? MyType extends typeof MyTypeValues[number] 
      ? true 
      : never 
    : never;
const bindPass: BindCheck = true;

只要你后续修改MyType的联合成员（比如新增"value3"）但没同步更新MyTypeValues，上面的bindPass就会直接编译报错，从根源上避免类型定义和运行时判断逻辑不一致的问题。

2. 实现通用的字面量联合解析函数 #

这个函数的逻辑完全匹配你要求的判断规则：合法值直接返回，非法值返回默认值，同时保证返回值的类型严格匹配目标联合类型：

function parseLiteralUnion<T extends readonly string[]>(
  input: unknown,
  validValues: T,
  defaultValue: T[number]
): T[number] {
  // 运行时判断逻辑和switch分支匹配完全等价
  if ((validValues as readonly string[]).includes(input as string)) {
    return input as T[number];
  }
  return defaultValue;
}

如果需要完全生成你示例里的显式switch分支代码，也可以把函数内部的判断逻辑替换为遍历validValues生成case分支的形式，运行时行为没有任何区别。

3. 按期望形式完成调用 #

调用时传入绑定好的合法值列表，就能获得类型安全的返回值，和你预期的调用体验几乎没有区别：

// 原有的any类型变量x
declare const x: any;
// 预设的默认值d，必须满足MyType类型才能通过编译
const d: MyType = "value1";
// 调用得到类型严格为MyType的结果
let y: MyType = parseLiteralUnion(x, MyTypeValues, d);

方案效果验证 #

• 编译阶段：如果默认值d的取值不在MyType合法范围内、或者运行时列表和MyType定义不匹配，都会直接触发编译错误；最终的y变量的类型被严格收窄为MyType，不存在宽类型逃逸。
• 运行阶段：当x的取值是"value1"或"value2"时，直接保留x的原值；其余所有取值（包括其他字符串、数字、null、undefined等）都会返回默认值d，和你给出的switch等价逻辑完全一致。

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