当使用Terser在模块模式下压缩JavaScript代码时，仅在HTML中调用的函数可能会被意外移除，即使设置了`dead_code: false`。本文将深入解析Terser的优化机制，并提供一个确保此类函数在压缩后依然可用的有效解决方案：通过显式将其绑定到全局`window`对象，从而使其被Terser识别为外部依赖并予以保留。
理解Terser的优化行为与模块模式
Terser是一款强大的JavaScript压缩工具，其主要目标是减小文件大小并优化运行时性能。它通过各种手段实现这一点，包括变量名混淆、删除注释、以及最关键的——“死代码消除”（Dead Code Elimination）。
当Terser在module: true模式下运行时，它会将输入的JavaScript文件视为ES模块。在ES模块的上下文中，函数和变量的生命周期和可见性都严格限定在模块内部。如果一个函数没有被模块内部的其他代码调用、没有被导出（export），并且Terser无法检测到其在模块外部的任何用途，那么它就会被Terser标记为“死代码”并移除。
问题的核心在于，Terser作为JavaScript的静态分析工具，它无法解析HTML文件来检测JavaScript函数的调用。因此，即使你的HTML文件中存在
立即学习“Java免费学习笔记（深入）”；
对于dead_code: false这个配置项，它的作用主要是防止Terser移除JavaScript文件内部那些理论上“不可达”的代码块（例如，if (false) { ... } 内部的代码）。但如果Terser认为一个函数在整个模块范围内根本就没有被引用，那么它就不属于“不可达”代码，而是“未使用”代码，仍然会被移除。
核心解决方案：显式暴露到全局作用域
解决Terser在模块模式下移除HTML调用函数的有效方法是，将该函数显式地绑定到全局window对象上。通过这种方式，Terser会将其视为一个对全局对象进行的操作，从而认为该函数在模块外部具有可观察的副作用，因此不会将其视为死代码而移除。
工作原理： 当我们将function myFunc() {}声明为window.myFunc = myFunc;时，我们实际上是创建了一个全局属性。Terser在进行优化时，会识别对window对象的属性赋值是一种外部可观察的行为（类似于一个“导出”到全局作用域的操作）。即使在module: true和toplevel: true的严格优化环境下，Terser也会倾向于保留这些对全局对象有影响的代码，以避免破坏程序的外部行为。
示例代码
假设你有一个名为getUserStats的函数，需要通过HTML按钮的onclick事件来调用：
User Stats
User Dashboard
原始的JavaScript文件（例如app.js）可能如下：
// app.js
function getUserStats() {
console.log("正在从服务器获取用户统计数据...");
// 实际的API调用或数据处理逻辑
alert("用户得分: 150, 等级: 7");
}
// 在这里，Terser可能会移除getUserStats，因为它在JS内部没有被调用或导出。为了确保getUserStats函数在Terser压缩后依然可用，你需要对其进行修改，将其显式地绑定到window对象：
// app.js (修改后)
function getUserStats() {
console.log("正在从服务器获取用户统计数据...");
// 实际的API调用或数据处理逻辑
alert("用户得分: 150, 等级: 7");
}
// 关键步骤：将函数绑定到全局window对象
// 这样Terser就会认为这是一个有外部依赖的函数，从而保留它。
window.getUserStats = getUserStats;
// 其他模块代码...Terser配置考量
以下是原始问题中提到的Terser配置，以及对其中相关选项的解释：
{
compress: {
drop_console: true, // 移除console.*语句
drop_debugger: false, // 保留debugger语句
dead_code: false, // 不移除内部的死代码（但如前所述，对HTML调用无效）
},
mangle: {
reserved: ["getUserStats"], // 防止指定名称的变量/函数被混淆
},
module: true, // 启用ES模块模式优化
toplevel: true, // 启用顶层作用域的更激进优化
keep_fnames: false // 不保留函数名（对于调试可能有用，但会增加文件大小）
}- compress.dead_code: false: 如前所述，这个选项主要针对JS内部的条件性死代码。对于Terser根本无法检测到其用途的函数，它仍然可能被移除。
- mangle.reserved: ["getUserStats"]: 这个选项的作用是防止getUserStats函数名被混淆（即变成a、b等短名称）。它不会阻止函数被移除。然而，在将函数绑定到window对象后，保留其原始名称对于HTML中的调用是至关重要的，因为HTML会直接通过字符串名称来查找函数。
- module: true: 这是导致问题发生的根本原因。Terser在模块模式下进行优化，不会考虑HTML中的外部引用。
- toplevel: true: 启用更激进的顶层作用域优化。如果函数没有被显式地暴露到window，这个选项会进一步增加它被移除的可能性。
注意事项与最佳实践
全局污染: 将函数显式绑定到window对象会污染全局作用域。虽然在特定情况下（如需要由HTML直接调用）这是必要的，但应尽量限制此类操作，避免不必要的全局变量。
-
替代方案：事件监听器: 更好的实践是尽量避免在HTML中直接使用onclick等内联事件处理器。相反，在JavaScript内部通过事件监听器绑定事件是更现代、更模块化的做法。例如：
// app.js function getUserStats() { console.log("获取用户统计数据..."); alert("用户得分: 150, 等级: 7"); } document.addEventListener('DOMContentLoaded', () => { const button = document.getElementById('getStatsButton'); if (button) { button.addEventListener('click', getUserStats); } }); // 此时，getUserStats在JS内部被引用，Terser不会移除它。对应的HTML：
这种方式下，getUserStats函数在JavaScript内部被引用，Terse能够识别其用途，从而避免了被移除的问题，并且不污染全局作用域。
文档与注释: 如果你确实需要将函数暴露到全局，请在代码中添加清晰的注释，说明这样做的原因，以提高代码的可读性和可维护性。
总结
当Terser在module: true模式下运行时，它会严格地进行死代码消除，不会考虑HTML中对JavaScript函数的直接调用。为了确保这些由HTML调用的函数在压缩后依然可用，最直接有效的解决方案是将其显式地绑定到全局window对象。然而，更推荐的现代Web开发实践是使用JavaScript内部的事件监听器来处理交互，这样既能避免全局污染，又能让Terser正确识别函数的用途，从而实现更健壮和模块化的代码结构。理解Terser的优化策略是编写兼容压缩代码的关键。
