TypeScript抽象函数实现触发import.default无法赋值给Implementation错误

代码不生效的核心原因 #

你写的代码存在两个关键问题，直接触发了类型报错：

• 泛型声明层级错误：你在MustHave类里把clone方法定义为方法级泛型clone<T> : T，这意味着这个泛型参数T的实际类型是方法调用时由调用方指定，实现类无权直接固定这个泛型的类型。你在Implementation里实现方法时直接写clone<Implementation>() : Implementation，这里的Implementation本质是你新定义的一个泛型形参的名字，和你外部声明的Implementation类没有任何关系，相当于你写了clone<T>(): T，完全没有实现返回当前类实例的需求。
• 命名冲突导致类型识别错误：你把方法的泛型形参命名成了和类名完全一致的Implementation，TS作用域解析时方法内的泛型形参优先级更高，所以你方法里写的返回类型Implementation被识别为泛型占位符，而非你定义的类，返回类实例的时候就会出现类型不匹配的报错，你看到的import(...).default不兼容的提示就是这个原因触发的。

修正后的正确写法 #

你需要把泛型从方法级别提到类级别，才能让实现类固定返回自身类型：

abstract class MustHave<T> {
  abstract clone(): T;
}

class Implementation extends MustHave<Implementation> {
  clone(): Implementation {
    // 这里写你的克隆逻辑
    return new Implementation();
  }
}

如果一定要保持方法级泛型的写法，你需要在实现时做类型断言，但这种写法不符合你要的强制返回当前类类型的设计目的，不推荐使用。

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