TypeScript中已做参数非空校验仍触发类型报错的解决咨询

你的假设完全没问题——从逻辑上来说，只要函数A没有抛出错误，arg1 || arg2的结果肯定是string或number，绝不可能是undefined。TypeScript报错只是因为它的控制流分析没办法自动识别这种跨条件的逻辑关联而已。

下面几种方法可以让TypeScript正确识别你的逻辑：

方法1：使用非空断言操作符 ! #

最简单的方式是用!明确告诉TypeScript：“我保证这个值不是undefined或null”。因为你已经通过运行时校验确保了这一点，所以不会有运行时风险：

function A(arg1?: string, arg2?: number) { 
  if (!arg1 && !arg2) { 
    throw new Error('At least one of two parameters must be present'); 
  } 
  B((arg1 || arg2)!); // 添加非空断言
} 
function B(arg3: string | number) { 
  // 业务逻辑
}

方法2：重构代码让TypeScript自动推断类型 #

你可以把参数合并成一个变量，先对这个变量做undefined校验，这样TypeScript能清晰跟踪变量的类型：

function A(arg1?: string, arg2?: number) { 
  const input = arg1 || arg2;
  if (input === undefined) { 
    throw new Error('At least one of two parameters must be present'); 
  } 
  B(input); // TS现在能明确推断input是string | number类型
} 

这里的校验逻辑和你原本的完全一致，但因为我们直接对input做了类型检查，TypeScript能自动识别它的非undefined属性。

方法3：使用函数重载（提前到编译时校验） #

如果想把“至少传一个参数”的约束提前到编译阶段（而不是等到运行时抛错），可以给函数A添加重载定义：

// 重载签名：定义所有允许的调用方式
function A(arg1: string): void;
function A(arg2: number): void;
function A(arg1: string, arg2: number): void;

// 实现签名：处理所有参数情况
function A(arg1?: string, arg2?: number) { 
  // 此时不需要运行时校验了，因为重载会限制调用必须传至少一个参数
  B(arg1 || arg2!); 
} 
function B(arg3: string | number) { 
  // 业务逻辑
}

这样当有人尝试调用A()（不传任何参数）时，TypeScript会直接在编译阶段报错，从根源避免了运行时错误的可能。

为什么TypeScript会报错？ #

TypeScript的控制流分析虽然强大，但它没办法把!arg1 && !arg2的否定条件，直接转化为arg1 || arg2的类型断言。它只能知道“不是arg1和arg2同时为假”，但没办法自动推导这意味着arg1 || arg2一定是非undefined的。这是类型检查器的一个局限，需要我们通过断言、重构或者重载来辅助它识别逻辑。

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