Geef aan in welke mate subtypering voorkomt in Java en welke gevolgen dit heeft voor de typecontrole

  • Subtypering komt in Java voor. Een subtype van een functietype is alleen typeveilig als het resultaattype covariant wordt gewijzigd (covariant in het resultaat) en het parametertype contravariant wordt gewijzigd (contravariant in de parameter)

    Rapporteer Plaats commentaar