[ Course Documents ] : [ Object-Oriented Programming ]

Previous Contents Next Keyword Index

Design Issue: Type Checking and Polymorphism

• Polymorphism may require dynamic type checking of parameters and the return value

• Dynamic type checking is costly and delays error detection

• If overriding methods are restricted to having the same parameter types and return type, the checking can be static