TypeScript无法识别元组类型：提取状态检查函数后报错

你遇到的核心问题是：TypeScript能识别直接字面量比较时的联合类型关联性，但普通函数无法传递这种类型关联信息，导致解构后的resource无法被正确收窄。以下是无需非空断言的解决方案：

方案1：用类型谓词断言整个元组类型 #

因为你的Available和NotAvailable是绑定的元组类型，解构后两个变量会丢失关联，所以最佳方式是让检查函数接收整个元组，并通过类型谓词告诉TypeScript：当函数返回true时，这个元组必然是Available类型。

修改代码如下：

enum Status {
  Fetching,
  Available,
  Error
}

type Resource = Record<string, string>

type Available = [Resource, Status.Available];
type NotAvailable = [undefined, Status.Fetching | Status.Error];

// 新增带类型谓词的检查函数
const isAvailable = (result: Available | NotAvailable): result is Available => {
  return result[1] === Status.Available;
}

const getResource = (): Available | NotAvailable => {
  return [undefined, Status.Fetching];
}

// 保持元组完整性，不提前解构
const resourceResult = getResource();
if (isAvailable(resourceResult)) {
  console.log(resourceResult[0].test); // TypeScript正确推断resource存在
}

方案2：改用对象类型定义状态（更推荐） #

元组的类型关联性在解构后容易丢失，改用对象类型可以让status和resource的绑定关系更直观，TypeScript的类型收窄逻辑也能更好地工作：

enum Status {
  Fetching,
  Available,
  Error
}

type Resource = Record<string, string>

// 用对象定义关联状态
type ResourceState = 
  | { status: Status.Available; resource: Resource }
  | { status: Status.Fetching | Status.Error; resource: undefined }

// 检查函数添加类型谓词
const isAvailableStatus = (status: Status): status is Status.Available => {
  return status === Status.Available;
}

const getResource = (): ResourceState => {
  return { status: Status.Fetching, resource: undefined };
}

const resourceState = getResource();
if (isAvailableStatus(resourceState.status)) {
  console.log(resourceState.resource.test); // TypeScript正确推断resource存在
}

为什么原来的写法不行？ #

当你直接写resourceStatus === Status.Available时，TypeScript能识别到这是对联合类型Available | NotAvailable的收窄，自动关联resource的类型。但普通函数默认只返回boolean，无法告诉TypeScript这个判断会带来的类型变化——添加status is Status.Available或result is Available这样的类型谓词，就是给函数加上了“类型层面的说明”，让TypeScript理解这个判断的类型意义。

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