Why are contravariant parameter types in Java not allowed for overriding?

by

Because that’s called overloading.

In particular, the return type type can be covariant because it is not considered when overloading, and it therefore still matches the superclass or interface’s implementation. Parameters are considered when overloading. You very well might have an optimization with Number doSomethingWithNumber(Integer value) compared to Number doSomethingWithNumber(Number value).

More Related Contents:

  1. Covariance, Invariance and Contravariance explained in plain English?
  2. Give examples of functions which demonstrate covariance and contravariance in the cases of both overloading and overriding in Java? [closed]
  3. Generics : List
  4. What is the difference between covariance and contra-variance in programming languages? [closed]
  5. Why are arrays covariant but generics are invariant?
  6. Polymorphism vs Overriding vs Overloading
  7. Overriding member variables in Java ( Variable Hiding)
  8. Implementing two interfaces in a class with same method. Which interface method is overridden?
  9. ‘Must Override a Superclass Method’ Errors after importing a project into Eclipse
  10. What is the difference between method overloading and overriding? [duplicate]
  11. Is there a way to override class variables in Java?
  12. What is the difference between dynamic and static polymorphism in Java?
  13. Can I override and overload static methods in Java?
  14. What is a covariant return type?
  15. How to call a superclass method using Java reflection
  16. Why do we have to override the equals() method in Java?
  17. Calling super super class method
  18. How do Java method annotations work in conjunction with method overriding?
  19. Java: Overriding function to disable SSL certificate check
  20. Class is not Abstract and does not Override error in Java
  21. Understanding the purpose of Abstract Classes in Java
  22. Slight confusion regarding overriding where variables are concerned
  23. Java overloading and overriding
  24. Override valueof() and toString() in Java enum
  25. Type erasure, overriding and generics
  26. Android @Override usage [duplicate]
  27. How would contravariance be used in Java generics?
  28. Java generic method inheritance and override rules
  29. Why is there no parameter contra-variance for overriding?
  30. Java: How to find if a method is overridden from base class? [duplicate]

Leave a Comment