为何TypeScript在返回类型为泛型参数时抛出错误？

先看你的代码示例：

type ToggleValues = "skills" | "people";

type Return<T extends ToggleValues> = { value: T };

const people1: Return<"people"> = { value: "people" };
const people2: Return<"people"> = { value: "people" };
const skills1: Return<"skills"> = { value: "skills" };

const searchTermCombinations = <T extends ToggleValues>(toggleValue: T): Return<T>[] => {
  switch (toggleValue) {
    case "people":
      return [people1, people2]; // 类型为Return<"people">[]，但报错无法赋值给Return<T>[]
    case "skills":
      return [skills1]; // 类型为Return<"skills">[]，同样报错
    default:
      throw new Error("ToggleValue not implemented");
  }
};

问题原因 #

TS的泛型类型检查是在函数签名层面执行的，而非分支内部。虽然你知道调用时T只能是"people"或"skills"，但在switch分支里，TS无法把泛型参数T和当前分支的具体字面量类型绑定——它只知道T是ToggleValues的子集，没法确认当前分支返回的数组类型和函数声明的Return<T>[]完全匹配。

解决方案 #

方案1：使用函数重载（最推荐）

函数重载能直接明确不同输入对应的输出类型，让TS准确推断返回值，完全不需要类型断言：

type ToggleValues = "skills" | "people";
type Return<T extends ToggleValues> = { value: T };

const people1: Return<"people"> = { value: "people" };
const people2: Return<"people"> = { value: "people" };
const skills1: Return<"skills"> = { value: "skills" };

// 定义重载签名，明确输入输出对应关系
function searchTermCombinations(toggleValue: "people"): Return<"people">[];
function searchTermCombinations(toggleValue: "skills"): Return<"skills">[];
// 实现签名，处理逻辑
function searchTermCombinations(toggleValue: ToggleValues) {
  switch (toggleValue) {
    case "people":
      return [people1, people2];
    case "skills":
      return [skills1];
    default:
      throw new Error("ToggleValue not implemented");
  }
}

// 调用时类型自动推断正确
const resPeople = searchTermCombinations("people"); // 类型为Return<"people">[]
const resSkills = searchTermCombinations("skills"); // 类型为Return<"skills">[]

方案2：用条件类型优化泛型函数

如果坚持用泛型函数，可以通过条件类型让返回类型和输入参数强绑定，断言也更安全：

type ToggleValues = "skills" | "people";
type Return<T extends ToggleValues> = { value: T };

const people1: Return<"people"> = { value: "people" };
const people2: Return<"people"> = { value: "people" };
const skills1: Return<"skills"> = { value: "skills" };

const searchTermCombinations = <T extends ToggleValues>(toggleValue: T): 
  T extends "people" ? Return<"people">[] : Return<"skills">[] => {
  switch (toggleValue) {
    case "people":
      return [people1, people2] as Return<"people">[];
    case "skills":
      return [skills1] as Return<"skills">[];
    default:
      throw new Error("ToggleValue not implemented");
  }
};

这里的条件类型明确了T对应的返回类型，分支里的断言是针对具体类型的，不会出现混合"people"和"skills"的风险。

关于你的变通方案 #

你用satisfies先验证数组类型，再断言为Return<T>[]的方式确实可行，但本质是手动帮TS完成类型推断。相比之下，函数重载更符合TS的设计逻辑，代码可读性和安全性也更高。

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