子类变量引用父类对象：TypeScript语法示例及结构类型疑问

这背后的核心原因是TypeScript采用的是结构类型系统（Structural Typing），而不是像Java、C#那样的名义类型系统（Nominal Typing）。咱们一步步拆解这个问题：

1. 结构类型系统的核心规则 #

在结构类型系统中，类型的兼容性完全由**类型的结构（即包含的属性、方法及其类型）**决定，而不是类型的名字或者继承关系。只要源类型的实例拥有目标类型要求的所有成员（成员名称、类型都匹配），TypeScript就允许赋值。

2. 结合你的代码分析结构匹配度 #

先看你的代码里Dog和Mammal的结构：

• Mammal类包含：私有属性name，方法eat()、sleep()
• Dog类继承自Mammal，只重写了eat()方法，没有新增任何属性或方法

也就是说，Dog类型要求的所有成员，Mammal的实例全部具备：

• 私有属性name：因为Dog继承自Mammal，它的name私有成员和Mammal的name来自同一个类声明，结构检查时会认为这是匹配的（TypeScript对私有/protected成员的结构检查，会验证它们是否源自同一个类的定义）
• 方法eat()：Mammal有这个方法，类型匹配
• 方法sleep()：Mammal有这个方法，类型匹配

所以从结构上看，Mammal实例完全符合Dog类型的要求，TypeScript自然允许let d: Dog = new Mammal("abomination");这种赋值。

3. 反例：当子类新增成员时会发生什么 #

如果给Dog新增一个独有的成员，比如私有属性breed：

class Dog extends Mammal{
    private breed: string;
    constructor(name: string, breed: string){
        super(name);
        this.breed = breed;
    }
    eat(){ console.log("Like a dog") }
}

这时候再尝试let d: Dog = new Mammal("abomination");，TypeScript就会报错了——因为Mammal实例缺少Dog要求的私有属性breed，结构不匹配。

4. 和名义类型系统的对比 #

如果是在Java这类名义类型语言中，即使Dog和Mammal结构完全一致，Mammal实例也不能赋值给Dog类型变量，因为语言是通过类的名称/身份来判断兼容性的，而不是结构。TypeScript的结构类型系统则更灵活，更适配JavaScript的动态特性。

内容的提问来源于stack exchange，提问作者overexchange