TypeScript - 类型兼容性
你好，未来的编程巫师们！今天，我们将踏上一段激动人心的旅程，探索TypeScript的世界，并深入了解类型兼容性的迷人概念。如果你是编程新手，不用担心——我会成为你的友好向导，我们会一步一步地攻克这个主题。所以，拿起你的虚拟魔杖（键盘），让我们一起施展一些TypeScript的魔法！
TypeScript 如何进行类型兼容性检查？
想象你试图将不同形状的积木放入一个孔中。TypeScript的类型兼容性有点像这样——它关乎一个类型是否能嵌入另一个类型。但这里处理的是数据类型，而不是物理形状。
结构类型
TypeScript使用我们所说的“结构类型”。这意味着它更关心对象的形状，而不是其确切类型名称。让我们来看一个例子：
interface Pet {
name: string;
}
class Dog {
name: string;
}
let pet: Pet;
let dog = new Dog();
pet = dog; // 这没问题！在这个神奇的动物园中，TypeScript说：“嘿，Pet和Dog都有一个名为name的字符串属性。它们看起来一样，所以它们是兼容的！”这就好比说一个方形的楔子可以嵌入方形的孔中，即使一个被称为“方形”，另一个被称为“块”。
鸭子类型
编程中有句有趣的谚语：“如果它走路像鸭子，叫声像鸭子，那么它一定就是鸭子。”这就是鸭子类型的本质，而TypeScript也采纳了这一理念。让我们看看它是如何工作的：
interface Quacker {
quack(): void;
}
class Duck {
quack() {
console.log("Quack!");
}
}
class Person {
quack() {
console.log("我在模仿鸭子！");
}
}
let quacker: Quacker = new Duck(); // 显然可以
quacker = new Person(); // 这也没问题！TypeScript不关心Person是否被显式声明为Quacker。它只关心Person有一个quack方法，就像Quacker一样。所以Duck和Person都与Quacker兼容。
如何有效地使用类型兼容性？
有效地使用类型兼容性就像是一个熟练的拼图解谜者。以下是一些技巧：
1. 理解对象字面量检查
TypeScript对对象字面量更加严格。让我们看看为什么：
interface Point {
x: number;
y: number;
}
let p: Point;
// 这没问题
p = { x: 10, y: 20 };
// 这会导致错误
p = { x: 10, y: 20, z: 30 };TypeScript说：“等等！我要的是一个Point，但你给了我多出来的东西（z）。这是不允许的！”这有助于捕获可能错误地使用对象的潜在错误。
2. 使用可选属性
有时，你希望更灵活一些。这时，可选属性就派上用场了：
interface Options {
color?: string;
width?: number;
}
function configure(options: Options) {
// ...
}
configure({ color: "red" }); // 可以
configure({ width: 100 }); // 可以
configure({}); // 也可以！通过使属性可选（使用?），你告诉TypeScript：“这些属性不一定要有。”
函数和类型兼容性
函数就像是编程中的瑞士军刀——它们非常多功能。让我们看看类型兼容性与它们是如何工作的：
参数兼容性
TypeScript对函数参数非常宽容：
let x = (a: number) => 0;
let y = (b: number, s: string) => 0;
y = x; // 可以
x = y; // 错误这可能看起来有点违反直觉，但这是安全的。TypeScript说：“如果你期望一个接受两个参数的函数，提供一个接受更少参数的函数是可以的。多余的参数会被忽略。”
返回类型兼容性
返回类型也需要兼容：
let x = () => ({name: "Alice"});
let y = () => ({name: "Alice", location: "奇境"});
x = y; // 可以
y = x; // 错误返回比预期多的东西是可以的，但不能返回更少的。就像点了一个披萨，得到免费加的配料——那没问题！但如果你点了加料的披萨，却只得到饼底，你可能会失望。
类和类型兼容性
类就像是对象的蓝图，它们遵循类似的兼容性规则：
class Animal {
feet: number;
constructor(name: string, numFeet: number) { }
}
class Size {
feet: number;
}
let a: Animal;
let s: Size;
a = s; // 可以
s = a; // 可以TypeScript只关心实例成员。它说：“两者都有feet属性？对我来说足够了！”
私有和受保护成员
然而，当类有私有或受保护的成员时，事情会变得严格：
class Animal {
private name: string;
constructor(theName: string) { this.name = theName; }
}
class Rhino extends Animal {
constructor() { super("Rhino"); }
}
class Employee {
private name: string;
constructor(theName: string) { this.name = theName; }
}
let animal = new Animal("Goat");
let rhino = new Rhino();
let employee = new Employee("Bob");
animal = rhino; // 可以
animal = employee; // 错误：'Animal' 和 'Employee' 不兼容尽管Animal和Employee看起来一样，但TypeScript将它们视为不同的类型，因为它们的私有成员来自不同的声明。
结论
就这样，我的编程学徒们！我们一起穿越了TypeScript类型兼容性的土地。记住，TypeScript在这里是为了帮助你写出更好、更安全的代码。它就像一个友好的巫师在你肩上看着你，当你即将犯错误时温柔地提醒你。
继续练习，继续尝试，很快你就能像专业人士一样施展TypeScript的魔法！下次见，快乐编程！
Credits: Image by storyset