使用TypeScript条件类型定义API响应类型及解决ts(2352)报错

• 核心原因是泛型条件类型的延迟求值特性：在函数实现内部，泛型参数T还未被具体类型填充，TS编译器不会对T extends Data ? Success<T> : Error这类条件类型做分支推导，无法将你返回的固定结构对象（status是"loaded"|"error"联合类型、data是Data|null联合类型）和依赖泛型的LoadDataObj<T>做类型兼容性校验。
• TS做类型断言校验时，要求两个类型有足够的重叠部分，但未求值的泛型条件类型和你写的对象字面量类型没有可确认的公共结构，因此判定直接断言为LoadDataObj<T>存在风险，抛出ts(2352)错误。
• 先断言为unknown再断言目标类型本质是绕过编译器的重叠校验，强制让TS接受类型，属于不安全的"逃生舱"写法，没有解决类型不匹配的本质问题。

推荐用函数重载替代泛型条件类型做响应分支的类型匹配，不需要任何类型断言，完全由TS做静态校验，同时返回类型的推导精度更高：

interface User {
  id: number;
  name: string;
}

interface Fruits {
  id: number;
  color: string;
}

type Data = [] | User[] | Fruits[];

// 入参：成功响应结构
interface SuccessPayload<T extends Data> {
  data: T;
  message: string;
}

// 返回值：成功场景
interface SuccessResult<T extends Data> {
  status: "loaded";
  successful: true;
  message: string;
  data: T;
}

// 返回值：失败场景
interface ErrorResult {
  status: "error";
  successful: false;
  message: string;
  data: null;
}

// 重载签名1：传入有效响应时返回成功类型
function setResponse<T extends Data>(response: SuccessPayload<T>): SuccessResult<T>;
// 重载签名2：未传参时返回失败类型
function setResponse(response?: undefined): ErrorResult;
// 实现签名：内部用联合类型覆盖所有场景即可
function setResponse<T extends Data>(response?: SuccessPayload<T>): SuccessResult<T> | ErrorResult {
  if (response) {
    return {
      successful: true,
      message: response.message,
      data: response.data,
      status: "loaded"
    };
  }
  return {
    successful: false,
    message: "",
    data: null,
    status: "error"
  };
}

// 测试用例类型会自动精准推导
const response = setResponse({ data: [{ id: 1, name: "bob" }], message: "data received" });
// 推导类型为 SuccessResult<User[]>
const responseEmpty = setResponse({ data: [], message: "data is empty" });
// 推导类型为 SuccessResult<[]>
const responseError = setResponse();
// 推导类型为 ErrorResult

console.log("response", response);
console.log("responseEmpty", responseEmpty);
console.log("responseError", responseError);

该实现的优势：

• 无任何类型断言，所有类型校验由TS静态完成，不存在强制类型转换的安全隐患
• successful字段被推导为精确的字面量类型true/false，后续做条件判断时TS可以自动收窄类型，不需要额外的类型判断
• 函数内部通过分支返回对应结构，编译器可以直接校验每个返回值的结构是否匹配，不会出现类型不兼容报错

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