TypeScript if判断后仍提示可选参数point可能为undefined如何修复

你遇到的类型收窄失效本质是两个问题：

1. 判断逻辑不符合预期：!point && !optionB的语义是「两个参数同时为假值才进单单位分支」，根据逻辑规则取反后，进入后续分支的条件是「至少一个参数为真值」，而非「两个参数都存在」。TS按照控制流分析，会判定进入后续分支时仍存在point为undefined的可能（比如传了optionB但没传point的场景），自然会报类型错误。
2. optionB没触发报错是控制流分析的必然结果：如果走到后续分支时optionB是undefined，说明!optionB为真，此时要跳过第一个if分支必须满足!point为假，也就是point一定是有值的数字，这时候i <= point永远为真，只会走optionA的分支，根本不会访问到undefined的optionB，所以TS不会报optionB的错。

另外用!point做判断本身有逻辑bug：当你传合法值point = 0时，!0为true，会被误判成没传参数，错误进入单单位分支。

直接把缺省判断改成精准的undefined全等判断，明确只有两个可选参数都传入时才走双单位逻辑，TS会自动完成类型收窄，不需要任何非空断言：

// 支持秒、分两种时间单位，生成带单位的字符串数组
const timeArray = (arr: (string | number)[] | number[], optionA: string, optionB?: string, point?: number): string[] => {
  // 缺省第二单位或分割点时，返回单单位数组
  if (optionB === undefined || point === undefined) {
    return Array.from(arr, (el) => el + ` ${optionA}`);
  }
  // 两个参数均传入时，按分割点返回双单位数组
  return Array.from(arr, (el, i) => el + ` ${i <= point ? optionA : optionB}`);
};

• 不要用falsy判断（!xxx）校验可选参数是否传入，会把0、''这类合法假值误判为缺省，用=== undefined判断才是精准的。
• 修正判断逻辑后，TS的控制流分析能100%确定进入双单位分支时point和optionB都有确定值，不会再报undefined相关的类型错误。

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