Hallo,
ich habe eine kurze Verständnisfrage, vielleicht kann mir ja jemand helfen.
Wenn A ein Subtyp von B ist (also kovarianter Rückgabetyp und kontravarianter Argumenttyp), ist A dann syntaktisch kompatibel zu B oder ist es umgekehrt und B ist syntaktisch kompatibel zu A?
Also: A Subtyp von B = A kompatibel zu B
oder A Subtyp von B = B kompatibel zu A ?
Also wenn die Frage ist: „sind die Operationen des spezielleren Interface (Sub) kompatibel zu denen des allgemeineren Interface(Super)?“, dann teste ich mit Kontravarianz und Kovarianz ob das spezielle Interface ein Subtyp von dem anderen ist und wenn das der Fall ist, kann ich die Frage mit JA beantworten?
Vielen Dank schonmal!
ich habe eine kurze Verständnisfrage, vielleicht kann mir ja jemand helfen.
Wenn A ein Subtyp von B ist (also kovarianter Rückgabetyp und kontravarianter Argumenttyp), ist A dann syntaktisch kompatibel zu B oder ist es umgekehrt und B ist syntaktisch kompatibel zu A?
Also: A Subtyp von B = A kompatibel zu B
oder A Subtyp von B = B kompatibel zu A ?
Also wenn die Frage ist: „sind die Operationen des spezielleren Interface (Sub) kompatibel zu denen des allgemeineren Interface(Super)?“, dann teste ich mit Kontravarianz und Kovarianz ob das spezielle Interface ein Subtyp von dem anderen ist und wenn das der Fall ist, kann ich die Frage mit JA beantworten?
Vielen Dank schonmal!