Dlaczego kowariancji nie działa metoda rodzajowa

Question

Przyjmijmy, mam interfejs i klasa:

public interface ITree {} 
public class Tree : ITree {} 

Jak IEnumerable<T> jest kowariantna linia kodu poniżej jest skompilowany z powodzeniem:

IEnumerable<ITree> trees = new List<Tree>(); 

ale kiedy umieść go w ogólnej metodzie:

public void Do<T>() where T : ITree 
{ 
    IEnumerable<ITree> trees = new List<T>(); 
} 

I skompilowany błąd z kompilatora:

Błąd 1 Nie można niejawnie przekonwertować typu "System.Collections.Generic.List" na "System.Collections.Generic.IEnumerable". Wyraźne konwersji istnieje (czy brakuje obsady?) D: \ lab \ Lab.General \ Lab.General \ Program.cs 83 40 Lab.General

Dlaczego kowariancji nie działa w tym przypadku?

Answer 1

Dzieje się tak, ponieważ wariancja działa tylko z typami odniesienia (klasy, interfejsy & delegatów). Dodaj ograniczenie klasy i kompiluje dobrze:

public static void Do<T>() where T : class, ITree