c# - "Uncurrying".NET 中的实例方法

Question

是否可以在创建时不指定实例来创建实例方法的委托(delegate)？换句话说，您能否创建一个“静态”委托(delegate)，将调用该方法的实例作为第一个参数？

例如，如何使用反射构造以下委托(delegate)？

Func<int, string> = i=>i.ToString();

我知道我可以使用 methodInfo.Invoke，但这速度较慢，并且在调用它之前不会检查类型正确性。

当您拥有特定静态 方法的MethodInfo 时，可以使用Delegate.CreateDelegate(delegateType, methodInfo) 构造委托(delegate)>，并且静态方法的所有参数都保持自由。

正如 Jon Skeet 所指出的，如果方法在引用类型上是非虚拟的，您可以简单地应用相同的方法来创建实例方法的开放委托(delegate)。决定在虚方法上调用哪个方法很棘手，所以这不是那么微不足道，而且值类型看起来根本不起作用。

对于值类型，CreateDelegate 表现出非常奇怪的行为:

var func37 = (Func<CultureInfo,string>)(37.ToString);
var toStringMethod = typeof(int).GetMethod("ToString", BindingFlags.Instance | BindingFlags.Public, null, new Type[] {typeof(CultureInfo) }, null);
var func42 = (Func<CultureInfo,string>)Delegate.CreateDelegate(typeof(Func<CultureInfo,string>), 42, toStringMethod,true);
Console.WriteLine( object.ReferenceEquals(func37.Method,func42.Method)); //true
Console.WriteLine(func37.Target);//37
Console.WriteLine(func42.Target);//42
Console.WriteLine(func37(CultureInfo.InvariantCulture));//37
Console.WriteLine(func42(CultureInfo.InvariantCulture));//-201040128... WTF?

如果实例方法属于值类型(这适用于引用类型)，则使用 null 作为目标对象调用 CreateDelegate 会抛出绑定(bind)异常。

几年后的一些跟进导致 func42(CultureInfo.InvariantCulture); 返回 "-201040128" 的错误绑定(bind)目标> 而不是 "42" 在我的例子中是内存损坏，可能允许远程代码执行 ( cve-2010-1898 );这已于 2010 年在 ms10-060 中修复安全更新。当前框架正确打印 42!这并没有使回答这个问题变得更容易，但解释了示例中特别奇怪的行为。

Answer 1

您实际上选择了一个特别棘手的示例，原因有二:

• ToString() 是一个从 object 继承的虚方法，但在 Int32 中被覆盖。
• int 是一个值类型，当涉及到值类型和实例方法时，Delegate.CreateDelegate() 有一些奇怪的规则 - 基本上第一个有效参数变成ref int 而不是 int

但是，这里有一个 String.ToUpper 的例子，它没有这些问题:

using System;
using System.Reflection;

class Test
{
    static void Main()
    {
        MethodInfo method = typeof(string).GetMethod
            ("ToUpper", BindingFlags.Instance | BindingFlags.Public,
             null, new Type[]{}, null);

        Func<string, string> func = (Func<string, string>)
            Delegate.CreateDelegate(typeof(Func<string, string>),
                                    null,
                                    method);

        string x = func("hello");

        Console.WriteLine(x);
    }
}

如果这对你来说足够好，太好了......如果你真的想要 int.ToString，我将不得不更加努力地尝试 :)

这是一个值类型的例子，使用了一个新的委托(delegate)类型，它通过引用获取第一个参数:

using System;
using System.Reflection;

public struct Foo
{
    readonly string value;

    public Foo(string value)
    {
        this.value = value;
    }

    public string DemoMethod()
    {
        return value;
    }
}

class Test
{
    delegate TResult RefFunc<TArg, TResult>(ref TArg arg);

    static void Main()
    {
        MethodInfo method = typeof(Foo).GetMethod
            ("DemoMethod", BindingFlags.Instance | BindingFlags.Public,
             null, new Type[]{}, null);
        RefFunc<Foo, string> func = (RefFunc<Foo, string>)
            Delegate.CreateDelegate(typeof(RefFunc<Foo, string>),
                                    null,
                                    method);

        Foo y = new Foo("hello");
        string x = func(ref y);

        Console.WriteLine(x);
    }
}