为什么构造函数不具有返回类型,甚至无效?这是什么原因?
答案 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>
方法。有关详细信息,请查看here。 AllocObject 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实现不返回任何值,实际上也是如此 - 新对象的引用。然后,在一个语句中能够存储新对象的引用和附加返回值中的一个或两个,这在语法上会很奇怪和/或令人困惑。