Eclipse中JSDoc原型继承类型检查异常问题咨询

问题1：基类类型参数无法识别派生类实例 #

核心原因是JSDoc继承关系标注不清晰，或是LSP的类型推断未被正确触发。可按以下步骤排查：

• 派生类必须通过@extends JSDoc标签明确继承关系，示例：

  /**
   * @extends {CoolDownTween}
   */
  class CooledDownPropFadeToggleTween extends CoolDownTween {
    // 类实现代码
  }
  

• 基类需用@class标签声明为可识别的类型，避免LSP将其视为普通对象：

  /**
   * 冷却补间基类
   * @class
   */
  class CoolDownTween {
    // 类实现代码
  }
  

• 检查jsconfig.json，添加"checkJs": true开启类型校验，强制LSP基于JSDoc做更精准的类型推断。

问题2：派生类访问基类currentFrame属性报错，ended属性正常 #

这种差异源于两个属性的声明/标注方式不同：

• 先对比基类中两个属性的定义：
  • ended要么是在原型链上定义（如CoolDownTween.prototype.ended = false），要么在基类的JSDoc中通过@property明确标注了类型，LSP能识别其为基类实例的固有属性；
  • currentFrame仅在基类构造函数中做了赋值（如this.currentFrame = 0），但未添加对应的JSDoc标注，导致LSP无法推断该属性属于基类实例，因此在派生类中访问时触发报错。
• 修复方案：在基类的JSDoc中显式标注currentFrame属性，示例：

  /**
   * 冷却补间基类
   * @class
   * @property {number} currentFrame 当前帧计数
   * @property {boolean} ended 补间是否结束
   */
  class CoolDownTween {
    constructor() {
      this.currentFrame = 0;
      this.ended = false;
    }
  }
  

• 若currentFrame是基类的私有字段（如使用#currentFrame语法），则派生类无法直接访问，需修改为公共/受保护属性或提供访问器方法。

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