java构造函数是否可继承,以及子类构造函数可否不使用super调用超类构造函数

时间:2022-12-14 15:35:20
本文作者水平有限,可能有很多错误,望指正。

问题一:java的构造函数能否被继承?

笔者初学java看的一本书说:“java的子类自然的继承其超类的“非private成员”。

通常java的构造函数被设置为public的(若你不写构造函数,java自动添加的无参空构造函数就是public的),因本文中的类都在同一个包中,因此使用无修饰的友好权限说明问题,对于private构造函数的意义,可参见这里

那么根据该书所述规则,非private的构造函数当然也应该被子类继承。

但实际上,子类不仅无法继承private成员,也无法继承构造函数。

下面用代码进行说明。

示例1.

系统自动添加的无参空构造函数:(若不写构造函数,java默认添加一个无参的空构造函数)

class base{
}
class derived extends base{
  public static void main(String[] args){
    derived d=new derived();
  }
}

示例2.

把父类中系统自动添加的无参空构造函数显式的写出来(为了有输出,加了println):

class base{
   base(){
     System.out.println("base constructor");
   }
}
class derived extends base{
  public static void main(String[] args){
    derived d=new derived();
  }
}
输出结果:base constructor, 代码通过编译。从示例1,2来看,好像子类可以继承超类的构造函数哦。

但实际情况是:java规则:子类创建对象的同时会先创造父类的对象,因此必须先调用父类的构造方法。示例2中derived没有重写构造方法,根据java规则,系统会默认的添加一个无参的构造方法,且该方法第一句是super()。显式的写出来是:

derived(){
    super();
}

 那为什么子类可以不写呢,因为:如果父类"只"有无参构造方法,且不打算重写子类的构造方法,为节省代码量,子类构造方法可以不写,系统默认调用父类无参构造方法super()。

可能还是有人觉得这些示例的说服力不够强,依然认为构造方法是可以继承的,没关系,看完本文,特别是示例4配合最后带★的文字,即可充分说明问题。

再来看看有参构造方法:

示例3.

如果将超类的构造方法改为有参构造方法,代码见下,则eclipse会报"Implicit super constructor xxx is undefined for default constructor. Must define an explicit constructor"

说明对于超类的有参构造方法,子类是无法继承的。

class base{
   base(int x){
     System.out.println("base constructor,i="+x);
  }
}
class derived extends base{
  public static void main(String[] args){
    derived d=new derived();
  }
}

对于有参的构造函数,子类中必须定义自己的构造方法。

(需要注意参数匹配,将该参数通过第一句的super(ParamList)传给父类的构造方法,若是多层继承,则需要逐级传递参数至最顶层的有参构造方法)

class base{
   base(int x){
     System.out.println("base constructor,i="+x);
   }
}
class derived extends base{
  derived(int x){
    super(x);  //这里使用了super(param),调用了超类的构造方法。
    System.out.println("derived constructor,i="+x);
  }
  public static void main(String[] args){
    derived d=new derived(8);
  }
}
输出结果:

base constructor,i=8

derived constructor,i=8


问题二:子类的构造函数可否不使用super(ParamList)调用超类的构造方法?

上例中使用了super调用了超类的构造方法。同样是那本书中说:“子类的构造方法中必须使用super调用超类的构造方法,且super必须是子类构造方法的第一句。”

那我不用super行不行呢?原话给人的感觉好像是java的语法规定一样。

其实可以不用显式的写出super,但前提是“超类中有多个构造方法,且有一个是显式写出的无参的构造方法”。

示例4.

超类拥有多个构造方法,其中一个是显式的无参的构造方法。

class base {
	base() {                                          //warning_su
		System.out.println("base constructor.");  //warning_su
	}                                                 //warning_su

	base(int x) {
		System.out.println("base constructor,i=" + x);
	}
}

class derived extends base {
	derived() {                                        //warning_de
		System.out.println("derived constructor"); //warning_de
	}                                                  //warning_de

	derived(int x) {
		//super(x);                                //super被注释掉了!
		System.out.println("derived constructor,i=" + x);
	}

	public static void main(String[] args) {
          derived d= new derived();                       //warning_cr
          derived t = new derived(8);
	}
}
输出结果:

base constructor.

derived constructor

base constructor.     <---------注意这里没有i=8哦。

derived constructor,i=8

此时,子类有参构造方法中没有使用super(x)调用超类的构造方法也通过编译了,但是不使用super(ParamList),new derived(8)调用的是超类的无参构造方法base()!

为什么要强调必须是“显式写出”的无参构造方法,您可以试试把带有warnning字样的代码注释掉(warning_su,warning_de,waring_cr3处),同时也注释掉super(x)。

因为此时超类和子类有构造方法(有参的那个),系统不会自动给超类添加无参的空构造函数,会造成子类找不到超类的无参构造方法super()来使用,同样会报"Implicit super constructor xxx is undefined for default constructor. Must define an explicit constructor"。


其实也说明了一个道理,即使我们不写super(),系统会自动的添加一句super(),此例中super()并不存在所以报错了。

当然,子类不调用超类的有参构造函数super(ParamList)的情况相对较少,所以那本书干脆说必须在第一句写上super(ParamList)。


★另外,如果单独注释掉子类中的无参构造函数derived()(不注释warning_su和warning_de),eclipse会说:"The constructor derived() is undefined"。

也证明了即使是无参构造函数,也是无法继承的。仅仅当超类中只有一个无参构造函数且不打算重写子类构造函数时,为节省工作量,子类构造函数可以不写,java在使用子类的构造函数时,自动添加一句super()来运行。