TypeScript：如何守卫无错误时Promise非空值？aerr函数互斥类型求解

我来帮你搞定这两个TypeScript类型推断的问题——这在封装异步错误处理时确实是个容易踩的坑，咱们一步步来解决。

一、Promise无错误时的返回值非空类型守卫 #

当你的Promise resolve的返回值可能是null/undefined时，TypeScript不会自动帮你断言它非空，需要手动做类型守卫，常见的方式有这几种：

1. 直接用条件判断（最常用） #

如果你的Promise返回T | null，在await或者then回调里直接判断值是否非空：

async function fetchData(): Promise<string | null> {
  // 模拟可能返回null的异步操作
  return Math.random() > 0.5 ? "hello" : null;
}

async function useData() {
  const value = await fetchData();
  
  // 这里value是string | null，做非空判断
  if (value === null) {
    console.log("数据为空");
    return;
  }
  
  // 此时TypeScript自动推断value为string类型
  console.log("数据长度:", value.length);
}

2. 自定义类型守卫函数 #

如果需要重复使用非空判断，可以封装成类型守卫：

function isNonNull<T>(value: T | null | undefined): value is T {
  return value !== null && value !== undefined;
}

async function useDataWithGuard() {
  const value = await fetchData();
  
  if (!isNonNull(value)) {
    console.log("数据为空或未定义");
    return;
  }
  
  // 这里value确定为string类型
  console.log(value.toUpperCase());
}

二、让TypeScript识别err与value的互斥关系 #

你之前的代码无法让TypeScript识别互斥，核心问题是类型定义没有明确区分"成功"和"失败"两种互斥状态。默认的{ err: Error | null; value: T | null }类型，TypeScript无法知道"err为null时value一定非空，err存在时value一定为null"。

解决方法是用联合类型明确两种互斥的情况：

1. 定义互斥的Result类型 #

先创建一个联合类型，分别表示成功和失败状态：

// 成功时：err为null，value为T类型
// 失败时：err为Error，value为null
type AsyncResult<T> = 
  | { err: Error; value: null }
  | { err: null; value: T };

2. 封装你的aerr函数 #

用这个联合类型作为返回值，TypeScript就能自动识别互斥关系：

async function aerr<T>(promise: Promise<T>): Promise<AsyncResult<T>> {
  try {
    const value = await promise;
    return { err: null, value };
  } catch (err) {
    // 这里可以根据需要做类型断言，确保err是Error类型
    return { err: err as Error, value: null };
  }
}

3. 使用时的类型推断 #

现在调用aerr后，TypeScript会自动根据err的存在与否推断value的类型：

async function example() {
  const result = await aerr(fetchData());
  
  if (result.err) {
    // 此时TypeScript知道result.value一定是null
    console.error("请求失败:", result.err.message);
    return;
  }
  
  // 此时TypeScript自动推断result.value为string | null（因为fetchData本身可能返回null）
  // 再做一层非空守卫就能拿到确定的string类型
  if (result.value === null) {
    console.log("返回数据为空");
    return;
  }
  
  console.log("处理后的数据:", result.value.repeat(2));
}

进阶：如果value本身不会为null #

如果你的Promise返回的T本身不包含null/undefined，那在成功分支里result.value会直接是确定的非空类型：

async function fetchNonNullData(): Promise<string> {
  return "一定有值的字符串";
}

async function exampleNonNull() {
  const result = await aerr(fetchNonNullData());
  
  if (result.err) {
    console.error("失败:", result.err.message);
    return;
  }
  
  // 这里result.value直接是string类型，无需额外判断
  console.log(result.value.length);
}

总结 #

• 非空类型守卫：通过条件判断或自定义类型守卫，让TypeScript确定Promise返回值非空。
• err/value互斥：用联合类型明确区分成功和失败的状态，而不是用同时可为null的对象类型，这样TypeScript就能正确推断两者的互斥关系。

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