TypeScript经.filter(Boolean)过滤后数组仍判定含undefined元素问题

这个问题的本质是TypeScript默认无法对传入filter的Boolean构造函数做类型窄化推导：
TS内置的Boolean类型定义没有标注类型谓词（type predicate），仅声明返回值为普通boolean类型。编译器做静态分析时，无法通过普通boolean返回值识别「返回true的项一定排除了undefined这类falsy值」的逻辑，因此不会自动从数组元素类型中剔除undefined，最终推导的类型仍然是(User | undefined)[]。

补充：TypeScript 5.5 版本已原生支持filter(Boolean)的隐式null/undefined窄化，若使用该版本及以上、且开启strictNullChecks编译配置仍出现该问题，优先排查TS版本是否过低、编译配置是否正确加载。

• 类型守卫方案（最推荐，类型安全无隐患）
  自定义带类型谓词的过滤函数，替换filter中的Boolean即可：

  function isDefined<T>(value: T | undefined | null): value is T {
    return value != null;
  }
  
  const users = DataStore.query().filter(isDefined);
  // 此时users会被正确推导为User[]类型
  

• 类型断言方案（适合临时修复，无额外运行时开销但需自行保证逻辑正确）
  直接通过类型断言指定最终结果类型：

  const users = DataStore.query().filter(Boolean) as User[];
  

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