TypeScript 5.7+ 中默认导出全局对象导致的调试失败问题分析

在 TypeScript 5.7 版本中，开发者遇到了一个关于 JavaScript 文件默认导出全局对象的特殊问题。当在启用了 composite 和 allowJs 配置的项目中，直接使用 export default console 这样的语法时，TypeScript 编译器会抛出"Debug Failure. False expression"的错误。

这个问题的本质在于 TypeScript 对 JavaScript 文件中未定义标识符的处理机制发生了变化。在 TypeScript 5.6.2 及之前版本中，这种导出方式是正常工作的，但从 5.7.0 开始，编译器内部新增了更严格的类型检查逻辑。

具体的技术细节是：当 TypeScript 遇到 export default console 这样的语句时，它会尝试将右侧的表达式转换为类型节点。在这个过程中，编译器会检查 console 是否是一个有效的表达式节点。由于 console 是一个全局对象而非当前模块内定义的标识符，TypeScript 的类型系统在特定情况下无法正确处理这种引用。

有趣的是，这个问题有一个简单的解决方案：开发者可以先将要导出的全局对象赋值给一个局部变量，然后再导出这个变量。例如：

const myConsole = console;
export default myConsole;

这种写法能够绕过 TypeScript 的类型检查问题，因为局部变量的定义使得类型系统能够正确追踪变量的来源和类型信息。

从更深层次看，这个问题反映了 TypeScript 在处理 JavaScript 和 TypeScript 混合项目时的一些边界情况。特别是在启用了 composite 编译选项（用于项目引用）和 allowJs（允许 JavaScript 文件）的情况下，类型系统需要同时处理显式类型注解和隐式类型推断，这增加了复杂性。

TypeScript 团队已经在后续版本中修复了这个问题，但了解这个问题的本质对于开发者处理类似情况仍有价值。它提醒我们，在使用现代 JavaScript/TypeScript 混合开发时，需要注意：

1. 全局对象的引用方式可能影响类型检查
2. 默认导出语法在不同 TypeScript 版本中可能有不同的行为
3. 临时变量赋值有时可以解决复杂的类型推断问题

对于需要保持向后兼容性的项目，开发者可以采用上述的临时变量解决方案，或者考虑锁定 TypeScript 版本在 5.6.x 系列，直到可以升级到包含修复的更高版本。