TypeScript中如何为继承同一父类的对象数组正确指定类型

你将数组标注为Array<Body>类型后，TypeScript 对数组内元素的类型认知仅停留在Body父类层面，无法自动推断每个元素对应的具体子类类型。出于类型安全考虑，TS会阻止你访问父类上未定义的子类独有成员，从根源避免「对着Circle实例调用Rectangle才有的方法」这类运行时错误，这是TypeScript的正常校验逻辑，不是你的代码结构存在本质错误。

根据你的业务场景，可以选以下几种符合TS规范的写法：

• 多态实现（面向对象场景首选）
  如果子类的同名方法语义一致（比如所有形状都有计算面积、渲染的方法），直接在父类定义公共方法/抽象方法，由子类各自实现即可，不需要额外做类型判断：

abstract class Body {
  // 定义所有子类都要实现的公共方法
  abstract getArea(): number;
}

class Rectangle extends Body {
  width = 10;
  height = 20;
  getArea() {
    return this.width * this.height;
  }
  // 子类独有方法
  setWidth(width: number) {
    this.width = width;
  }
}

class Circle extends Body {
  radius = 5;
  getArea() {
    return Math.PI * this.radius ** 2;
  }
  // 子类独有方法
  setRadius(radius: number) {
    this.radius = radius;
  }
}

const world: Array<Body> = [new Rectangle(), new Circle()];
// 直接调用父类声明过的方法不会有类型报错
world.forEach(body => console.log(body.getArea()));

• 类型收窄（需要调用子类独有方法时使用）
  如果确实要调用仅在某个子类上存在的方法，先通过类型守卫判断元素的真实类型，TS会在判断分支内自动将类型收窄为对应子类，允许你安全调用独有方法：

  1. 用instanceof判断（类实例场景最方便）

  world.forEach(body => {
    if (body instanceof Rectangle) {
      // 此分支内TS自动识别body为Rectangle类型
      body.setWidth(20);
    } else if (body instanceof Circle) {
      // 此分支内TS自动识别body为Circle类型
      body.setRadius(10);
    }
  })
  

  2. 用判别式字段判断（适合序列化后丢失类原型链的场景）

  class Rectangle extends Body {
    readonly type = 'rect' as const;
    // ...其他逻辑
  }
  class Circle extends Body {
    readonly type = 'circle' as const;
    // ...其他逻辑
  }
  
  world.forEach(body => {
    switch(body.type) {
      case 'rect':
        body.setWidth(20);
        break;
      case 'circle':
        body.setRadius(10);
        break;
    }
  })
  

• 强制类型断言（仅在100%确定类型时使用）
  如果你完全明确某个位置的元素类型，可以用as关键字强制指定类型跳过TS校验，但这种写法会丢失类型安全保障，类型写错时会直接触发运行时错误，不推荐常规使用：

// 强制将数组第一个元素断言为Rectangle类型
(world[0] as Rectangle).setWidth(20);

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