面向多个运行时的条件编译如何避免分支裁剪制造隐性性能回归

# 核心结论

面向多个运行时的条件编译，不能只追求共享代码比例或入口包缩小，而应保证每个平台只包含必要代码，同时不改变副作用、初始化顺序、异常行为和动态加载边界。分支裁剪是否成功必须从最终依赖图和设备执行轨迹验证；即使转换后的单个文件中看不到某段代码，相关模块仍可能通过注册表、清单、循环依赖或动态导入进入最终产物。

# 底层机制

静态裁剪依赖三个前提：条件在构建期可确定，模块关系能够静态分析，副作用声明真实可信。若平台判断隐藏在普通函数中、通过动态字符串读取，或导入模块在顶层执行副作用，打包器通常不能安全删除相关分支。自定义 Babel 插件可以借助 @babel/types 识别条件表达式和导入声明，再使用