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

Question

可能的重复：
为什么构造函数不返回值

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

Answer 1

构造函数在内部是一个名为 和 void 返回类型的非静态方法。它不返回任何内容。在内部分配第一个对象，然后调用其构造函数。对象本身没有分配构造函数。
换句话说，语法 new Object() 不仅调用构造函数，还创建新对象，并在调用构造函数后返回它。 Suns 的 Java 教程 表示“遵循 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);

分配第一个对象，然后调用非静态 方法。有关详细信息，请参阅 AllocObject 函数文档 表示“分配一个新的 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

}

请注意， 方法实际上并不是 Java 语言的一部分。相反，它是 Java 虚拟机期望在 Java 类文件中看到的内容。这种区别很重要，因为 Java 语言不依赖于类文件。 Java 源代码可以编译成其他二进制格式，包括本机可执行文件。将 Java 语言源代码转换为其他二进制格式的 Java 编译器不需要生成名为 的方法，只要在适当的时间以适当的方式初始化对象即可。 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);
        }
    }

Answer 2

你将如何获得返回值？您对返回的哪种价值感兴趣？您将如何声明返回类型？

 X x = new X ();

将 X 引用分配给 x。现在，如果 new X 会返回一些东西，你应该如何获取它？

 class X { 
     public int X () { 
          return 42;
     }
 }

从ctor返回一些东西的逻辑是什么？错误信息？一些登录信息？将其写入文件或属性，稍后轮询。

由于每个对象只能访问该构造函数一次，因此我能想到使用另一个返回值的唯一原因是通知创建过程本身。

 class X { 
     private Y y;
     public int X () { 
          y = new Y ();
     }
     public Y getY () { return y; }
 }

Answer 3

尽管构造函数的 VM 实现不会返回任何值，但实际上它会返回任何值 - 新对象的引用。如果能够在一个语句中存储新对象的引用和附加返回值之一或两者，那么在语法上会很奇怪和/或令人困惑。