CODEWITHSUNDEEP
javainheritance
Paradox
Paradox

Reputation: 353

Java Inheritance

A class C has a void method m with no parameters. Another class D extends C and overrides m. Each class has a constructor with no parameters. In each of the following, say whether it is legal, and if so, which definition of m will be used.

i) C x = new D(); x.m();

ii) D x = new C(); x.m();

I think i is legal, and ii is not illegal. Not sure how I get my head around this question, any hints are welcome.

Upvotes: 0

Views: 134

Answers (4)

Bill the Lizard
Bill the Lizard

Reputation: 405675

The best way to answer the question is to write some code and see what happens. Use System.out.println("method called from C"); in your implementation of m to tell which implementation is called. Having said that, the whole point of overriding a method is so that the new implementation will get used. If you object is of type C then Cs method will get called. If you object is of type D then Ds method will get called regardless of what type the reference is.

The first answer:

C x = new D();

is legal because and object of type D is a C as well (because D extends C).

The second answer:

D x = new C();

is not legal because a reference to D cannot hold an object of its supertype C.

Upvotes: 2

Werner Altewischer
Werner Altewischer

Reputation: 10466

i) is legal, ii) is not. It's very easy to see if you use a metaphor, say class C is Animal and class D is Dog, method m() is makeNoise. Now it's legal to have a variable of class Animal and assign a Dog to it (because a dog "is a" animal), but it's not legal to instantiate an Animal and assign it to Dog since the Dog is more specific than Animal (we can not say an animal "is a" dog).

Now for the method: the method is always called on the runtime type, not on the variable type (all method calls are so-called virtual in Java), so in case i) it calls the m() method of class D, not of class C.

Upvotes: 0

Mike Samuel
Mike Samuel

Reputation: 120486

Try to think of inheritance in terms of "is a" relationships.

If D extends C then that means each D is a C, but does not imply that each C is a D.

To apply that thinking, translate the question into an "is a" question.

C x = new D()

is a statement that requires that a new D() is a C.

In String s = new Object(), ask yourself "is a new Object() a String?" What about vice-versa?

Good luck learning OOP.

Upvotes: 1

Simon Nickerson
Simon Nickerson

Reputation: 43159

Yes, you are right.

(i) is legal, and it will be D's m method that gets run (this is called polymorphism).

(ii) is illegal, and will not even compile, because D is not a supertype of C (in fact, it's a subtype). We could make it compile by writing it as:

D x = (D) new C(); x.m();

but then it would fail at runtime with a ClassCastException

Upvotes: 1

Related Questions