为何Angular默认不对Providers进行Tree Shaking？

核心差异：实例创建时机与代码引用逻辑 #

Angular对组件和服务的编译、实例化逻辑完全不同，这直接决定了Tree Shaking的可能性：

• 未使用组件的Tree Shaking逻辑
  当你在模块的declarations中声明组件但未在模板中通过选择器引用它时，Angular编译阶段不会生成该组件的任何实例化代码，也不会在运行时触发任何对该组件类的调用。此时，组件类仅仅是被导入，但没有被执行或实例化——这类代码会被Terser等压缩工具识别为“未引用的死代码”，从而在Tree Shaking阶段被完全移除。

• 模块Providers中服务的处理逻辑
  一旦你在模块的providers数组中声明服务，Angular会在模块初始化时，强制将该服务注入到根注入器（或模块级注入器）中。这意味着Angular会生成new MyService(...)这类实例化代码，并且在应用启动时执行这段代码来创建服务实例。由于服务类被主动实例化，它不再是“未引用的死代码”，自然无法被Tree Shaking移除。

关于providedIn: 'root'的区别 #

使用providedIn: 'root'时，服务的提供逻辑是懒加载且按需实例化的：Angular在编译阶段会分析整个应用的依赖注入关系，只有当某个组件/服务明确注入该服务时，才会生成对应的实例化代码；如果没有任何地方注入它，服务类只会被导入但不会被执行，此时就能被Terser正常Tree Shaking。这也是官方推荐这种方式的核心原因之一。

对猜想的验证 #

你的猜想基本正确：

• 未使用组件被移除确实和Angular自身的Tree Shaking机制无关，本质是Terser识别到未被实例化的类属于死代码。
• 模块Providers中的服务无法被移除，核心原因是Angular会主动创建其实例，而非无法检测是否需要——这是Angular模块注入机制的既定设计：模块声明的服务会被立即加入注入器，确保任何地方都能获取到实例，哪怕暂时没有组件使用它。

内容的提问来源于stack exchange，提问作者elzoy