TypeScript NoInfer 怎样阻止默认值反向影响泛型推导

当一个泛型函数同时接收“候选集合”和“默认值”时，TypeScript 可能把两个参数都当成推导来源。结果是默认值反过来扩大或改变泛型类型，错误提示也会偏离真正的问题。TypeScript 5.4 提供的 NoInfer 正好用于划定这条边界：集合负责推导，默认值只负责接受已经推导出的类型。

让主要参数成为唯一推导来源

先看一个常见的配置函数。调用者传入的颜色数组本应决定 C，但普通的 defaultColor?: C 也会参与推导。默认值一旦是另一个字面量，类型检查器就要在多个候选之间折中。

function createPalette(
  colors: C[],
  defaultColor?: C,
) {
  // 数组决定允许的颜色集合，默认值只在集合内选择
  return { colors, defaultColor: defaultColor ?? colors[0] };
}

createPalette(["red", "green"], "blue");

这里的重点不是把字符串写得更窄，而是声明“哪个位置有资格产生候选”。如果默认值只是回退策略，就不应该与主输入争夺 C。

用 NoInfer 切断默认值的反向影响

把次要参数改成 NoInfer 后，C 只从 colors 推导。于是 "blue" 不会把集合扩大为包含它的联合类型，而会被检查为不属于 "red" | "green"。

function createPalette(
  colors: C[],
  defaultColor?: NoInfer,
) {
  // 默认值不能反向改变 C，只能复用已推导出的成员
  return { colors, defaultColor: defaultColor ?? colors[0] };
}

createPalette(["red", "green"], "red");  // 可以通过
createPalette(["red", "green"], "blue"); // 类型错误

NoInfer 的语义是“阻止这个位置参与推导”，不是把类型变成 any，也不是关闭检查。被包裹的类型仍然会进行赋值兼容检查，所以它特别适合默认值、回退值、比较值这类次要输入。

把约束放进组件或配置工厂

在前端组件中，主输入往往是选项数组，默认值藏在配置对象里。只要默认值的职责是“从已有选项中选一个”，就可以沿用同一边界。

type Item = { value: T; label: string };

function createSelect(
  items: Item[],
  config: { defaultValue?: NoInfer },
) {
  // 配置读取不再参与 T 的推导，避免默认项制造新字面量
  return { items, value: config.defaultValue ?? items[0]?.value };
}

createSelect(
  [{ value: "draft", label: "草稿" }, { value: "done", label: "完成" }],
  { defaultValue: "done" },
);

如果组件确实需要让配置项扩展候选集合，就不要套 NoInfer；这表示 API 的设计意图不同。对于跨文件声明、回调参数或复杂条件类型，先确认问题是“推导来源错误”，再决定是否使用它。

按版本、联合类型和字面量边界检查

升级后可在编辑器中确认类型错误是否落在默认值位置；不要只看最终报错文字，还要检查主参数推导出的联合类型。若仍然出现字面量被扩大、回调上下文丢失或条件类型分支错误，问题可能已经超出推导来源，需要单独调整 API 签名。

常见问题

NoInfer 会让默认值失去类型检查吗？

不会。它只阻止默认值贡献推导，默认值仍必须能赋给推导出的 T。

可以用在普通非泛型参数上吗？

只有存在泛型推导边界时才有意义。没有待推导的类型参数时，包裹它不会带来实际收益。

为什么显式写泛型后问题消失了？

显式泛型直接指定了 T，类型检查器不再需要从默认值猜测。若这种调用很常见，用 NoInfer 把规则固化在函数签名里通常更易维护。