TypeScript的类型兼容性基于结构化类型系统，只要源类型的结构包含目标类型所需成员即可赋值。例如，两个结构相同的接口Person和Animal虽无继承关系，但可相互赋值。函数类型兼容性遵循参数双向协变、返回值协变规则：参数类型更宽（如any）可赋值给更窄类型（如string），返回值必须是子类型。类的兼容性也看实例成员结构，只要结构匹配即兼容。泛型类型若实际结构不一致（如Box与Box）则不兼容，但未使用泛型时按结构判断。核心原则是“能不能用”，而非“是否同一类型”。
JavaScript本身是动态类型语言，变量类型在运行时决定。而TypeScript作为JavaScript的超集，引入了静态类型系统，在编译阶段进行类型检查。但Type的品牌机制不同于传统强类型语言（如Java或C#），它采用的是结构化类型系统（Structural Typing），这直接影响了类型的兼容性判断。
什么是类型兼容性？
类型兼容性指的是：一个类型能否赋值给另一个类型。在TypeScript中，如果一个类型的结构包含目标类型所需的所有成员，就可以赋值，即使它们没有显式的继承关系。
例如：假设有两个接口：
interface Person {
name: string;
age: number;
}
interface Animal {
name: string;
age: number;
}
尽管Person和Animal是不同的类型，但由于结构相同，TypeScript认为它们是兼容的：
立即学习“Java免费学习笔记（深入）”；
const person: Person = { name: "Alice", age: 30 };
const animal: Animal = person; // ✅ 允许，结构匹配
函数参数的协变与逆变
TypeScript在函数类型兼容性上遵循“参数位置是双向协变”的规则（在--strictFunctionTypes开启时更严格）。
简单来说：
- 函数的参数类型可以比目标类型更宽（允许传入更多类型）
- 返回值类型必须是目标类型的子类型（更具体）
type GetString = () => string; type GetText = () => "hello" | "world"; const getText: GetText = () => "hello"; const getString: GetString = getText; // ✅ 返回值"hello"是string的子集，兼容
但在参数上：
type Fn1 = (x: string) => void; type Fn2 = (x: any) => void; const fn2: Fn2 = (x) => console.log(x); const fn1: Fn1 = fn2; // ✅ 允许，fn2能处理任何值，当然也能处理string
注意：这里Fn2的参数更“宽”，所以可以赋值给Fn1，这是逆变的表现。
类之间的兼容性
TypeScript中，类的兼容性也基于结构。即使两个类没有任何继承关系，只要实例成员结构匹配，就可兼容。
class Dog {
name: string;
bark() { console.log("woof"); }
}
class Cat {
name: string;
meow() { console.log("meow"); }
}
const dog = new Dog();
let pet: { name: string } = dog; // ✅ 只看name属性，兼容
但如果比较两个完整类实例，方法不一致会导致不兼容。
泛型与类型兼容性
泛型在是否被引用时会影响兼容性。
interface Box{ value: T; } const box1: Box = { value: "hi" }; const box2: Box = { value: 42 }; // box1 = box2; ❌ 不兼容，string 和 number 不同
但如果泛型未被使用，可能仍兼容：
interface Unrelated基本上就这些。TypeScript的类型兼容性核心在于“能不能用”，而不是“是不是同一个类型”。理解结构化类型和函数参数的兼容规则，能避免很多类型错误。{ log: () => void; } const u1: Unrelated = { log: () => {} }; const u2: Unrelated = { log: () => {} }; u1.log = u2.log; // ✅ 方法兼容，泛型未影响结构
