207

I was wondering why in java constructors are not inherited? You know when you have a class like this:

public class Super {

  public Super(ServiceA serviceA, ServiceB serviceB, ServiceC serviceC){
    this.serviceA = serviceA;
    //etc
  } 

}

Later when you inherit from Super, java will complain that there is no default constructor defined. The solution is obviously something like:

public class Son extends Super{

  public Son(ServiceA serviceA, ServiceB serviceB, ServiceC serviceC){
    super(serviceA,serviceB,serviceC);
  }

}

This code is repetitive, not DRY and useless (IMHO)... so that brings the question again:

Why java doesn't support constructor inheritance? Is there any benefit in not allowing this inheritance?

3
  • 3
    I agree that the constructor in Son is repetitive. It is for this reason that C++ now allows derived classes to inherit base constructors (see www2.research.att.com/~bs/C++0xFAQ.html#inheriting). Note that I emphasize "allow" because the derived class must explicitly declare that it uses the constructors in the base. Mar 27, 2011 at 14:41
  • 1
    Like C++, Java would also benefit from syntax that permits constructor inheritance. Mar 28, 2011 at 5:26
  • If you have a private final int foo; in the superclass Super, you can not assign a value to foo in the inherited Constructor in Son because its private in Super.
    – Grim
    Jun 26, 2014 at 4:19

10 Answers 10

223

Suppose constructors were inherited... then because every class eventually derives from Object, every class would end up with a parameterless constructor. That's a bad idea. What exactly would you expect:

FileInputStream stream = new FileInputStream();

to do?

Now potentially there should be a way of easily creating the "pass-through" constructors which are fairly common, but I don't think it should be the default. The parameters needed to construct a subclass are often different from those required by the superclass.

27
  • 40
    Why not allow a derived class to optionally inherit its base constructors as does C++ (see www2.research.att.com/~bs/C++0xFAQ.html#inheriting)? Mar 27, 2011 at 14:57
  • 4
    A useful constructor syntax might be to allow a derived constructor to inherit the parameters of a base constructor and automatically forward these to the base constructor so that the derived constructor need not repeat these parameters. Mar 27, 2011 at 15:01
  • 6
    What prevents you from just declaring the parameterless constructor to be private if you don't need it?
    – Mononofu
    Nov 14, 2011 at 12:10
  • 6
    @Mononofu: Well it would certainly be annoying to have to create a constructor which would effectively create an unusable object and never be called, just to "remove" something which doesn't need to be provided anyway. Ick. I'd rather the language worked the way it does now :)
    – Jon Skeet
    Nov 14, 2011 at 12:23
  • 2
    @Mononofu But wait ... To use that correctly and confidently, you would then have to understand java's weird systems of inheritance for BOTH constructors AND visibility. Isn't the world confusing enough already? ;)
    – Jan
    Jan 20, 2012 at 0:40
33

When you inherit from Super this is what in reality happens:

public class Son extends Super{

  // If you dont declare a constructor of any type, adefault one will appear.
  public Son(){
    // If you dont call any other constructor in the first line a call to super() will be placed instead.
    super();
  }

}

So, that is the reason, because you have to call your unique constructor, since"Super" doesn't have a default one.

Now, trying to guess why Java doesn't support constructor inheritance, probably because a constructor only makes sense if it's talking about concrete instances, and you shouldn't be able to create an instance of something when you don't know how it's defined (by polymorphism).

12

Because constructing your subclass object may be done in a different way from how your superclass is constructed. You may not want clients of the subclass to be able to call certain constructors available in the superclass.

A silly example:

class Super {
    protected final Number value;
    public Super(Number value){
        this.value = value;
    }
}

class Sub {
    public Sub(){ super(Integer.valueOf(0)); }
    void doSomeStuff(){
        // We know this.value is an Integer, so it's safe to cast.
        doSomethingWithAnInteger((Integer)this.value);
    }
}

// Client code:
Sub s = new Sub(Long.valueOf(666L)): // Devilish invocation of Super constructor!
s.doSomeStuff(); // throws ClassCastException

Or even simpler:

class Super {
    private final String msg;
    Super(String msg){
        if (msg == null) throw new NullPointerException();
        this.msg = msg;
    }
}
class Sub {
    private final String detail;
    Sub(String msg, String detail){
        super(msg);
        if (detail == null) throw new NullPointerException();
        this.detail = detail;
    }
    void print(){
        // detail is never null, so this method won't fail
        System.out.println(detail.concat(": ").concat(msg));
    }
}
// Client code:
Sub s = new Sub("message"); // Calling Super constructor - detail is never initialized!
s.print(); // throws NullPointerException

From this example, you see that you'd need some way of declaring that "I want to inherit these constructors" or "I want to inherit all constructors except for these", and then you'd also have to specify a default constructor inheritance preference just in case someone adds a new constructor in the superclass... or you could just require that you repeat the constructors from the superclass if you want to "inherit" them, which arguably is the more obvious way of doing it.

