BiteSizedChunks.comLearn one small thing at a time.

Course contentsShow

Java

439What is Upcasting?
440Upcasting is Implicit and Safe
441Method Availability After Upcasting
442Dynamic Dispatch with Upcast References
443What is Downcasting?
444Downcasting Requires Explicit Cast Syntax
445ClassCastException: When Downcasting Fails
446Safe Downcasting with instanceof
447Why Downcast? Accessing Subclass-Specific Members
448Upcasting and Downcasting with Arrays
449Basic instanceof Syntax and Type Checking
450instanceof and the Type Hierarchy
451Common instanceof Use Cases Before Pattern Matching
452The Boilerplate Problem: Test-Cast-Use Pattern
453Pattern Matching for instanceof: Basic Syntax
454Pattern Variables and Scope
455Flow Scoping: Pattern Variables in Conditional Blocks
456Pattern Matching with Logical Operators
457Pattern Matching in Complex Conditionals
458instanceof with null: Behavior and Guarantees
459Migrating Legacy Code to Pattern Matching
460What is Dynamic Dispatch?
461Method Resolution Process Overview
462Virtual Method Table (vtable) Basics
463Static vs Dynamic Binding
464Method Overriding and the Most Specific Implementation
465The Role of the Reference Type at Compile Time
466Hiding vs Overriding: Static Method Behavior
467Method Resolution with Interfaces
468Performance Implications of Dynamic Dispatch
469Debugging Dynamic Dispatch with Stack Traces
470What Are Covariant Return Types?
471The Rules of Covariance
472Covariant Returns with Classes
473Covariant Returns with Interfaces
474Clone Method and Covariant Returns
475Practical Benefits: Avoiding Downcasts
476Covariance vs Parameter Contravariance

Java

439What is Upcasting?
440Upcasting is Implicit and Safe
441Method Availability After Upcasting
442Dynamic Dispatch with Upcast References
443What is Downcasting?
444Downcasting Requires Explicit Cast Syntax
445ClassCastException: When Downcasting Fails
446Safe Downcasting with instanceof
447Why Downcast? Accessing Subclass-Specific Members
448Upcasting and Downcasting with Arrays
449Basic instanceof Syntax and Type Checking
450instanceof and the Type Hierarchy
451Common instanceof Use Cases Before Pattern Matching
452The Boilerplate Problem: Test-Cast-Use Pattern
453Pattern Matching for instanceof: Basic Syntax
454Pattern Variables and Scope
455Flow Scoping: Pattern Variables in Conditional Blocks
456Pattern Matching with Logical Operators
457Pattern Matching in Complex Conditionals
458instanceof with null: Behavior and Guarantees
459Migrating Legacy Code to Pattern Matching
460What is Dynamic Dispatch?
461Method Resolution Process Overview
462Virtual Method Table (vtable) Basics
463Static vs Dynamic Binding
464Method Overriding and the Most Specific Implementation
465The Role of the Reference Type at Compile Time
466Hiding vs Overriding: Static Method Behavior
467Method Resolution with Interfaces
468Performance Implications of Dynamic Dispatch
469Debugging Dynamic Dispatch with Stack Traces
470What Are Covariant Return Types?
471The Rules of Covariance
472Covariant Returns with Classes
473Covariant Returns with Interfaces
474Clone Method and Covariant Returns
475Practical Benefits: Avoiding Downcasts
476Covariance vs Parameter Contravariance

← Java

Lesson 471 of 2,870·11. Polymorphism and Dynamic DispatchPro lesson

The Rules of Covariance

Learning the compile-time constraints: return types must be subtypes, not supertypes or unrelated types.

This lesson is for subscribers

You've completed the free preview. Subscribe to unlock every lesson in every course.

See pricing Back to course