Dlaczego VS ostrzega mnie, że typeof (T) nigdy nie jest typem podanym w ogólnej metodzie, w której parametr typu jest ograniczony do implementacji T?

Question

Mam nadzieję, że pytanie jest poprawne, przedstawmy więc przykład. Wyobraźmy sobie następującą metodę Generic:

public abstract class Base : IDisposable 
{ 
    public static IEnumerable<T> GetList<T>() 
     where T : Base 
    { 
     // To ensure T inherits from Base. 
     if (typeof(T) is Base) 
      throw new NotSupportedException(); 

     // ... 
    } 
} 

Według MSDN słowo kluczowe where ogranicza parametr typu T być typu Base lub dziedziczą z tej klasy.

[...] A gdzie punkt może zawierać wiązanie klasy bazowej, w którym stwierdza się, że muszą mieć do określonej klasy jako klasa podstawy (albo być tego samego klasy) w celu użycia jako typ argument dla tego rodzaju generycznego.

Również ten kod nie kompilacji:

public static T GetFirst() 
    where T : Base 
{ 
    // Call GetList explicitly using Base as type parameter. 
    return (T)GetList<Base>().First(); 
} 

więc kiedy po ostatnim Kod typeof(T) powinien powrócić Base, nie powinna? Dlaczego program Visual Studio drukuje to ostrzeżenie?

ostrzeżenie CS0184: Podane wyrażenie nigdy nie należy do podanego typu ("Demo.Base").

Answer 1

typeof(whatever) zawsze zwraca wystąpienie typu Type. Type nie pochodzi od Base.

Co chcesz to:

if(typeof(T) == typeof(Base)) 
    throw new NotSupportedException("Please specify a type derived from Base"); 

Coś, co wygląda to tak samo jest taka:

if(variableOfTypeT is Base) 

Ale to ma inne znaczenie.
Pierwsza instrukcja (z typeof(Base)) to tylko true, jeśli T jest Base. Będzie to false dla każdego typu pochodzącego z Base.
Drugie wyrażenie (variableOfTypeT is Base) jest zawsze true w klasie, ponieważ każda klasa pochodząca od Base zwróci true dla sprawdzenia swojej klasy bazowej.

Answer 2

To nie jest sposób sprawdzania dziedziczenia.

typeof(T) jest typu System.Type, to nie jest Base. Aby sprawdzić, czy T pochodzi z bazy, należy użyć wartości IsSubclassOf method, takiej jak ta:

if(typeof(T).IsSubclassOf(typeof(Base)) ...