Ungültiges Argument - Interfaces vererbt, wie funktioniert, implizites Casting nicht. Was gibt?

Question

Ich habe eine Funktion, die eine Signatur von

Update(IEnumberable<INotifyPropertyChanging> things) 

und eine Klasse

doohickey : INotifyPropertyChanging, INotifyPropertyChanging{} 

Wenn ich versuche zu tun

List<doohickey> doohickeys = new List<doohickey>(); 
Update(doohickeys); 

eine Ausnahme ausgelöst wird erklärt hat:

cannot convert from 'System.Collections.Generic.List<doohickey>' to 'System.Collections.Generic.IEnumerable<System.ComponentModel.INotifyPropertyChanging>' 

Was gibt? Doohickey erbt die INotifyPropertyChanging-Schnittstelle und List erbt die IEnumerable-Schnittstelle! Wie kommt es, wenn man einfach das Objekt passiert und erwartet, dass es niedergeschlagen wird?

Ich habe die Verweise auf INotifyPropertyChanging enthalten, um anzuzeigen, dass Doohickey eigentlich eine linq-to-sql-Klasse ist; falls dieses bisschen Kontext wichtig ist.

Answer 1

Dies funktioniert nicht, da zwischen List<doohickey> und IEnumerable<NotifyPropertyChanging> keine implizite Konvertierung stattfindet. Sie müssen anrufen:

Update(doohickeys.Cast<INotifyPropertyChanging>()); 

Der Grund dafür ist Typ Sicherheit. In C# 4 wurde die Ko-/Kontravarianz zur Sprache hinzugefügt, was im Allgemeinen dazu beiträgt, dass diese Art von Konvertierungen gültig ist. Es gibt jedoch einige Einschränkungen, da der betreffende Typ co-/kontravariant deklariert werden muss und nur für Schnittstellen und Delegaten gilt.

Der Grund, warum Sie nicht implizit List<T>-List<TBase> umwandeln kann, ist, dass es diesen Code gültig machen würde:

List<T> values = new List<T>(); 
// add some values... 
List<TBase> bases = values; 
bases.Add(new TBase()); // Woops. We broke type safety by adding a TBase to a list of T's 

Nun, wenn Sie dies tun, wenn andere values von IEnumerable<T> Typ war, wäre es in C# 4 gültig sein. Dies liegt daran, dass Sie nur Werte von IEnumerable<T> erhalten können, so dass wir uns keine Sorgen um kleinere Typen machen müssen. Daher IEnumerable<T> ist covariant, und erklärt, wie:

IEnumerable<out T> 

Wo out bedeutet "covariant". (Die Schlüsselwörter ist eigentlich der beste Weg, sich daran zu erinnern, welche Art und Weise Werte in einer Variante Typ gehen.

Co-/Kontra ist ein ziemlich großes Thema, but this article does a good job of explaining the most important parts. Und wenn Sie mehr erfahren möchten, hat Eric Lippert eine 11-part blog post series über Eric ist einer der Sprachdesigner.