JVM可以在运行时优化不变的枚举方法吗？

Question

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);
    }
}

Answer 1

new关键字的语义几乎肯定会禁止您想要做的事情。 （请参阅Java语言规范和Java虚拟机规范中的 forResource 。） forResource方法总是返回一个新对象。 我不知道任何JVM会做你想要做的事情，因为没有机制来确定只应为任何给定的ECSResource创建一个ResourceRetriever 。 这看起来像是对我的一种记忆形式，它将由语言处理（例如Groovy，它具有专门针对此的注释）而不是运行时（JVM）。 如果Java已经确定了泛型，你可能会使用像ResourceRetriever<? extends ECSResource>这样的东西破解这样的功能ResourceRetriever<? extends ECSResource> ResourceRetriever<? extends ECSResource>但我不能说这是否真的有效，更不用说它是否是一个好主意。