如何让TypeScript识别array.some()条件已完成类型收窄？

我编写了如下代码：

const list = ['a', 'b', '= c', 'd']
if (list.some(element => element.includes('='))) {
    const elementWithEqualSign = list.find(element => element.includes('='))
}

此处elementWithEqualSign的类型为string | undefined，但实际上由于上方条件已排除undefined的可能，它应该仅为string类型。请问能否不使用类型断言as string，让TypeScript自动完成类型收窄？我推测方法在类型收窄相关文档中，但尚未找到具体实现方式。

可行方案 #

方案1：用类型谓词函数复用判断逻辑

提取重复的判断逻辑为类型谓词函数，让TypeScript识别两次调用的判断规则一致，从而完成类型收窄：

const list = ['a', 'b', '= c', 'd'];

// 定义类型谓词，明确判断逻辑对应的类型约束
function hasEqualSign(element: string): element is string {
  return element.includes('=');
}

if (list.some(hasEqualSign)) {
  const elementWithEqualSign = list.find(hasEqualSign);
  // 此时elementWithEqualSign的类型自动推断为string
}

原理：TypeScript会关联some和find使用的同一个谓词函数，当some返回true时，TS能确定数组中至少存在一个符合条件的元素，因此find的结果必然非空。

方案2：调整逻辑顺序，先查找再判断

直接先调用find，再判断结果是否存在，这种方式无需额外函数，TS会自然收窄类型：

const list = ['a', 'b', '= c', 'd'];

const elementWithEqualSign = list.find(element => element.includes('='));
if (elementWithEqualSign) {
  // 这里elementWithEqualSign的类型已经是string
}

这种方式更简洁，适合简单场景，逻辑上和原代码等价。

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