"Hi, Amigo! The topic of today's lesson is widening and narrowing type conversions. You learned about widening and narrowing primitive types a long time ago. On Level 10. Today we're going to talk about how it works for reference types, i.e. instances of classes."
In fact, it's all quite simple. Imagine a class's inheritance chain: the class, its parent, the parent of the parent, etc., all the way back to the Object class. Because a class contains all member methods of the class it inherits, an instance of the class can be saved in a variable whose type is that of any of its parents.
Here's an example:
Code | Description |
---|---|
|
Here we have three class declarations: Animal, Cat, and Tiger. Cat inherits Animal. And Tiger inherits Cat. |
|
A Tiger object can always be assigned to a variable whose type is that of one of its ancestors. For the Tiger class, these are Cat, Animal, and Object. |
Now let's take a look at widening and narrowing conversions.
If an assignment operation causes us to move up the inheritance chain (toward the Object class), then we're dealing with a widening conversion (also known as upcasting). If we move down the chain toward the object's type, then it's a narrowing conversion (also known as downcasting).
Moving up the inheritance chain is called widening, because it leads to a more general type. However, in doing so we lose the ability to invoke the methods added to the class through inheritance.
Code | Description |
---|---|
|
When narrowing the type, you need to use a type conversion operator, i.e. we perform an explicit conversion.
This causes the Java machine to check whether the object really inherits the type we want to convert it to. This small innovation produced a manifold reduction in the number of type casting errors, and significantly increased the stability of Java programs. |
Code | Description |
---|---|
|
Better yet, use an instanceof check |
|
And here's why. Take a look at the example on the left.
We (our code) don't always know what type of object we are working with. It could be an object of the same type as the variable (Animal), or any descendant type (Cat, Tiger). Consider the doAllAction method. It works correctly, regardless of the type of object passed in. In other words, it works correctly for all three types: Animal, Cat, and Tiger. |
|
Here we have three assignment operations. All of them are examples of widening conversions.
The type cast operator is not needed here, because no check is necessary. An object reference can always be stored in a variable whose type is one of its ancestors. |
"Oh, the second to last example made everything clear: why the check is needed, and why type casting is needed."
"I hope so. I want to draw your attention to this fact:"
None of this causes an object to change in any way! The only thing that changes is the number of methods available to be called on a particular reference variable.
For example, a Cat variable lets you call the doAnimalActions and doCatActions methods. It doesn't know anything about the doTigerActions method, even if it points to a Tiger object.
"Yep, I get it. It was easier than I thought it would be."
GO TO FULL VERSION