类型记录函数可以将Promise<any>作为Promise<Bar>返回吗？

Question

我正在为fetch-api创建一个类型安全的包装器，我注意到类型记录编译器将其归类为完全有效的代码：

function foo(response: Response): Promise<Bar> { //response received from a fetch() call
    const json: Promise<any> = response.json();
    return json; //Promise<any> can be returned as Promise<Bar>?
}

为什么可以将Promise<any>直接返回为Promise<Bar>？这难道不需要某种类型的断言吗？

Answer 1

始终避免使用any。根据定义，any可以分配给任何东西，也可以从没有任何类型断言的任何东西中分配。当用作泛型类型参数时，还原类型(ex Promise<any>)通常可分配给该位置上的任何其他类型参数(ex Promise<Bar>)。

由于3.0类型记录引入了unknown (read 这里 for more)，这与任何类似于您可以将任何东西分配给它的内容相似，因此在没有类型断言的情况下，它不能分配给其他任何东西。所以这是一个错误：

let u: Promise<unknown>
let n: Promise<number> = u; // error

您可以看看tslint规则no-unsafe-any和no-any，这些规则可以根据您希望在多大程度上禁止any来阻止any在项目中的使用，就像我在一开始所说的那样，我将完全禁止它，并在绝对必要的少数情况下添加例外。

Answer 2

如果某物可以是any，那么它也可以是Bar。如果您查看基本类型的类型记录文档，它说(强调我的)

任何 我们可能需要描述在编写应用程序时不知道的变量类型。这些值可以来自动态内容，例如来自用户或第三方库。在这些情况下，我们希望选择退出类型检查，并让值通过编译时检查。为此，我们将这些标记为任意类型：

这意味着any类型完全忽略编译时类型检查。