如何告诉 TypeScript 理解在 if 子句中使用 array.some（） 已经缩小了类型范围？

在一般情况下，不可以。

考虑以下情况：您在 中使用与 中的条件不同的条件。.some().find()

编译器如何（自动）确定第一个条件是否更改了 的返回类型。.find()

如果条件非常复杂怎么办？例如，如果它根据 REST API 检查每个元素，会怎么样？即使具有看似相同的条件，它也可能在第二次返回不同的结果（这有时称为检查时间-使用时间-TOCTOU），这意味着这是一种可能的类型。undefined

使用类型断言。

好吧，不要这样做，但
https://tsplay.dev/mLJBZw

interface Array<T> {
  // make "some" to say it has the item
  some<V>(predicate: (v: T) => v is T & V): this is { guaranteedHas: V };
  // make "find" to get the item if it has it
  find<V>(this: { guaranteedHas: V }, predicate: (v: T) => v is T & V): V;
}
interface ReadonlyArray<T> {
  // make "some" to say it has the item
  some<V>(predicate: (v: T) => v is T & V): this is { guaranteedHas: V };
  // make "find" to get the item if it has it
  find<V>(this: { guaranteedHas: V }, predicate: (v: T) => v is T & V): V;
}
interface String {
  // this is a "proper" typing, but...
  includes<T, V extends string>(this: T, searchString: V): this is T & `${string}${V}${string}`;
}

function includes<D extends string>(d: D) {
  // ...but you need a wrapper because `is` returns become booleans
  return function inc<S extends string>(s: S): s is S & `${string}${D}${string}` {
    return s.includes(d)
  }
}

const list = ['a', 'b', '= c', 'd'] as const
if (list.some(includes('='))) {
  const elementWithEqualSign = list.find(includes('='))
  //    ^?
  // const elementWithEqualSign: "= c"
}

为什么要用相同的测试遍历两次阵列？两者均可用于：find

const elementWithEqualSign = list.find(element => element.includes('='));

if (elementWithEqualSign) {
// elementWithEqualSign is a string here
}