Java类的默认构造函数

什么情况下存在默认构造函数

说明

如果一个Java类没有显式包含构造函数的声明，那么隐含着有一个默认构造函数。

示例

定义一个类B，没有显式声明构造函数，所以存在一个默认构造函数：

package com.thb;public class B {public void method() {}
}

定义一个类C，显式声明了一个带参数的构造函数，所以就不存在默认构造函数：

package com.thb;public class C {private String msg;public C(String msg) {this.msg = msg;}public void method() {}
}

定义一个类Test1 ，调用类B和类C：

package com.thb;public class Test1 {public static void main(String[] args) {// 类B没有声明构造函数，所以会隐含着有一个默认构造函数B b = new B();b.method();// 如果去掉下面代码前面的注释就会编译出错，因为类C中已经明确声明了一个带参数的构造// 函数，就不会有默认构造函数了// C c = new C();  C c = new C("hello");  // 调用类C声明的构造函数c.method();		}

默认构造函数的形式

一个顶层类、成员类、局部类的默认构造函数形式如下：

默认构造函数的访问修饰符

说明

默认构造函数的访问修饰符和类的访问修饰符相同；如果类没有显式声明访问修饰符，那么默认构造函数是包的访问修饰符。

示例—类用public修饰

定一个类B，用public修饰，没有声明构造函数，所以存在一个默认构造函数：

package com.thb;public class B {public void method() {}
}

打开类B编译后的class文件，可以发现，因为类B的访问控制修饰符是public，所以默认构造函数的访问控制修饰符也是public：

// Compiled from B.java (version 18 : 62.0, super bit)
public class com.thb.B {// Method descriptor #6 ()V// Stack: 1, Locals: 1public B();0  aload_0 [this]1  invokespecial java.lang.Object() [8]4  returnLine numbers:[pc: 0, line: 3]Local variable table:[pc: 0, pc: 5] local: this index: 0 type: com.thb.B// Method descriptor #6 ()V// Stack: 0, Locals: 1public void method();0  returnLine numbers:[pc: 0, line: 5]Local variable table:[pc: 0, pc: 1] local: this index: 0 type: com.thb.B
}

示例—类没有显式声明访问控制修饰符

定义类D，没有显式声明访问控制修饰符，即表示是包访问控制：

package com.thb;class D {}

打开类D编译后的class文件，可以发现，默认构造函数也没有注明访问控制修饰符，即是包访问控制：

// Compiled from D.java (version 18 : 62.0, super bit)
class com.thb.D {// Method descriptor #6 ()V// Stack: 1, Locals: 1D();0  aload_0 [this]1  invokespecial java.lang.Object() [8]4  returnLine numbers:[pc: 0, line: 3]Local variable table:[pc: 0, pc: 5] local: this index: 0 type: com.thb.D
}

默认构造函数没有形式参数（非private的内部成员类除外）

说明

默认构造函数没有形式参数，非private的内部成员类除外。
非private的内部成员类的默认构造函数有一个形式参数，这个形式参数类型是包裹内部成员类的外部类。

示例：非private的内部成员类的默认构造函数

定义一个类E，在其内部定义一个非private的成员类AnotherInE ：

package com.thb;public class E {class AnotherInE {}
}

打开类E 编译后的class文件，可以发现它有一个没有形式参数的默认构造函数：

// Compiled from E.java (version 18 : 62.0, super bit)
public class com.thb.E {// Method descriptor #6 ()V// Stack: 1, Locals: 1public E();0  aload_0 [this]1  invokespecial java.lang.Object() [8]4  returnLine numbers:[pc: 0, line: 3]Local variable table:[pc: 0, pc: 5] local: this index: 0 type: com.thb.EInner classes:[inner class info: #17 com/thb/E$AnotherInE, outer class info: #1 com/thb/Einner name: #19 AnotherInE, accessflags: 0 default]Nest Members:#17 com/thb/E$AnotherInE
}

打开内部类AnotherInE 编译后的class文件，可以发现内部成员类的默认构造函数有一个形式参数，类型是包裹它的类E：

// Compiled from E.java (version 18 : 62.0, super bit)
class com.thb.E$AnotherInE {// Field descriptor #6 Lcom/thb/E;final synthetic com.thb.E this$0;// Method descriptor #8 (Lcom/thb/E;)V// Stack: 2, Locals: 2E$AnotherInE(com.thb.E arg0);0  aload_0 [this]1  aload_1 [arg0]2  putfield com.thb.E$AnotherInE.this$0 : com.thb.E [10]5  aload_0 [this]6  invokespecial java.lang.Object() [12]9  returnLine numbers:[pc: 0, line: 5]Local variable table:[pc: 0, pc: 10] local: this index: 0 type: com.thb.E.AnotherInEInner classes:[inner class info: #1 com/thb/E$AnotherInE, outer class info: #22 com/thb/Einner name: #24 AnotherInE, accessflags: 0 default]Nest Host: #22 com/thb/E
}

默认构造函数没有throws 子句

默认构造函数体的内容

说明

如果声明的是基本类Object，那么默认构造函数体是空的。如果声明的是其它的类，在默认构造函数体内调用父类的没有形式参数的构造函数。

示例----在子类的默认构造函数体内调用父类的没有形式参数的构造函数

定义类B：

package com.thb;public class B {public void method() {}
}

定义B的子类BB：

package com.thb;public class BB extends B {}

打开类BB编译后的class文件，可以发现它的默认构造函数体内调用父类B的没有形式参数的构造函数：

// Compiled from BB.java (version 18 : 62.0, super bit)
public class com.thb.BB extends com.thb.B {// Method descriptor #6 ()V// Stack: 1, Locals: 1public BB();0  aload_0 [this]1  invokespecial com.thb.B() [8]4  returnLine numbers:[pc: 0, line: 3]Local variable table:[pc: 0, pc: 5] local: this index: 0 type: com.thb.BB
}

编译出错示例—子类没有显式定义造函数，但父类没有这样一个构造函数：无形式参数并且无throws 子句

定义一个类B，显式定义了一个带形式参数的构造函数，但没有定义无形式参数且没有throws 子句的构造函数：

package com.thb;public class B {private String name;public B(String name) {this.name = name;}public void method() {}
}

定义类B的子类BB，BB中没有显式定义构造函数，编译出错：