TypeScript中如何实现排除特定值的变量类型检查？

方法1：利用条件类型排除指定值 #

通过条件类型结合never类型，可以直接在编译阶段拦截指定的禁止值，触发类型错误。

示例代码：

// 定义禁止的取值集合
type ForbiddenNames = "Andy" | "Bob";

// 定义排除逻辑：若传入值属于禁止集合则返回never（触发类型错误），否则返回原类型
type ExcludeForbidden<T> = T extends ForbiddenNames ? never : T;

// 使用该类型约束函数参数
export const func = <T extends string>(name: ExcludeForbidden<T>): void => {
  // 函数业务逻辑
};

// 测试案例
func("Andy"); // ❌ 类型错误：'"Andy"'不满足约束'never'
func("Bob"); // ❌ 类型错误
func("Charlie"); // ✅ 正常通过
func("David"); // ✅ 正常通过

方法2：针对字符串字面量的精准排除 #

如果需要更严格的字符串值校验，可以结合Exclude工具类型直接构造允许的类型：

type ForbiddenNames = "Andy" | "Bob";
// 直接排除禁止值，仅允许其他字符串
type AllowedName = Exclude<string, ForbiddenNames>;

export const func = (name: AllowedName): void => {};

func("Andy"); // ❌ 类型错误
func("Bob"); // ❌ 类型错误
func("Eve"); // ✅ 正常通过

方法3：编译+运行时双重校验（类型守卫函数） #

如果需要同时覆盖编码阶段和运行时的校验，可以写一个类型守卫函数，兼顾类型检查和运行时拦截：

type ForbiddenNames = "Andy" | "Bob";

// 类型守卫：判断值是否不属于禁止集合
function isNotForbidden(name: string): name is Exclude<string, ForbiddenNames> {
  return !(["Andy", "Bob"] as const).includes(name as ForbiddenNames);
}

export const func = (name: string): void => {
  if (!isNotForbidden(name)) {
    throw new Error(`禁止使用名称：${name}`);
  }
  // 后续业务逻辑
};

// 测试案例
func("Andy"); // ❌ 编译时类型警告，运行时抛出错误
func("Frank"); // ✅ 正常通过

补充说明 #

• 若要处理枚举类型，同样可以用Exclude工具类型，比如Exclude<MyEnum, MyEnum.Andy | MyEnum.Bob>来排除指定枚举成员。
• 方法1、2属于编译时校验，仅在编码阶段拦截；方法3同时覆盖编译和运行时场景。

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