TypeScript - 任意类型：类型的瑞士军刀

你好，未来的编程巨星们！今天，我们将深入TypeScript中最多功能（有时也颇具争议）的特性之一：any类型。系好安全带，因为我们即将踏上一段旅程，它会让你说出：“任何事都是可能的！”（抱歉，我忍不住开了一个类型的小玩笑！）

TypeScript - Any

什么是任意类型？

在我们开始之前，让我们想象你参加了一个百家宴。你带了一道菜，但你不知道其他人会带什么。TypeScript中的any类型有点像这样——它可以持有任何类型的值，就像你在百家宴的盘子里可以放任何类型的食物一样！

可以代表任何值

any类型正如其名——它可以在TypeScript中表示任何值。它就像一个通配符，说：“嘿，TypeScript，我可以是我想要的任何东西！”

让我们看一些例子：

let myVariable: any = 42;
console.log(myVariable); // 输出：42

myVariable = "Hello, World!";
console.log(myVariable); // 输出：Hello, World!

myVariable = true;
console.log(myVariable); // 输出：true

myVariable = [1, 2, 3];
console.log(myVariable); // 输出：[1, 2, 3]

在这个例子中，我们将myVariable声明为any类型。然后我们给它赋了不同类型的值——一个数字、一个字符串、一个布尔值和一个数组。TypeScript不会抱怨，因为any可以是，嗯，任何东西！

函数参数的任意类型

现在，假设你正在创建一个需要超级灵活性的函数。你希望它能接受任何类型的参数。这时any就派上用场了！

function printAnything(arg: any): void {
console.log(arg);
}

printAnything(42);          // 输出：42
printAnything("TypeScript"); // 输出：TypeScript
printAnything([1, 2, 3]);    // 输出：[1, 2, 3]

在这个例子中，我们的printAnything函数可以接受任何类型的参数。这就像一个友好的门卫在俱乐部里让每个人都能进入！

任意类型的对象

有时，你可能想要创建一个可以具有任何类型属性的对象。让我们创建一个能装下任何东西的神奇袋子：

let magicalBag: { [key: string]: any } = {};

magicalBag.book = "Harry Potter";
magicalBag.wand = { wood: "Holly", core: "Phoenix feather" };
magicalBag.spells = ["Expelliarmus", "Lumos", "Accio"];

console.log(magicalBag);
// 输出：
// {
//   book: "Harry Potter",
//   wand: { wood: "Holly", core: "Phoenix feather" },
//   spells: ["Expelliarmus", "Lumos", "Accio"]
// }

在这里，magicalBag是一个可以有任意数量属性的对象，每个属性可以是任何类型。这就像玛丽·波平斯的袋子——它能装下任何东西！

为什么使用任意类型？

你可能在想：“如果TypeScript全是关于类型的，我们为什么要用any？”这是个好问题！以下是一些any可能很有用的场景：

当处理动态内容时（比如来自API的数据）
当逐步将JavaScript项目迁移到TypeScript时
当处理没有类型定义的第三方库时

让我们看一个处理动态内容的例子：

async function fetchUserData(userId: number): Promise<any> {
const response = await fetch(`https://api.example.com/users/${userId}`);
const userData = await response.json();
return userData; // 我们不知道userData的确切结构，所以使用'any'
}

// 使用
fetchUserData(123).then(user => {
console.log(user.name);  // TypeScript不会抱怨，即使'name'不存在
});

在这种情况下，我们不确定接收到的数据结构，所以使用any来告诉TypeScript：“相信我，我知道我在做什么！”

类型断言

有时，你可能比TypeScript更了解一个值的类型。这时类型断言就派上用场了。这就像告诉TypeScript：“我知道你认为这是any，但相信我，它实际上是一个特定的类型。”

下面是如何使用类型断言：

let someValue: any = "Hello, TypeScript!";
let strLength: number = (someValue as string).length;

console.log(strLength); // 输出：20

在这个例子中，我们告诉TypeScript：“嘿，我知道someValue是any类型，但我确定它实际上是一个字符串。所以让我像字符串一样使用它。”

谨慎：能力越大，责任越大

虽然any很强大，但应该谨慎使用。记住，TypeScript的主要优点是它的类型检查。使用any，你基本上是在告诉TypeScript为该变量关闭类型检查。

以下是一个any可能导致运行时错误的例子：

let num: any = "42";
console.log(num.toFixed(2)); // 这将导致运行时错误！

TypeScript不会对这个代码抱怨，但当你运行它时，它会抛出一个错误，因为字符串没有toFixed方法。

Any与Unknown：更安全的替代品

TypeScript 3.0引入了unknown类型，它是any的类型安全替代品。虽然any允许你在没有任何检查的情况下做任何事情，但unknown强制进行类型检查。

让我们比较一下any和unknown：

let anyVar: any = 10;
let unknownVar: unknown = 10;

let s1: string = anyVar;    // 可以
let s2: string = unknownVar; // 错误：类型'unknown'不可分配给类型'string'

// 我们需要在使用unknownVar之前检查类型
if (typeof unknownVar === 'string') {
let s3: string = unknownVar; // 可以
}

如你所见，unknown更安全，因为它迫使我们检查类型。

方法表

以下是一些你可能使用的any的常见方法：

方法	描述	示例
`typeof`	返回一个字符串，指示未计算的操作数的类型	`typeof anyVar === 'string'`
`instanceof`	测试构造函数的`prototype`属性是否出现在对象的`prototype`链中	`anyVar instanceof Array`
类型断言	告诉编译器将值视为特定的类型	`(anyVar as string).length`
类型守卫	用户定义的类型谓词，帮助缩小变量的类型	`if (isString(anyVar)) { ... }`

记住，使用any时，你可以使用JavaScript中的任何方法，但你会失去TypeScript类型检查的好处。

就这样吧，伙计们！你已经深入到了TypeScript中any类型的世界。记住，虽然any可以是一个强大的工具，但它就像超级英雄的力量——明智和负责任地使用它。快乐编码，愿类型永远在你这边！

Credits: Image by storyset