Понимание этой функции, которая возвращает объект типа

Question

Я получил классный метод here, чтобы проверить, получен ли тип от другого. Пока я был рефакторинг кода, я получил этот кусок GetBlah.

public static bool IsOf(this Type child, Type parent) 
{ 
    var currentChild = child.GetBlah(parent); 

    while (currentChild != typeof(object)) 
    { 
     if (parent == currentChild) 
      return true; 

     if(currentChild.GetInterfaces().Any(i => i.GetBlah(parent) == parent)) 
      return true; 

     if (currentChild.BaseType == null) 
      return false; 

     currentChild = currentChild.BaseType.GetBlah(parent); 
    } 

    return false; 
} 

static Type GetBlah(this Type child, Type parent) 
{ 
    return child.IsGenericType && parent.IsGenericTypeDefinition 
     ? child.GetGenericTypeDefinition() 
     : child; 
} 

У меня возникли проблемы с пониманием того, что делает GetBlah и, следовательно, не может дать ему имя. Я имею в виду, что могу понять тернарное выражение как таковое и функцию GetGenericTypeDefinition, но я, похоже, не получаю его использования в методе IsOf, особенно аргумент parent, который передается. Может ли кто-нибудь выяснить, что на самом деле возвращает метод GetBlah?

Bonus: Предложите мне меткое имя метода :)

Answer 1

Универсальные типы, как List<int> или List<string>. Все они используют однотипное определение типа: List<>.

IsGenericType вернет true это тип общего типа. Если тип является типичным определением типа, то IsGenericTypeDefinition должен возвращать значение true. Функция GetGenericTypeDefinition вернет определение типового типа общего типа.

Так что, если вы могли бы сделать:

typeof(List<int>).GetGenericTypeDefinition(); 

Вы получите typeof(List<>).

До сих пор теория!

Если вы проанализируете свой код правильно, оно вернет значение true для child происходит от parent. Так что я сделал небольшой перечень которых сочетание типа должен возвращать true (на мой взгляд):

A: int, IComparable<int> 
B: int, ValueType 
C: int, object 
D: List<int>, IList<int> 
E: List<int>, IEnumerable<int> 
F: List<int>, object 

G: List<int>, List<> 
H: List<int>, IList<> 
I: List<>, IList<> 
J: List<>, object 

Данный код не в одной точке: Каждый раз, когда parent имеет тип object, возвращается ложь. Это легко решается путем изменения While-условие в:

while (currentChild != null) 

Теперь к вашему Blah -функции. Что такое проверка, является ли родительское определение общего типа. Никакой класс «нормальный» (общий или нет) может быть получен из определения общего типа. Только определение общего типа может быть получено из другого определения общего типа. Поэтому, чтобы позволить случаю G и H стать истинным, необходимо сделать специальное преобразование. Если родительский тип является определением общего типа И когда ребенок может быть преобразован в определение общего типа, тогда ребенок будет преобразован в определение своего общего типа.

Это все, что он делает.

Так идеальное имя для вас функция может быть: ConvertChildToGenericTypeDefinitionIfParentIsAGenericTypeDefinitionAndTheChildIsAGenericType(...)

:)