java ProGuard 删除（收缩）未使用的类

Question

假设我有这个 Java 应用程序：

package com.site;

public class MyAppBase {}

---

package com.site.free;

import com.site.MyAppBase;

public class MyApp extends MyAppBase {}

---

package com.site.pro;

import com.site.MyAppBase;

public class MyApp extends MyAppBase {}

---

package com.site;

public class Edition
{

    public static final int     FREE    = 1;
    public static final int     PRO     = 2;

    private static final int    EDITION = PRO;

    public static boolean is(final int edition)
    {
        return (EDITION == edition);
    }
}

---

package com.site;

public class EditionFactory
{

    public static MyAppBase get_app()
    {
        MyAppBase ret = null;

        if (Edition.is(Edition.FREE))
            ret = new com.site.free.MyApp();
        else if (Edition.is(Edition.PRO))
            ret = new com.site.pro.MyApp();

        return ret;
    }
}

---

现在，我试图摆脱非选定版本（在本例中它是免费的）的 ProGuard 配置的任何组合都不起作用。

我所说的“摆脱”是指让实际的类消失（以及从调用代码中消失）。

换句话说，像这样的调用：

final MyAppBase app = EditionFactory.get_app();

.. 目前正在被翻译成，在 ProGuarding 之后，这个：

if (a.a(1))
    localObject5 = new c(); // <<< FREE
else if (a.a(2))
    localObject5 = new d(); // <<< PRO

.. 而我希望它被翻译成这样：

localObject5 = new d(); // <<< PRO only in the code (as set at Edition.EDITION)

底线是 (除了 ProGuard 非常棒！！），我似乎无法让它“看穿”并理解 Edition.is() 是一个返回常量的布尔函数这样就可以删除一些类。

我尝试过如下配置：

-keep,allowshrinking,allowoptimization public class * extends com.site.MyAppBase
-optimizationpasses 10

..没有任何效果。

另一方面，如果我引用 Edition.EDITION 并内联比较它（即没有任何“代理”函数），Java 编译器 (v1.6) 会检测到它并删除对非精选版本/类别。
这导致 ProGuard 删除/缩小未使用的类，这很棒。

这里唯一的问题是关于维护 - 我很高兴能够继续使用 EditionFactory 风格。

Answer 1

未执行优化是因为 ProGuard 决定不内联方法 Edition#is，因此它无法简化生成的一系列指令。该方法不是内联的，因为它不是很短并且也被多次调用。您可以使用 ProGuard 的未记录的 JVM 选项来解决第一个标准：

-Dmaximum.inlined.code.length=16

或者，您可以通过确保该方法仅调用一次来解决第二个标准：

return Edition.is(Edition.FREE) ?
    new com.site.free.MyApp() :
    new com.site.pro.MyApp();

或者，您可以创建短函数 isFree() 和 isPro() ，因为它们会返回常量，这些常量将被内联。

如果您期望进行一些特定的优化，最好检查已处理的代码，因为它们通常受到复杂的约束。

很高兴听到您喜欢 ProGuard。

Answer 2

这是因为您的方法 is(...) 只能接受比 1 和 2 更多的值。它可以在代码的其他地方用 3, 4, 6... 调用，Proguard 不能排除这种情况。

问题的解决方案是将 Edition 设为 enum。您不再需要 is(...) 方法，并且可以依赖 equals(...)。