在使用terser压缩javascript代码时，函数可能因被误判为“死代码”而被移除，即使它们被html或其他外部脚本调用。即使设置`dead_code: false`或在模块模式下，terser的静态分析也可能无法识别这些外部引用。本文将详细阐述这一问题的原因，并提供一个稳健的解决方案：通过显式地将函数挂载到`window`对象上，确保其在全局作用域中可访问，从而避免在代码优化过程中被意外移除。
理解Terser的死代码消除机制
Terser是一款强大的JavaScript代码压缩和优化工具，其核心功能之一是“死代码消除”（Dead Code Elimination，DCE），也称为“树摇”（Tree Shaking）。DCE的目的是移除那些在程序执行过程中永远不会被调用的代码，从而减小最终文件的大小。
当Terser处理JavaScript代码时，它会进行静态分析，构建一个抽象语法树（AST），并尝试识别所有可达的代码路径。如果一个函数没有在任何可达路径中被直接调用、导出或引用，Terser就会将其视为死代码并予以移除。
模块模式与全局作用域
在现代JavaScript开发中，我们经常使用模块（module: true）。在模块内部定义的函数和变量默认是私有的，不暴露到全局作用域。当一个函数仅在HTML中通过onclick属性或其他方式被调用，或者通过其他非JavaScript静态分析可检测的方式被引用时，Terser在模块上下文中可能无法识别这些外部引用。
即使Terser配置中设置了dead_code: false，这主要影响的是JavaScript内部的“不可达”代码块，例如if (false) { ... } 中的代码。它并不能改变Terser对一个函数是否在整个应用程序中“被使用”的判断，特别是当这种使用发生在Terser分析范围之外（如HTML）时。
问题的根源：外部引用不可见
Terser的静态分析能力局限于它所处理的JavaScript代码文件及其依赖。它无法理解或解析HTML文件中的script标签或onclick属性，也无法预知其他可能动态加载或执行JavaScript的外部环境。因此，如果一个函数：
- 在JavaScript模块内部定义。
- 没有被模块内部的任何其他函数调用或导出。
- 仅通过HTML（例如 <button onclick="myFunc()">）或由外部非Terser处理的脚本调用。
那么，Terser会认为这个函数是未使用的，并将其移除，即使它对应用程序的实际运行至关重要。
解决方案：显式暴露到全局作用域
解决Terser移除HTML调用函数问题的最稳健方法是，显式地将这些函数挂载到全局window对象上。这样，Terser就能识别到该函数被赋值给一个全局可访问的属性，从而不会将其视为死代码而移除。
示例代码
假设你有一个名为getUserStats的函数，它被HTML中的某个元素调用：
<!-- index.html --> <button onclick="getUserStats()">获取用户统计</button>
在你的JavaScript文件中，你可能会这样定义它：
// app.js
function getUserStats() {
console.log("Fetching user statistics...");
// 执行获取用户统计的逻辑
}
// 确保getUserStats函数在全局作用域中可见
window.getUserStats = getUserStats;或者，如果你想直接在全局作用域中定义：
// app.js
window.getUserStats = function() {
console.log("Fetching user statistics...");
// 执行获取用户统计的逻辑
};通过window.getUserStats = getUserStats;这行代码，你明确告诉了JavaScript运行时以及Terser，getUserStats函数是全局可访问的。Terser在分析时会看到这个全局赋值操作，从而保留getUserStats函数。
Terser配置示例
即使你使用了如下Terser配置，将函数暴露到window对象仍然是必要的，因为dead_code: false和mangle.reserved并不能阻止对未引用函数的移除：
{
compress: {
drop_console: true,
drop_debugger: false,
dead_code: false, // 这主要影响JS内部的不可达代码块，不影响外部引用问题
},
mangle: {
reserved: ["getUserStats"], // 这会阻止函数名被混淆，但不能阻止函数被移除
},
module: true, // 模块模式下更需要注意全局暴露
toplevel: true, // 顶级作用域变量和函数进行混淆和压缩
keep_fnames: false
}解释：
- dead_code: false：如前所述，它主要用于防止移除JavaScript内部的不可达代码，而非外部调用的函数。
- mangle.reserved: ["getUserStats"]：这个选项的作用是防止Terser在混淆（mangling）阶段改变getUserStats这个函数的名称。它非常重要，因为HTML中的onclick="getUserStats()"是硬编码的，如果函数名被改变，调用就会失败。然而，它并不能阻止Terser在压缩阶段判断该函数为死代码并将其移除。
注意事项与最佳实践
-
命名空间管理： 如果你需要暴露多个全局函数，直接在window对象上添加大量属性可能会污染全局命名空间。更好的做法是创建一个单一的全局对象作为命名空间：
// app.js window.App = window.App || {}; // 如果App不存在则创建 window.App.getUserStats = function() { console.log("Fetching user statistics..."); }; window.App.otherGlobalFunc = function() { console.log("Another global function."); };然后在HTML中这样调用：
<button onclick="App.getUserStats()">获取用户统计</button>
明确意图： 只有那些确实需要在全局作用域中访问的函数才应该被挂载到window对象上。过度使用全局变量会增加命名冲突的风险，并使代码难以维护。
构建工具集成： 对于更复杂的项目，如果有很多函数需要暴露给全局，可以考虑在构建流程中（例如使用Webpack或Rollup的插件）自动化地进行全局暴露，而不是手动为每个函数添加window.myFunc = myFunc;。
避免内联脚本： 尽量避免在HTML中直接使用onclick等内联事件处理器，而是通过JavaScript代码（例如document.getElementById('myButton').addEventListener('click', App.getUserStats);）来绑定事件。这不仅提升了可维护性，也使得Terser更容易通过静态分析识别到函数的引用。
总结
当Terser在压缩过程中移除被HTML或其他外部上下文调用的JavaScript函数时，问题的核心在于Terser的静态分析无法识别这些外部引用，从而将其误判为死代码。解决此问题的最有效且直接的方法是，通过将函数显式地赋值给window对象的属性，将其暴露到全局作用域。结合mangle.reserved选项保留函数名称，可以确保这些关键函数在压缩和混淆后依然能够正常工作。在实践中，建议采用命名空间管理策略，以避免全局变量污染，并优先使用JavaScript事件绑定而非内联事件处理器。
