java – 运行时可以通过JVM优化一个不改变的枚举方法吗？

在以下情况下,JVM能否执行运行时优化？

我们有以下情况,我们有这个界面：

public interface ECSResource {
    default int getFor(final Entity entity) {
        return ResourceRetriever.forResource(this).getFor(entity);
    }
}

具体实现如：

private static enum TestResources implements ECSResource {
    TR1,TR2;
}

JVM能够找出(在运行时)枚举实例(如TestResources.TR1)属于单一ResourceRetriever,如ResourceRetriever.forResource(TestResources.TR1)？

在天真的实现中,每次调用TestResources.TR1.getFor(…)将创建一个新的ResourceRetriever实例.

在这种情况下,我们知道(通过代码检查)对ResourceRetriever.forResource的调用(this)将调用以下内容：

public class ResourceRetriever {
    private final ECSResource resource;

    ResourceRetriever(ECSResource resource) {
        this.resource = resource;
    }

    public static ResourceRetriever forResource(ECSResource resource) {
        return new ResourceRetriever(resource);
    }

    //lots of methods
}

因此,由于随机结果,舍入误差等,运行时没有任何改变.

因此问题：JVM可以将每个枚举ECSResource实例映射到其唯一的相应的ResourceRetriever.forResource(this)实例吗？

请注意,可以通过以下方式由您自己做这些事情：

private static enum TestResources implements ECSResource {
    TR1,TR2;

    private static final Map<TestResources,ResourceRetriever> retrieverMapping;
    static {
        retrieverMapping = Arrays.stream(TestResources.values())
            .collect(Collectors.toMap(res -> res,ResourceRetriever::forResource));
    }

    @Override
    public int getFor(final Entity entity) {
        return retrieverMapping.get(this).getFor(entity);
    }
}

解决方法

新关键字的语义几乎肯定会禁止你想要做的事情. (请参阅 The Java Language Specification和 The Java Virtual Machine Specification中的引用).您的forResource方法将始终返回一个新对象.鉴于没有任何机制可以确定为任何给定的ECSResource只能创建一个ResourceRetriever,所以我不知道任何JVM将会执行你想要做的事情.这看起来像 memoization的形式,它将由语言处理(例如Groovy,它具有专门针对此的注释),而不是运行时(JVM).如果Java已经被泛化了,那么你可能会把这样的功能与ResourceRetriever？扩展ECSResource>但我不能说这是否真的有效,更不用说是不是一个好主意.