关于C#反射 你需要知道的

检查泛型实例的泛型参数

前文提到了构造泛型和具象泛型，这里解释一下。大多时候我们所说的泛型都是指构造泛型，有时候也被称为具象泛型。比如 List<int> 就是一个构造泛型，因为它可以通过 new 来实例化。相应的，List<> 泛型是非构造泛型，有时候也被称为开放泛型，它不能被实例化。开放泛型通过反射可以转换为任意的具象泛型，这一点前文有示例。

假如现在有一个泛型实例，出于某种需求，我们想知道构建这个泛型实例需要用什么泛型参数。比如某人创建了一个 List<T> 泛型的实例，并把它作为参数传给了我们的一个方法：

var myList = newList<int>();
ShowGenericArguments(myList);

我们的方法签名是这样的：

public void ShowGenericArguments(object o)

这时，作为此方法的编写者，我们并不知道这个 o 对象具体是用什么类型的泛型参数构建的。通过反射，我们可以得到泛型实例的很多信息，其中最简单的就是判断一个类型是不是泛型：

public void ShowGenericArguments(object o)
{
  if (o == null) return;
  Type t =o.GetType();
  if (!t.IsGenericType) return;
  ...
}

由于 List<> 本身也是泛型，所以上面的判断不严谨，我们需要知道的是对象是不是一个构造泛型（List<int>）。而 Type 类还提供了一些有用的属性：

typeof(List<>).IsGenericType // true
typeof(List<>).IsGenericTypeDefinition // true
typeof(List<>).IsConstructedGenericType// false

typeof(List<int>).IsGenericType // true
typeof(List<int>).IsGenericTypeDefinition // false
typeof(List<int>).IsConstructedGenericType// true

IsConstructedGenericType 和 IsGenericTypeDefinition 分别用来判断某个泛型是不是构造泛型和非构造泛型。

再结合 Type 的 GetGenericArguments() 方法，就可以很容易地知道某个泛型实例是用什么泛型参数构建的了，例如：

static void ShowGenericArguments(object o)
{
  if (o == null) return;
  Type t = o.GetType();
  if (!t.IsConstructedGenericType) return;
  foreach (Type genericTypeArgument in t.GetGenericArguments())
    Console.WriteLine(genericTypeArgument.Name);
}

以上就是深入了解C#之反射的详细内容，更多关于c# 反射的资料请关注易采站长站其它相关文章！