使用反射区分重载方法的泛型和非泛型版本

Question

我在使用反射来区分泛型类的非泛型和泛型方法时遇到了一些麻烦。 这是我正在使用的测试用例：

public class Foo<T>
{
  public string Bar( T value ) { return "Called Bar(T)"; }

  public string Bar( int value ) { return "Called Bar(int)"; }

  public static void CallBar<TR>(Foo<TR> foo)
  {
      var fooInfo = foo.GetType()
         .GetMethods()
         .Where(x => !x.IsGenericMethod && // doesn't filter out Bar(T)!
                 x.Name == "Bar" &&
                 x.GetParameters().First().ParameterType == typeof(int))
         // !Two identical MethodInfo results, how to choose between them?
         // Is there a gauranteed canonical ordering? Or is it undefined?
         .First();

      Console.WriteLine(fooInfo.Invoke(foo, new object[]{ 0 }));
  }
}

// prints Bar(T)...
Foo<int>.CallBar( new Foo<int>() );

Answer 1

遗憾的是，System.Reflection没有提供一种很好的方法来将构造类型的方法与构造它的泛型类型定义上的相应方法相关联。 我知道有两种解决方案，一种都不完美：

解决方案＃1：静态TypeBuilder.GetMethod。 TypeBuilder上有一个静态版本的GetMethod，它接受泛型类型定义的方法的泛型构造类型和MethodInfo，并返回指定泛型类型的相应方法。 在这个例子中，调用TypeBuilder.GetMethod(Foo<int>, Foo<T>.Bar(T))将为您提供Foo<int>.Bar(T-as-int) ，然后您可以使用它来消除它与它之间的歧义。 Foo<int>.Bar(int) 。

（上面的例子自然不会编译;我使用Foo<int>和Foo<T>.Bar(T)来表示相应的Type和MethodInfo对象，这些对象很容易获得，但会使示例过于复杂） 。

坏消息是，只有在泛型类型定义是TypeBuilder时才会起作用，即当您发出泛型类型时。

解决方案＃2：MetadataToken。 一个鲜为人知的事实是类型成员在从泛型类型定义到泛型构造类型的过渡中保留其MetadataToken。 因此在您的示例中， Foo<T>.Bar(T)和Foo<int>.Bar(T-as-int)应该共享相同的MetadataToken。 那将允许你这样做：

var barWithGenericParameterInfo = typeof(Foo<>).GetMethods()
   .Where(mi => mi.Name == "Bar" && 
          mi.GetParameters()[0].ParameterType.IsGenericParameter);

var mappedBarInfo = foo.GetType().GetMethods()
    .Where(mi => mi.MetadataToken == genericBarInfo.MetadataToken);

（这也不会编译，除非我非常幸运并设法在第一次就把它弄好:)）

这个解决方案的问题在于MetadataToken并不是为了那个（可能;文档有点吝啬）并且感觉就像一个肮脏的黑客。 不过，它有效。

Answer 2

使用Foo <int>时，Bar（T）方法的类型为Bar（int），它与定义为参数的int的方法没有区别。

要获得Bar（T）的正确方法定义，可以使用typeof（Foo <>）而不是typeof（Foo <int>）。

这将使您能够分辨出两者之间的区别。 请尝试以下代码：

    public static void CallBar<TR>(Foo<TR> foo)
    {
        Func<MethodInfo, bool> match = m => m.Name == "Bar";

        Type fooType = typeof(Foo<>);
        Console.WriteLine("{0}:", fooType);
        MethodInfo[] methods = fooType.GetMethods().Where(match).ToArray();

        foreach (MethodInfo mi in methods)
        {
            Console.WriteLine(mi);
        }

        Console.WriteLine();

        fooType = foo.GetType();
        Console.WriteLine("{0}:", fooType);
        methods = fooType.GetMethods().Where(match).ToArray();

        foreach (MethodInfo mi in methods)
        {
            Console.WriteLine(mi);
        }
    }

这将输出：

System.String Bar（T）
System.String Bar（Int32）

System.String Bar（Int32）
System.String Bar（Int32）

Answer 3

尝试查看泛型类型定义：typeof（Foo <>）。 方法将按相同的顺序排列。

  public class Foo<T> {
    public string Bar(T value) { return "Called Bar(T)"; }
    public string Bar(int value) { return "Called Bar(int)"; }
    public static void CallBar<TR>(Foo<TR> foo) {

      var footinfo = typeof(Foo<>).GetMethods();
      int i;
      for (i = 0; i < footinfo.Count(); ++i) {
        if (footinfo[i].Name == "Bar" && footinfo[i].GetParameters()[0].ParameterType.IsGenericParameter == false)
          break;
      }

      Console.WriteLine(foo.GetType().GetMethods()[i].Invoke(foo, new object[] { 0 }));
    }
  }
  // prints Bar(int)...
  Foo<int>.CallBar( new Foo<int>() );

ContainsGenericParameters属性对于Foo <>中的两个Bar都是true，对于Foo中的两个Bar都是false，所以它没用。

Answer 4

根据文档，我认为ContainsGenericParameters是你正在寻找的东西：

http://msdn.microsoft.com/en-us/library/system.reflection.methodinfo.isgenericmethod.aspx http://msdn.microsoft.com/en-us/library/system.reflection.methodinfo.containsgenericparameters.aspx

Answer 5

正如Eric Lippert指出的那样，它们都不是通用方法; 您的类是通用的，但您传递的是该类的非泛型实例。 因此，这些方法不像反射那样通用。

如果你改变，你应该走在正确的轨道上

foo.GetType()

至

foo.GetGenericTypeDefinition()

有关详细信息，请参阅MSDN的文档 。