Alles Vertragssache - Ko- und Kontravarianz in C# 1-4

Alles Vertragssache!Ko- und Kontravarianz in C#

Lars Corneliussenitemis AG

itemis.delcorneliussen.com

Mittwoch, 25. November 2009

Kovarianz und Kontravarianz ist die Unterscheidung, ob ein Aspekt

gleichartig der Vererbungsrichtung (kovariant)

entgegengesetzt zu dieser (kontravariant)

Aspekt = Typdeklaration

Varianz = Abweichung

Ko- und Kontravarianz... beschreibt die erlaubte Abweichung vom deklarierten Typ.

string

object

Vererbungrichtung

object meinObjekt = "abcd";

deklarierter Typ

stringobjectVererbungrichtung

Abweichung

deklarierter Typ

Abweichung

kontravariant

deklarierter Typ

public string Methode( object parameter) {

return "Hallo, Welt!";

object x = Methode( "abc" );

deklarierter Typ

string

object

Vererbungrichtung

deklarierter Typ

string

object

Vererbungrichtung

Abweichung

Variablen und Parameter sind kontravariant

... sie erlauben Zuweisungen von Werten, deren Typen entgegengesetzt zur Vererbungsrichtung abweichen.

deklarierter Typ

object

string

Vererbungrichtung

deklarierter Typ

object

string

Vererbungrichtung

Abweichung

kovariantMittwoch, 25. November 2009

Methodenrückgabensind kovariant

... sie können Variablen zugewiesen werden, deren Typ gleichartig mit der Vererbungsrichtung abweicht.

Ko- und Kontravarianz in Generics

IList< object > meineObjekte = new List< string >;

Vererbungrichtung

deklarierter Typ

stringobject

Vererbungrichtung

deklarierter Typ

stringobject

kontravariant! Fertig!?

Abweichung

Mit string und object kommen wir nicht weit...

Säugetier Reptil

Das Problem bei einer generischen Liste:

List< >

IList< >

List< >

IList< >

List< >

IList< >

List< >

IList< >

Bis C# 3.0 sind generische Typparameter invariant

... sie können in der Benutzung nicht vom implementierten Typ abweichen.

C# 4 unterstützt...... sichere Ko- und Kontravarianz von generischen Typparametern.

Sehen wir uns mal ein paar Varianten an...

Ein Tier-Geschenk zum auspacken...

IGeschenk< T>Generische Schnittstelle

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

IGeschenk<Säugetier>

Konkrete Schnittstelle

+ Auspacken() :

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

IGeschenk< > Hoffentlich ein

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

Hoffentlich ein

IGeschenk<Tier>Mittwoch, 25. November 2009

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

Jippie!!! Ein

Tiger!!

IGeschenk<Tiger>Mittwoch, 25. November 2009

+ Auspacken() : T

Implementierung

Auspacken() {

return new() ;}

+ Auspacken() :

Ein Tierheim um Tiere abzugeben...

ITierheim< T>Generische Schnittstelle

+ Einsperren( T )

Implementierung

Einsperren( ) {

ITierheim<Säugetier>

+ Einsperren( )

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

ITierheim< > Da bitte!

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

ITierheim<Tier>

Da bitte!

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

IGeschenk<Giraffe>

Da bitte!

+ Einsperren( T )

Implementierung

Einsperren( ) {

+ Einsperren( )

Ein Tiermarkt zum tauschen von Tieren...

Generische SchnittstelleITiermarkt<T>

+ T Tauschen( T )

Implementierung

Tauschen( ) {

return

+ T Tauschen( T )

Implementierung

Tauschen( ) {

return

ITiermarkt<Säugetier>

+ Tauschen( )

+ T Tauschen( T )

Implementierung

Tauschen( ) {

return

ITiermarkt<Säugetier>

+ Tauschen( )

+ T Tauschen( T )

Implementierung

Tauschen( ) {

return

Implementierung

Tauschen( ) {

return

Implementierung

Tauschen( ) {

return

Implementierung

Tauschen( ) {

return

ITiermarkt<Säugetier,Säugetier>

+ Tauschen( )

Generische SchnittstelleITiermarkt<in I, out O>

+ O Tauschen( I )

Implementierung

Tauschen( ) {

return

ITiermarkt<Säugetier,Säugetier>

+ Tauschen( )

Generische SchnittstelleITiermarkt<in I, out O>

+ O Tauschen( I )

ITiermarkt<Giraffe, Tier>.Tauschen()

ITiermarkt<Säugetier, Säugetier>

Säugetier Tauschen ( Säugetier)

Vererbungrichtung

Abweichung

Vererbungrichtung

In C# 4 Generische Typparameter ENTWEDERko- ODER kontravariant

... mit „out“ klassifizierte Typparameter können kovariant abweichen,

... mit „in“ klassifizierte Typparameter können kontravarian abweichen.

Vielen Dankfürs Zugucken!

Lars Corneliussenlcorneliussen.com

Alles Vertragssache - Ko- und Kontravarianz in C# 1-4

Technology

ß6k@vã %0ì¼W8'æ¨kO>]éV¨¾ 4¤±iÎ §jaegerhaeusle.de/files/2019/04/Karte.pdf · Title: kÝÔ*C ×ñ F) Ø µèá à¥ tìÒÇ ³`Ûvêîw ò\÷ §`ß6k@vã %0ì¼W8"æ¨kO>]éV¨¾

-OP KO-2302- KleinmaterialRundsteckhülsen isoliert Material: Messing verzinnt Isolation: PVC Temperaturbeständigkeit: -10 C bis +75 C + 961HI400 47.037 0,5-1,0 4 100/1000 rot 961HI405

Beitay Ko Nasiyat

CARTHAGO chic C-Line - Campingworld Neugebauer · 2019. 10. 16. · carthago 2 chic c-line Serienausstattung Basisfahrzeug Mercedes-Benz Sprinter mit AL-KO-Tiefrahmen Carthago Spezial

KO C H E R T A L E X P R E S S185.pdfNachrichten aus Künzelsau und Umgebung · 35. Jahrgang · Nr. 185 · März 2009 KO C H E R T A L E X P R E S S Versicherungen Telefon 07940

Die AL-KO / solo by AL-KO GARANTIEVERLÄNGERUNG€¦ · die al-ko / solo by al-ko garantieverlÄngerung 4 jahre garantie bei online-registrierung* w w w. a l-k o. c om/ g a r d e

Ko Einbau en Web

C+ Diplom - Aargauischer Fussballverband · 2018. 4. 7. · C+ Diplom Wiederholen der KO Aspekte Vertiefung der im C-Diplom behandelten Aspekte Ergänzung der intermittierenden Methode

499 155 SEILWINDEN 2014 - AL-KO · PDF fileAL-KO SEILWINDEN DESIGN UND NUTZEN FÜr GEHObENE ANSPrÜCHE PRODUKTLINIEN / UNTERSCHIEDE / EINSATZBEREICHE Seit 35 Jahren beweisen sich AL-KO

Ko-Pilot 7 - Durchblick: Fasten

· Y TBep)KAaro e@ypaJ1þHß1 eKTOP 3AO «TEXHOCB513b» CaBJ1eB E.B. nnaTb1 c 10.07.2019 r. TIpeücKypaHT ueH 3AO Ha MOHTañC KO oneHTOBHa neqå

Ko-Pilot 5 - Durchblick: Luxus

Fahrzeug-Eigenlokalisierung mit Laserscannern - ko-fas.de · Forschungsinitiative Ko-FAS c/o ZENTEC GmbH Industriering 7, 63868 Großwallstadt ... FOR SC HUNG SIN IT IA TIVE Fraunhofer

Umbau und Ko: Umweltgerechtes Bauen mit Kompetenz und KO 4.pdf · UMBAU UND KO Hans-Jürgen Lindemann (Hrsg.) Energiebilanz Umbauen Umweltgerechtes Bauen mit Kompetenz: Module der

Zubehör Rasentraktor Heckauswurf 2014 · 2017. 6. 12. · Eurogarden NV Valerii Group SJ AL-KO AL-KO KOBER spol. S.R.O AL-KO GERÄTE GmbH AL-KO GINGE A/S SIA AL-KO KOBER AL-KO S.A.S

Ihr Filtershop für Druckluftfilter, Separatoren ... · KO S 013220 Abac 8234371 Separator KO S 008920 Abac 8234732 Separator KO A 115660 Abac 8973011500 Luftfilter KO M 000338 Abac

Å þ å | - ÈBTL0GTL C í È R J kO J «QMMNBY8143 Å þ å | - ÈBTL0GTL C í È R J kO J «QMM 2 _____ ABSOLUTE MAXIMUM RATINGS Stresses beyond those listed under “Absolute Maximum

^C DDO DR H: GO DT:= KD PK Ok K=;C ?KO % … PK Ok K=;C ?KO OKDM O;T:Q L; @ ^o j] o

BETRIEBSANLEITUNG AL-KO Auflaufeinrichtung

PROSA Smartphones - –ko-Institut