Java：访问枚举中的常量（枚举）

Question

通过阅读SCJP书籍，我在第1章“自测”中发现了类似的内容：

enum Animals {
    DOG("woof"), CAT("meow"), FISH("burble");
    String sound;
    Animals(String s) { sound = s; }
}

class TestEnum {      
    static Animals a; 
    public static void main(String[] args) {                                                                                     
        System.out.println(a.DOG.sound + " " + a.FISH.sound);

        // the following line is from me
        System.out.println(Animals.DOG.sound + " " + Animals.FISH.sound);
    }
}

注意：代码编译正常。我不明白的是为什么我们可以从变量访问DOG，CAT或FISH常量a。我认为（并且也写在书中）DOG，FISH，CAT是常量，其实现方式类似于。public static final Animals DOG = new Animals(1);
所以，如果它们确实是静态的，为什么我们可以从中访问它们a呢？最后一行是我熟悉的方式。

Answer 1

写作
a.DOG和写作一样Animal.DOG。也就是说，编译器将用其编译时类型Animal替换变量。它被认为是错误代码，因为它掩盖了它依赖于编译时类型而不是动态类型的事实a。