TypeScript中如何声明继承基类的子类类型变量与类成员

你首先有两个认知偏差：

• any extends Animal不是合法的TypeScript类型声明语法，extends关键字不能直接在变量类型标注位置用来表示“任意子类”。
• 你记忆里的Java写法本身就无法通过编译：不管是Java还是TypeScript，当你把变量/属性标注为父类Animal类型时，静态检查只会识别父类上明确定义的成员，子类独有的方法（比如Cat的jump()、Dog的swim()）都不会被认可——这是静态类型语言保证类型安全的基础设计，和你实际实例化的是哪个子类没有关系。如果父类引用可以随意调用子类独有方法，就意味着程序默认所有子类都有这个方法，一旦传入其他子类实例就会出现运行时错误。

场景1：仅需要约束值是Animal子类，不需要调用子类独有方法 #

如果你的House类只需要保证存入的是Animal子类实例，不需要感知具体子类类型，直接把类型标注为Animal即可，不需要提前枚举所有子类：

abstract class Animal {
  // 基类公共属性、方法定义
}

class House {
  private animalThatStaysIn: Animal;
  constructor(animal: Animal) {
    this.animalThatStaysIn = animal;
  }

  // 类内部仅可调用Animal基类上定义的公共成员，符合类型安全要求
}

// 以下代码可正常通过类型检查，后续新增任意Animal子类都可直接传入，无需修改House的类型定义
const cat = new Cat();
const catHouse = new House(cat);
const dog = new Dog();
const dogHouse = new House(dog);

场景2：需要保留子类独有方法的访问能力 #

如果你需要在使用存入的animal实例时，能正常识别对应子类的独有方法，使用泛型做子类型约束即可：

// T 代表任意继承自Animal的具体子类型
class House<T extends Animal> {
  private animalThatStaysIn: T;
  constructor(animal: T) {
    this.animalThatStaysIn = animal;
  }

  getResidentAnimal(): T {
    return this.animalThatStaysIn;
  }
}

// 实例化时TypeScript会自动推导泛型的具体类型
const catHouse = new House(new Cat());
catHouse.getResidentAnimal().jump(); // 正常识别jump方法，无类型报错

const dogHouse = new House(new Dog());
dogHouse.getResidentAnimal().swim(); // 正常识别swim方法，无类型报错

这种写法既可以覆盖所有Animal子类、不需要提前枚举，又能保留具体子类的完整类型信息，完全满足扩展需求。

如果确实需要在父类类型的变量上调用子类独有方法，可以用instanceof做类型守卫收窄类型，不需要强制修改类型标注：

const animal: Animal = new Cat();
if (animal instanceof Cat) {
  animal.jump(); // 类型收窄为Cat，可正常调用jump方法
}

不要为了绕过检查直接把类型标为any，会完全丢失类型检查能力，大幅提升运行时错误概率。

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