Kovarianz in C#?

[phXql]

Hallo Leute,

folgender Code

Code:

class A
{
  public virtual A Foo()
  {
    return new A();
  }
}
   
class B: A
{
  public override B Foo()
  {
    return new B();
  }
}

wirft den Fehler

Code:

'Covariant.Program.B.Foo()': return type must be 'Covariant.Program.A' to match overridden member 'Covariant.Program.A.Foo()' (CS0508)

Sollte das die Kovarianz nicht zulassen? Ich meine mich erinnern zu können, dass sowas in Java geht.

[alias5000]

Wie wärs damit?

Code:

class A
{
  public virtual A Foo()
  {
    return new A();
  }
}
   
class B: A
{
  public override A Foo()
  {
    return new B();
  }
}

Die Änderung ist nur, dass B.Foo auch den Rückgabetyp A hat.

Gruß
alias5000

[phXql]

Wo der "Fehler" liegt ist mir klar. Aber wieso kann Java das (was man als Kovarianz bezeichnet) und C# nicht?

[s-off]

Zitat von phXql:

Aber wieso kann Java das (was man als Kovarianz bezeichnet) und C# nicht?

Was ist das für eine Frage?

[phXql]

Wieso kann Java Kovarianz bei Vererbung und C# nicht?
Jetz kapiert?

[s-off]

Mensch Junge,

'kapiert' habe ich Deine Frage schon vor Deiner ausführlichen Erläuterung...

Warum kann man mit einem Staubsauger keine Heizung entlüften?

Jetzt 'kapiert'?

[Apollonius]

@phXql: Kovarianz und Kontravarianz gibt es in C# nur für Delegates. Quelle

[Khabarakh]

C# unterstützt Ko- und Kontravarianz nur bei Arrays und Methodengruppen->Delegates, die CLR kennt außerdem variante Interfaces und Delegates; heißt also warten auf eine zukünftige CLR . Eric Lippert (C#-Team) hat übrigens zu dem Thema eine ganze Serie geschrieben.

[phXql]

Zitat von s-off:

Mensch Junge,

'kapiert' habe ich Deine Frage schon vor Deiner ausführlichen Erläuterung...

Warum kann man mit einem Staubsauger keine Heizung entlüften?

Jetzt 'kapiert'?

Ich dachte C# würde in Sachen Objektorientierung und Fähigkeiten Java in nichts nachstehen. Von dem her verstehe ich deinen Vergleich nun nicht wirklich. Oder ist Java zu C# konzeptionell so unterschiedlich?

An alle: Danke für die Beantwortung meiner Frage. Dann muss ich wohl warten...

[s-off]

Zitat von phXql:

Ich dachte C# würde in Sachen Objektorientierung und Fähigkeiten Java in nichts nachstehen. Von dem her verstehe ich deinen Vergleich nun nicht wirklich. Oder ist Java zu C# konzeptionell so unterschiedlich?

Mir ist vollkommen klar, worauf Du hinaus wolltest - ich dachte eigentlich, Du würdest irgendwann merken, dass ich mich absichtlich stur stelle, und Deine Frage anders formulieren

Obwohl C# aus der Reihe der C-Sprachen kommt, ist sie Java schon ähnlicher, als bspw. C++ - aber das weißt Du ja sicher.
Das impliziert aber nicht, dass alle Features der einen, auch Bestandteil der anderen Sprache sind.

Aber es ist doch umso schöner, dass man sich noch auf etwas freuen kann, was vielleicht irgendwann einmal kommen wird