TypeScript如何正确实现自定义类型保护验证Tuple类型Job

问题核心原因 #

TypeScript 对自定义类型保护（返回值为value is T格式的函数）的实现逻辑采取「开发者自证正确」的策略，不会自动校验你写的运行时判断逻辑和你声明的类型保护是否匹配，这是设计层面的取舍，因为静态类型分析无法穿透运行时逻辑做完整的正确性校验。

你之前写的错误示例没有触发报错，还有一个直接原因是你给入参标注了any类型，这直接放弃了所有静态类型检查，自然不会得到value[1]不可能是数字的提示。

第一步：修正基础校验函数的错误 #

你现有的isValidDay、isValidStatus逻辑本身是错的：in操作符是用来判断对象的键是否存在，数组的键是索引，所以'Monday' in days永远返回false，需要改成用includes判断值是否在数组中：

const days = ['Monday', 'Wednesday'] as const
type Day = typeof days[number]
// 修正后的校验逻辑
const isValidDay = (value: string): value is Day => days.includes(value as Day)

const statuses = ['start', 'end'] as const
type Status = typeof statuses[number]
// 修正后的校验逻辑
const isValidStatus = (value: string): value is Status => statuses.includes(value as Status)

type Job = [Day, Status]

第二步：正确实现isValidJob类型保护 #

不要给入参标注any，尽量收窄入参的类型范围，这样TS可以帮你提前捕获低级逻辑错误：

// 入参可以根据你的使用场景标注为string[]或者更通用的unknown
const isValidJob = (value: string[]): value is Job => {
  // 先校验长度，再分别校验两个位置的元素符合要求
  return value.length === 2 && isValidDay(value[0]) && isValidStatus(value[1])
}

如果你要适配更通用的校验场景（比如入参可能不是数组），可以把入参标注为unknown，再逐层做类型收窄：

const isValidJob = (value: unknown): value is Job => {
  // 先校验是不是数组
  if (!Array.isArray(value)) return false
  // 再校验长度是2，且两个元素都是字符串
  if (value.length !== 2 || typeof value[0] !== 'string' || typeof value[1] !== 'string') return false
  // 最后校验元素符合枚举要求
  return isValidDay(value[0]) && isValidStatus(value[1])
}

这样实现之后，你如果再乱写比如typeof value[1] === 'number'的逻辑，TS会直接提示你value[1]已经被收窄为string类型，和number比较永远返回false，帮你提前发现错误。

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