如何实现更精准的TypeScript类型？解析类型推断异常问题

你遇到的类型推断偏差，核心在于TypeScript的泛型推断逻辑特性：

• 当函数参数的属性标记为可选（lower?: L）时，TypeScript会默认将泛型参数L推断为非undefined/null的类型——因为可选属性本身已经隐含了undefined的可能性。
• 比如你传入{lower: _dataParsed?.yearFrom}（其类型为number | undefined），TypeScript会认为L是number，而lower?: L的类型刚好是number | undefined，完美匹配传入值的类型，这就导致返回类型错误地收缩为number，而非预期的number | undefined。
• 原返回类型的条件逻辑看似合理，但由于泛型参数被错误收缩，最终无法准确反映实际返回值的类型。

我们调整泛型定义逻辑，不再拆分单个属性为泛型参数，而是直接捕获整个输入对象的类型，让TypeScript从对象属性中准确提取类型信息：

// 基于输入对象类型推导返回值类型
type ClampRangeReturnType<Values, Limits> = [
  // 第一个元素：优先取合法的minAllowed，否则根据lower的类型返回对应值
  Limits["minAllowed"] extends number
    ? number
    : Values["lower"] extends number | null
      ? number
      : undefined,
  // 第二个元素：同理处理upper和maxAllowed
  Limits["maxAllowed"] extends number
    ? number
    : Values["upper"] extends number | null
      ? number
      : undefined
];

export function clampRange<
  Values extends { lower?: number | null | undefined; upper?: number | null | undefined } = {},
  Limits extends { minAllowed?: number | null | undefined; maxAllowed?: number | null | undefined } = {}
>(
  values: Values = {} as Values,
  limits: Limits = {} as Limits
): ClampRangeReturnType<Values, Limits> {
  const { lower, upper } = values;
  const { minAllowed, maxAllowed } = limits;

  // 直接返回元组，用satisfies确保类型匹配（TypeScript 4.9+支持）
  return [
    typeof lower === "number" 
      ? (typeof minAllowed === "number" && minAllowed > lower ? minAllowed : lower) 
      : undefined,
    typeof upper === "number" 
      ? (typeof maxAllowed === "number" && maxAllowed > upper ? maxAllowed : upper) 
      : undefined
  ] as const satisfies ClampRangeReturnType<Values, Limits>;
}

• 传入确定数字时：

  const [yearFrom1, yearTo1] = clampRange({lower: 2010});
  // yearFrom1: number, yearTo1: undefined
  

• 传入可能为undefined的值时：

  const _dataParsed = { yearFrom: 2010 } | undefined;
  const [yearFrom2, yearTo2] = clampRange({lower: _dataParsed?.yearFrom});
  // yearFrom2: number | undefined, yearTo2: undefined
  

• 传入minAllowed限制时：

  const [yearFrom3, yearTo3] = clampRange({lower: 2010}, {minAllowed: 2015});
  // yearFrom3: number, yearTo3: undefined
  

• 处理null值：原逻辑中通过typeof lower === "number"判断，null会被正确转为undefined，类型定义也包含了null的约束。
• 安全类型校验：使用as const satisfies替代直接类型断言，确保返回值严格符合推导的类型，避免潜在的类型不匹配问题。
• 默认类型兜底：给泛型参数设置默认值{}，确保不传参数时返回[undefined, undefined]的正确类型。

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