4
  • 1
    Your examples don't convice me. Just because you code bugs on purpose it is no valid argument against constructor inheritance. NullPointerExceptions are completely normal if you botch (and sometimes even if you don't). Aug 23, 2017 at 6:30
  • @TheincredibleJan The point is that one important thing constructors are used for, is enforcing class invariants. Implicit constructor inheritance would make it much more complicated to give any guarantees about instances of a class (impossible, even, if you consider that constructors may be added to superclasses).
    – gustafc
    Aug 23, 2017 at 7:14
  • 1
    This is not a good example. Your problem is that you are casting non-Integer Numbers to Integer. It has nothing to do with inheritance. Nov 22, 2019 at 17:31
  • @LowKeyEnergy no, the problem is that being able to bypass constructors would deprive you of the only way you have to enforce class invariants. But, I admit my example could be more succinct - the point made in the accepted answer is more to the point; that everything would have a default constructor.
    – gustafc
    Nov 25, 2019 at 8:14
6

Because constructors are an implementation detail - they're not something that a user of an interface/superclass can actually invoke at all. By the time they get an instance, it's already been constructed; and vice-versa, at the time you construct an object there's by definition no variable it's currently assigned to.

Think about what it would mean to force all subclasses to have an inherited constructor. I argue it's clearer to pass the variables in directly than for the class to "magically" have a constructor with a certain number of arguments just because it's parent does.

2

Constructors are not polymorphic.
When dealing with already constructed classes, you could be dealing with the declared type of the object, or any of its subclasses. That's what inheritance is useful for.
Constructor are always called on the specific type,eg new String(). Hypothetical subclasses have no role in this.

2
  • What the OP probably asks is "why do I have to make the super calls, when the compiler is perfectly capable of generating them for me?"
    – gustafc
    Oct 29, 2009 at 15:22
  • ... which, for example, it does when the superclass has a default constructor and the subclass doesn't specify any constructors.
    – gustafc
    Oct 29, 2009 at 15:24
2

David's answer is correct. I'd like to add that you might be getting a sign from God that your design is messed up, and that "Son" ought not to be a subclass of "Super", but that, instead, Super has some implementation detail best expressed by having the functionality that Son provides, as a strategy of sorts.

EDIT: Jon Skeet's answer is awesomest.

4
  • Super is in reality a LayerSupertype (martinfowler.com/eaaCatalog/layerSupertype.html) of my service layer. And I need the dependencies injected in the constructor to support DI. My design is not messed up Oct 29, 2009 at 15:18
  • Well, that's a matter of opinion! It seems to me that if your hierarchy is distorted to feed the requirements of your buzzword framework, that might in itself be a Sign from Above. Oct 29, 2009 at 15:33
  • Please explain why you say that my hierarchy is distorted. And I've never mentioned a buzzword framework, in fact I'm just using Guice + Plain old servlets. Oct 29, 2009 at 20:35
  • I don't know whether your design is distorted, nor whether it's badly designed. I'm merely saying that if your subclass differs from its superclass merely by providing some difference in strategy, then in may be better expressed as a thing that the superclass has rather than is. I then said that if that's the case, but you still must design your software as a parent-child reltionship in order to support the needs of some framework (whether it's DI or whatever), then that's "distortion"! But I have no idea about how your software is designed. Oct 29, 2009 at 21:15
0

Because a (super)class must have complete control over how it is constructed. If the programmer decides that it doesn't make sense to provide a default (no args) constructor as part of the class's contract, then the compiler should not provide one.

0

You essentially do inherit the constuctors in the sense that you can simply call super if and when appropriate, it's just that it would be error prone for reasons others have mentioned if it happened by default. The compiler can't presume when it is appropriate and when it isn't.

The job of the compiler is to provide as much flexibility as possible while reducing complexity and risk of unintended side-effects.

-1

I don't know any language where subclasses inherit constructors (but then, I am not much of a programming polyglott).

Here's a discussion about the same question concerning C#. The general consensus seems to be that it would complicate the language, introduce the potential for nasty side effects to changes in a base class, and generally shouldn't be necessary in a good design.

3
  • 1
    C++ now allows derived classes to inherit base constructors (see www2.research.att.com/~bs/C++0xFAQ.html#inheriting). This avoids the common idiom found in derived classes where a derived constructor does little more than declare the same parameters as in the base constructor and forward these to the base constructor. Mar 28, 2011 at 14:17
  • Python does: stackoverflow.com/a/6536027/2112722. Python also splits up the "constructor" phase into __new__() and __init__() methods, and has a very different approach to polymorphic methods. See pythonconquerstheuniverse.wordpress.com/2010/03/17/… Mar 20, 2017 at 16:09
  • Any non typed language allows this
    – Alvaro
    Apr 12, 2017 at 13:15
-1

A derived class is not the the same class as its base class and you may or may not care whether any members of the base class are initialized at the time of the construction of the derived class. That is a determination made by the programmer not by the compiler.

Not the answer you're looking for? Browse other questions tagged or ask your own question.