在java中，这样的类类型编译成什么？

Question

下面是定义类类型的代码：

package annotationtype;

public class Example {

    public static void main(String[] args){


    }
}

通过javac将其功能编译为：

public class annotationtype.Example{
    public static Class<annotationtype.Example> class;
    {
        class = Class.forName("annotationtype.Example")
    }
    public annotationtype.Example(){}
    public static void main(java.lang.String[] args){}
}

我主要关注的是类

我的理解正确吗？




Answer 1

如果“功能编译”是指类“字段”在未明确声明的情况下对您可用，那么您是正确的。当然，class不是字段，而是java语言中的类文本。

此外，如果我们编译javac Example.java然后disasemblejavap-c示例，我们只剩下这个：

Compiled from "Example.java"
public class Example {
  public Example();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: return
}

请注意，在这个伪造的代码中没有对class的引用。另一方面，默认构造函数示例（）确实神奇地出现了，公平地说

public class Example {
    public static void main(String[] args){
    }
}

编译成

public class Example {
    public Example(){}
    public static void main(String[] args){
    }
}

Answer 2

如JLS 15.8所述，类文字是语言规范的一部分。2.

类文字是由类、接口、数组或基元类型的名称或伪类型void后跟“.”组成的表达式和token类。

类的类型，其中C是类、接口或数组类型的名称（§4.3），是类

p.class的类型是class，其中p是基元类型的名称（§4.2）

void.class类型（§8.4.5）是类

javac不会为每个类创建一个静态class字段，但它会识别一个类文本表达式并正确编译它。

以类为例：

public class Hello {
        public static void main(String[] args){
                Class<?> myClass = Hello.class;
                System.out.println("Hello, " + myClass);
        }
}

这编译为（仅包括字节码的相关部分）：

public class Hello   minor version: 0   major version: 52   flags:
 ACC_PUBLIC, ACC_SUPER 
Constant pool:    
#1 = Methodref          #11.#20        // java/lang/Object."<init>":()V    
#2 = Class              #21            // Hello
......
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
  stack=3, locals=2, args_size=1
     0: ldc           #2                  // class Hello
     2: astore_1

您可以看到javac在常量池中放置了对Hello类的引用，然后当我在main中引用它时加载了该常量。