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

时间:2011-07-23 15:46:49

标签: java constructor return-type

  

可能重复:
  Why constructor not returns value

为什么构造函数不具有返回类型,甚至无效?这是什么原因?

3 个答案:

答案 0 :(得分:49)

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

回答这个问题。缺少返回类型声明是一种将构造函数与方法区分开的方法。但是你可以从构造函数返回,从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>方法。有关详细信息,请查看hereAllocObject function documentation代表“在不调用对象的任何构造函数的情况下分配新的Java对象。返回对象的引用。”所以在JVM对象中没有由构造函数分配,而只是由它初始化。查看构造函数的字节码,我们发现没有返回任何对象(与void方法完全相同)。

另一种方法,当你对样本类进行分解时,你会看到从它的构造函数中调用parent(Object)构造函数:

#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源代码可以编译成其他二进制格式,包括本机可执行文件。将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);
        }
    }

答案 1 :(得分:3)

您如何获得返回值?您对什么样的价值感兴趣,被退回?你会如何申报退货类型?

 X x = new X ();

为x指定X引用。现在,如果new X会返回某些内容,您应该如何获得它?

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

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

由于每个对象只访问一次ctor,因此我可以想到使用另一个返回值的唯一原因是,通知创建过程本身。

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

答案 2 :(得分:1)

即使构造函数的VM实现不返回任何值,实际上也是如此 - 新对象的引用。然后,在一个语句中能够存储新对象的引用和附加返回值中的一个或两个,这在语法上会很奇怪和/或令人困惑。