TypeScript编译后Builder类this上下文类型约束丢失问题

核心原因1：泛型默认值丢失 #

你源码中定义的Builder类泛型是class Builder<T = void>，但编译生成的d.ts里泛型声明变成了declare class Builder<T>，默认值= void丢失。
当外部项目调用new Builder()时，TypeScript不会默认将T推导为void，反而会根据后续链式调用的返回类型反向推导T的最终类型，直接绕过了execute方法的this约束检查。

修复方案 #

• 升级TypeScript到4.5及以上版本，旧版本TS存在编译时泛型默认值丢失的已知bug，新版本已经修复。
• 如果无法升级TS版本，可以手动给编译后的d.ts里的Builder泛型补全默认值，或者在源码中额外导出一个工厂方法限制初始类型：

export function createBuilder(): Builder<void> {
  return new Builder();
}

外部项目统一用createBuilder()替代new Builder()即可保证初始类型正确。

核心原因2：接口未导出 #

你定义的abc接口如果没有加export修饰符，对外导出的Builder类引用了内部未导出的abc接口时，外部项目无法识别abc的实际结构，会导致类型兼容性判断失效，跳过execute的this约束检查。

修复方案 #

给abc接口加上export修饰符，重新编译即可。

额外排查点 #

• 检查引用该库的项目tsconfig是否开启了strict: true，至少要开启strictFunctionTypes配置，否则this参数的类型约束默认不会生效。
• 确认引用项目没有将该库的类型文件路径加入跳过检查范围，skipLibCheck配置开启时不会影响库的调用侧类型检查，但如果手动配置了排除规则可能导致检查失效。

内容的提问来源于stack exchange，提问作者Gârleanu Alexandru-Ștefan