java - 为什么java中的构造函数没有返回类型？

Question

这个问题在这里已经有了答案:

关闭 11年前.

Possible Duplicate:
Why constructor not returns value

为什么构造函数没有返回类型，甚至没有 void？这是什么原因？

Answer 1

构造函数在内部是一个 非静态方法，名称为 <init>和 void返回类型。它不返回任何东西。在内部分配第一个对象，然后调用其构造函数。构造函数本身未分配对象。
换句话说，语法 new Object()不仅调用构造函数，还创建新对象，调用构造函数后返回它。 Suns' Java tutorial表示“new 运算符之后是对构造函数的调用，该构造函数初始化新对象。”初始化不代表创建。

回答问题。缺少返回类型声明是一种区分构造函数和方法的方法。但是您可以从构造函数返回，就像从 void 方法返回一样。例如这段代码可以正确编译和运行:

public class TheClass {
    public TheClass(){
        return;
    }
    public void TheClass(){ //confusing, but this is void method not constructor
        return;
    }

    public static void main(String[]a){
        TheClass n = new TheClass();
        n.TheClass();//void method invocation
    }
}

这个类有一个 void 方法(不要在家里尝试 - 大写的方法是一种不好的风格)和一个构造函数。区别在于声明的返回类型。

看看这个 JNI 代码片段，它演示了构造函数是一个非静态的 void 方法:

 jstring
 MyNewString(JNIEnv *env, jchar *chars, jint len)
 {
     jclass stringClass;
     jmethodID cid;
     jcharArray elemArr;
     jstring result;

     stringClass = (*env)->FindClass(env, "java/lang/String");
     if (stringClass == NULL) {
         return NULL; /* exception thrown */
     }
 /* Get the method ID for the String(char[]) constructor */
     cid = (*env)->GetMethodID(env, stringClass,
                               "<init>", "([C)V");
     if (cid == NULL) {
         return NULL; /* exception thrown */
     }

     /* Create a char[] that holds the string characters */
     elemArr = (*env)->NewCharArray(env, len);
     if (elemArr == NULL) {
         return NULL; /* exception thrown */
     }
     (*env)->SetCharArrayRegion(env, elemArr, 0, len, chars);

     result = (*env)->AllocObject(env, stringClass);
     if (result) {
         (*env)->CallNonvirtualVoidMethod(env, result, stringClass,
                                          cid, elemArr);
         /* we need to check for possible exceptions */
         if ((*env)->ExceptionCheck(env)) {
             (*env)->DeleteLocalRef(env, result);
             result = NULL;
         }
     }
     /* Free local references */
     (*env)->DeleteLocalRef(env, elemArr);
     (*env)->DeleteLocalRef(env, stringClass);
     return result;
 }

尤其是这些片段:

 /* Get the method ID for the String(char[]) constructor */
 cid = (*env)->GetMethodID(env, stringClass, "<init>", "([C)V");

然后

 /* Allocate new object. */
 result = (*env)->AllocObject(env, stringClass);
 if (result) {
      /* Call uninitialized objects' constuctor. */
      (*env)->CallNonvirtualVoidMethod(env, result, stringClass, cid, elemArr);

首先分配对象，然后分配非静态<init>方法被调用。详情请看here . AllocObject function documentation代表“分配一个新的 Java 对象而不调用该对象的任何构造函数。返回对该对象的引用。”所以在JVM中对象不是由构造函数分配的，而只是由它初始化的。查看构造函数的字节码，我们看到没有返回任何对象(就像在 void 方法中一样)。

另一种方式，当你解散示例类时，你会看到它的构造函数调用了父(对象)构造函数:

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

}

请注意 <init>方法实际上并不是 Java 语言的一部分。相反，它是 Java 虚拟机期望在 Java 类文件中看到的东西。这种区别很重要，因为 Java 语言不依赖于类文件。 Java 源代码可以编译成其他二进制格式，包括 native 可执行文件。将 Java 语言源代码翻译成其他二进制格式的 Java 编译器不需要生成名为 <init> 的方法。 ，只要对象在适当的时间以适当的方式初始化。 Java 语言规范 (JLS) 详细说明了初始化的顺序和发生的时间，但没有说明它是如何实际完成的。

但我看到我们在这里谈论的是 JVM。

对于一些非信徒来说，这是一个例子(thx biziclop)，它表明对象存在并且在从构造函数返回之前被分配:

   class AnotherClass {

        private String field;
        public static AnotherClass ref;

        public AnotherClass() {
            this.field = "value";
            AnotherClass.ref = this;
            throw new RuntimeException();
        }

        @Override
        public String toString() {
            return field;
        }
    }

    public class MainClass {
        public static void main(String[] a) {
            try {
                new AnotherClass();
                return;
            } catch (RuntimeException ex) {
                System.out.println("exception");
            }
            System.out.println("instance: " + AnotherClass.ref);
        }
    }