问题一: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();
- }
- }
但实际情况是: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()来运行。