Typescript 是否允许将“任何”分配给其他所有类型？如何处理捕获（错误：任何）？

Question

我记得在文档中读到所有类型都可以分配给any。但我不记得读过any 可以分配给其他所有类型。

function takesAString(x: string) {
    console.log(x);
}

const xAny: any = {}

takesAString(xAny);   // <--- WHY IS THIS NOT AN ERROR ?
takesAString(true);
takesAString(111);

我在try-catch 循环中遇到了这个问题：

catch(err) {                    // TYPESCRIPT EVALUATES err AS any
  dispatch(SOME_ACTION(err));   // THIS EXPECTS err TO BE OF TYPE STRING
}

Typescript 将 catch 块 err 参数隐式评估为 any，并没有提醒我 SOME_ACTION(err) 可能没有按预期获得 string。

这是正常行为吗？如何处理？

Answer 1

这不是错误，因为 any 特别选择退出类型检查。来自the documentation：

任何

在某些情况下，并非所有类型信息都可用，或者其声明会花费不适当的努力。这些可能发生在没有 TypeScript 或 3rd 方库的情况下编写的代码中的值。 在这些情况下，我们可能希望退出类型检查。为此，我们使用any 类型标记这些值 ...

（我的重点）

将此与unknown type 对比（我认为它相对较新），您在代码中标记的行确实是错误：

const xUnknown: unknown = {}

takesAString(xUnknown);   // <--- This is an error

Playground link

Answer 2

您想使用new feature to label catch variable as unknown

try {
  // ...
}catch(err: unknown) {   // no longer typed as any
  dispatch(SOME_ACTION(err));   // this is correctly error now.
}