TypeScript回调函数异常：filter调用时args.tags被识别为未定义

这是TypeScript控制流分析的固有特性：类型收窄结果不会穿透到延迟执行的回调函数中。
你在if (args.tags)判断块内直接同步调用args.tags.map时，TypeScript可以确定当前执行上下文下args.tags一定存在，已经将它的类型从Tag[] | undefined收窄为Tag[]，因此不会报错。
但你传入filter方法的箭头函数属于回调，执行时机晚于当前同步代码块，TypeScript无法保证执行回调时args.tags没有被重新赋值为undefined，因此会自动退回收窄前的联合类型，判定它可能为undefined，抛出TS2532错误。

• 方案1：将args.tags赋值给不可变的局部常量，TypeScript可以确定常量的类型不会被后续修改，会保留收窄结果

const func = async (args: Args) => {
  if (args.tags) {
    // 赋值给局部常量
    const tags = args.tags;
    const entities = [
      { tagId: '1' },
      { tagId: '2' }
    ];
    // 回调内使用局部常量即可
    const filtered = entities.filter(entity => tags.includes(entity.tagId));
    const mapped = tags.map(tag => tag + '_test');  
  }
};

• 方案2：使用可选链+兜底值兼容undefined场景，逻辑更安全

const filtered = entities.filter(entity => args.tags?.includes(entity.tagId) ?? false);

• 方案3：如果可以确定代码运行中args.tags不会被修改为undefined，可以使用非空断言!告知TypeScript无需检查该值的存在性

const filtered = entities.filter(entity => args.tags!.includes(entity.tagId));

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