R8 完整模式的真正作用是什么（积极优化）？

Question

R8 official documentation 表示要激活其他优化，我必须将其插入gradle.properties 文件中：

android.enableR8.fullMode=true

文档说，为了使应用程序工作，我必须设置一些保留规则，但没有关于它如何工作以及它执行什么操作的详细信息：

因为额外的优化使 R8 的行为不同于 ProGuard，他们可能会要求您包含额外的 ProGuard 规则以 避免运行时问题。例如，假设您的代码引用了 通过 Java 反射 API 类。默认情况下，R8 假定您 打算在运行时检查和操作该类的对象——甚至 如果你的代码实际上没有——它会自动保留类和 它的静态初始化器。

但是，当使用“完整模式”时，R8 不会做出此假设，并且， 如果 R8 断言您的代码否则永远不会使用该类 运行时，它会从应用程序的最终 DEX 中删除该类。也就是说，如果 你想保留类和它的静态初始化器，你需要 在你的规则文件中包含一个保留规则来做到这一点。

文档建议的常见问题解答中的link 仅说明了这一点：

R8 完整模式

在完整模式下，R8 表现更激进 优化，这意味着额外的 ProGuard 配置规则 可能需要。本节重点介绍了一些常见问题 使用完整模式时可见。

android.enableR8.fullMode 究竟是如何工作的？

非常感谢！

Answer 1

确实缺少完整模式的文档。目前主要包括以下内容：

• 不要为保留的类型保留默认构造函数 (<init>())，除非根本没有保留 <init> 方法，在这种情况下，将保留默认构造函数 (<init>())
• 不要为仅用于强制类型转换（checkcast 字节码）的类型保留默认构造函数 (<init>())
• 不要为仅与 instanceof 一起使用的类型保留默认构造函数 (<init>())（instanceof 字节码）
• 不要保留目标（但不是实时）默认方法的代码，将它们抽象化
• 不要在层次结构中保留所有直接方法（只保留完全匹配的方法）
• 即使指定了-keepattributes，也可以为保留规则不匹配的类型保留较少的属性。目前主要针对与内/外关系相关的属性（InnerClass 和EnclosingMethod）。

这是主要区别，但可能还有更多区别。我们正在努力添加更具体的文档，但这仍然是一个移动的目标。

注意，如果程序的保持规则是完整的，反射使用的所有内容都被保持规则覆盖，那么打开android.enableR8.fullMode 不会导致问题。但是，我们经常看到配置，Proguard 的这些（也未记录）约定使配置工作。