Получение списка Наследование типов не работает для всех типов

Question

я написал небольшой метод список унаследованных типов, но он не работает с TreeNode, например:

Пусть это классы:

class B { } 
class A : B { } 
class C :TreeNode { } 

И потом:

GetInheritedTypes(typeof(A)); //typeof(B) 
GetInheritedTypes(typeof(C)); // 0 items 

Способ перечислить их:

List<Type> GetInheritedTypes(Type baseType) 
{ 
    return Assembly.GetAssembly(baseType) 
        .GetTypes() 
        .Where(type => type != baseType && type.IsAssignableFrom(baseType)) 
        .ToList(); 
} 

Почему GetInheritedTypes(typeof(C)) возвращает 0 штук вместо Typeof(TreeNode)?

Answer 1

Почему GetInheritedTypes (typeof (C)) возвращает 0 элементов вместо Typeof (TreeNode)?

Потому что TreeNode нет в той же сборке, что и C. Ваш запрос «из всех типов в той же сборке, что и C, дает мне те, которые C присваивается».

Я подозреваю, однако, что фактическая проблема заключается в:

Как перечислить все базовые типы данного типа?

Вы делаете не сделать поиск по всем типам в сборке и проверить, какие из них являются назначаемыми. Это похоже на попытку выяснить, кто твоя мама, спрашивая каждого человека в вашем городе: «Ты мать Джека?» вместо того, чтобы спросить Джека «кто твоя мама?».

Нечто подобное было бы намного лучше:

public static IEnumerable<Type> BaseTypes(this Type type) 
{ 
    if (type == null) throw new ArgumentNullException("type"); 
    Type baseType = type; 
    while(true) 
    { 
     baseType = baseType.BaseType; 
     if (baseType == null) 
      break; 
     yield return baseType; 
    } 
} 

Комментатор спрашивает

что, если вы хотите, чтобы получить все реализованные интерфейсы?

Звоните GetInterfaces() на тип объекта.

(ранняя версия этого поста предложил получать транзитивное замыкание интерфейсов, я совсем забыл, что GetInterfaces уже делает это.)

Как еще был мой исходный код сломана?

Ну, предположим, например, у вас есть тип

class D<T> {} 

и класс

class E : D<int> {} 

Теперь вы спросите «дали E, перечислить все типы X в сборке, так что значение типа E может быть присвоено переменной типа X ". Ну, D<T> находится в сборке; есть D<T> такой тип? №. E присваивается переменной типа D<int>, а не переменной типа D<T>.

Отношение «присваиваемые» и отношения «наследует от» имеют довольно много перекрытий, но они совсем не относятся к отношениям, поэтому не делайте вид, что они есть.

Answer 2

Вы только перечисляете классы в пределах той же сборки, что и C, и предположительно TreeNode находится в другой сборке.