如何根据外部条件动态选择TypeScript的type/interface类型

你写的这种直接在参数类型位置引用运行时变量做三元判断的写法，TypeScript 原生不支持。核心原因是 TS 的类型系统工作在编译阶段，所有类型标注会在编译后被完全擦除，类型层面无法直接引用运行时才会存在的变量值做判断。

针对你提到的功能开关场景，可以根据开关的生效时机选对应实现方案：

编译阶段可确定开关值的场景 #

如果你的 feature toggle 是构建时就固定的常量（比如硬编码的环境标记、vite/webpack 注入的全局常量），可以先提取常量的字面量类型，再通过条件类型推导参数类型：

type NotNullableName = string;
type NullableName = string | null;

// 编译期可确定值的常量，必须加as const锁定字面量类型
const externalCondition = true as const;

type NameParam = typeof externalCondition extends true ? NotNullableName : NullableName;
const getName = (name: NameParam) => name;

这种写法的效果和你的期望完全一致：当externalCondition为true时，TS 会自动推导getName的参数类型为string，不允许传null；反之则允许传null。如果是构建工具注入的全局常量，只要补充好对应的字面量类型声明，用法完全相同。

运行时才确定开关值的场景 #

如果开关值是运行时动态计算的（比如根据接口返回、用户权限、本地存储值判断），你原本用三元表达式选择对应实现函数的写法就是最优解，TS 会自动为合并后的函数推导正确的类型：

// 运行时才确定值的条件
const externalCondition = Math.random() > 0.5;

const getNotNullableName = (name: NotNullableName) => name
const getNullableName = (name: NullableName) => name

const getName = externalCondition ? getNotNullableName : getNullableName;

此时 TS 推导的getName类型是两个函数类型的联合，调用时会自动做类型校验：传字符串永远合法，传null时 TS 会提示只有开关为假的分支才接受空值，不会出现类型漏判。

如果不想拆分两个函数实现，也可以用泛型封装成单函数，但要注意必须在函数内部做对应分支的逻辑校验，不能靠类型断言强行绕过校验，否则会出现类型标注和实际运行值不一致的隐患：

const getName = <T extends boolean>(
  condition: T,
  name: T extends true ? NotNullableName : NullableName
) => {
  // 这里补全对应分支的业务逻辑即可
  return name;
};

注意：不要为了简化写法强行用类型断言绕开TS校验，运行时可变的条件必须配对应的运行时分支判断，否则生产环境很容易出现空值类bug。

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