为何TypeScript会编译未实现抽象继承成员的类？

先看示例代码：

abstract class Abst {
    abstract get test(): string;
}

class Conc1 extends Abst {
    get test(): string { return 'ok'; }
}

class Conc2 extends Abst {   // <- 这个类未实现抽象成员，存在问题
}

console.log('???');

为什么未实现抽象成员的代码仍能编译？ #

1. TypeScript编译逻辑特性：TS的类型检查与代码生成是相对独立的流程。抽象成员未实现属于类型错误，而非语法错误——语法错误会直接阻断编译，但类型错误默认不会触发编译终止，编译器会尝试生成对应的JavaScript代码（毕竟JS本身没有抽象类概念，编译后抽象类会被转成普通函数，未实现的成员不会影响JS代码的执行）。

2. 项目配置导致无编译警告：你的项目中看不到编译警告，核心原因是tsconfig.json的配置：

   • 默认noEmitOnError为false，意味着即便存在类型错误，编译器依旧会输出JS文件；
   • 若strict或strictAbstractChecks被设为false，TS会放宽对抽象成员实现的检查逻辑，甚至不触发错误提示；
   • 部分构建工具（如Webpack、Vite）可能默认屏蔽TS的编译错误日志，仅在IDE（如VS Code）层面显示提示信息。

如何强制子类必须实现抽象成员？ #

抽象类的设计初衷确实是强制子类实现指定成员，要让TS严格执行该规则并阻止错误代码编译，需修改tsconfig.json：

• 推荐开启strict: true，这会启用所有严格类型检查规则，包括对抽象成员实现的严格校验；
• 同时设置noEmitOnError: true，确保只要存在类型错误，编译器就不会生成编译产物。

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