如何在TypeScript中检查字符串是否为合法的Channels联合类型值？

因为TypeScript的类型仅存在于编译阶段，运行时会被完全擦除，所以直接用Channels类型做比较会报错'Channels' only refers to a type, but is being used as a value here.。要实现运行时检查，需要借助运行时存在的有效值集合，以下是两种常用方案：

方案一：从运行时值生成类型（推荐） #

先定义包含所有合法值的数组，再基于数组生成联合类型，确保类型和运行时值完全同步，避免重复维护：

// 定义运行时可用的合法频道数组，as const 让元素被推断为字面量类型
const validChannels = ['Main', 'Secondary', 'Misc'] as const;
// 基于数组元素生成联合类型
type Channels = typeof validChannels[number];

// 类型守卫函数：检查值是否属于Channels类型
function isChannel(value: string): value is Channels {
  return (validChannels as readonly string[]).includes(value);
}

// 使用示例
const argChannel: string = 'Main';
if (isChannel(argChannel)) {
  // 此分支中argChannel会被TypeScript推断为Channels类型
  console.log(`${argChannel} 是合法频道`);
} else {
  console.log(`${argChannel} 不是合法频道`);
}

方案二：手动维护有效值集合 #

如果不想修改原有的Channels类型定义，可以手动创建一个包含所有合法值的集合，再进行检查：

type Channels = 'Main' | 'Secondary' | 'Misc';
// 手动创建合法值集合，需确保和Channels类型的成员完全一致
const validChannelsSet = new Set<Channels>(['Main', 'Secondary', 'Misc']);

const argChannel: string = 'Main';
// 用类型断言绕过类型检查，或用类型守卫函数优化推断
if (validChannelsSet.has(argChannel as Channels)) {
  console.log(`${argChannel} 是合法频道`);
} else {
  console.log(`${argChannel} 不是合法频道`);
}

核心逻辑：TypeScript类型无法直接用于运行时判断，必须依赖实际存在的有效值集合来做校验，推荐第一种方案，能避免类型和运行时值不一致的问题。

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