显式类型检查后无法推断出 const 的类型？ （TS2349：无法调用类型缺少调用签名的表达式。）

Question

我在使用 TypeScript 时遇到了一个奇怪的问题，似乎我应该能够推断出一个常量是一个数组，并且有了这个知识就可以调用数组方法。但是，即使经过显式检查，TypeScript 显然也无法确定一个值是否真的是一个数组。

给定：

type Maybe<T> = T | null | undefined;

type Value = string
  | number
  | string[]
  | number[]
  | Maybe<number | string>[];

如果我因此对常量进行类型检查，我可以在常量上调用 .every 数组方法：

// This approach works fine:
const currVal: Maybe<Value> = perhapsSomeValueSomewhere;

if (Array.isArray(currVal)) {
  const arr: any[] = currVal;
  const isListOfStrings = arr.every((s) => typeof(s) === 'string');

  // ... Do other stuff here
}

我觉得应该遵循以上可以简化为：

// This approach results in an error:
const currVal: Maybe<Value> = perhapsSomeValueSomewhere;
const isListOfStrings = Array.isArray(currVal)
  && currVal.every((s) => typeof(s) === 'string');

// ... Do other stuff here

但是这种方法会导致错误：

TS2349: Cannot invoke an expression whose type lacks a call signature. Type '((callbackfn: (value: string, index: number, array: string[]) => boolean, thisArg?: any) => boole...' has no compatible call signatures.

我只能假设这意味着，在此过程中，TypeScript 已经失去了 && currVal.every((s) => ... 时的上下文，currVal 确实是某种数组。

当这两位逻辑看起来相当可比时，为什么后者会导致错误？

Answer 1

在第一种情况下，您通过将 currVal 分配给 any[] 来进行隐式类型转换，在第二种情况下，您没有将类型转换为数组类型。您可以使用以下显式强制转换来使用它。

const isListOfStrings = Array.isArray(currVal) && (<Array<any>>currVal).every((s) => typeof (s) === 'string');