理解这个返回 Type 对象的函数

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 方法实际上返回了什么吗？

奖励：建议我为该方法取一个恰当的名称:)

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 时，都会返回false。这很容易通过将您的 while 条件修改为：

while (currentChild != null)

现在转到您的Blah-函数。所做的是检查父级是否是泛型类型定义。没有“普通”类（泛型或非泛型）可以从泛型类型定义派生。只有泛型类型定义可以派生自另一个泛型类型定义。因此，为了让案例 G 和 H 为真，必须进行特殊的转换。如果父级是泛型类型定义并且当子级可以转换为泛型类型定义时，则子级将转换为其泛型类型定义。

这就是它的全部作用。

因此，函数的完美名称可能是：ConvertChildToGenericTypeDefinitionIfParentIsAGenericTypeDefinitionAndTheChildIsAGenericType(...)

:)