抛开any！从“未知”中挖掘编程的无限潜能

前端

2024-02-09 04:09:59

any：一把双刃剑

any，作为TypeScript中的一个特殊类型，最初旨在提供灵活性，允许开发者在代码中存储和操作任何数据类型。然而，这种自由也带来了潜在的风险：

类型丢失： any类型的变量可以存储任何值，这意味着编译器无法对其类型进行推断，导致类型检查失效。
类型不安全： 由于类型检查的缺失，使用any类型时容易发生类型错误，导致程序运行时出现意外行为。
代码可读性差： any类型的使用使得代码的可读性变差，增加了理解和维护代码的难度。

unknown：未知的惊喜

与any不同，unknown类型在TypeScript 3.0中引入，代表一种未知的类型。它的出现弥补了any类型的不足，为开发者提供了在不丧失类型安全性的情况下处理未知数据类型的一种方式。

unknown类型的特点如下：

类型推断保留： 编译器会推断unknown类型的变量，并保留其原始类型信息。
类型检查严格： 编译器会强制对unknown类型的值进行类型检查，确保其被分配给正确的类型。
类型断言谨慎： 开发者可以通过类型断言来明确指定unknown类型的值的类型，但必须谨慎使用，避免类型错误。

any与unknown：微妙的关系

any和unknown虽然都是特殊类型，但它们有着微妙的关系：

any是unknown的父类型： any类型可以包含任何类型的值，包括unknown类型的值。
unknown不是any的子类型： unknown类型的值不能直接赋值给any类型的变量，需要经过类型断言。
unknown更安全： unknown类型提供了比any类型更强的类型安全性，因为它强制进行类型检查。

代码实践：揭秘差异

让我们通过代码示例来揭示any和unknown之间的差异：

let anyValue: any = "Hello World";
let unknownValue: unknown = "Hello World";

// 类型检查失效
anyValue = 10;

// 类型检查通过
// unknownValue = 10; // Error: Type '"10"' is not assignable to type 'unknown'

// 类型断言
unknownValue = 10 as number; // 明确指定类型为 number

console.log(anyValue); // 10
console.log(unknownValue); // 10