"Uncurrying".NET中的实例方法

Question

您是否可以创建实例方法的委托而无需在创建时指定实例？换句话说,你可以创建一个"静态"委托,它应该调用该方法的实例作为它的第一个参数吗？

例如,如何使用反射构造以下委托？

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

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

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

正如Jon Skeet指出的那样,如果方法在引用类型上是非虚拟的,则可以简单地应用相同的方法来创建实例方法的开放委托.决定在虚拟方法上调用哪个方法很棘手,因此不是那么简单,值类型看起来根本不起作用.

对于价值类型,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?

如果实例方法属于值类型(这适用于引用类型),则CreateDelegate使用null作为目标对象调用将引发绑定异常.

几年之后的一些后续行动:导致func42(CultureInfo.InvariantCulture);返回"-201040128"而不是"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,我将不得不尝试一下:)

以下是值类型的示例,使用新的委托类型,该类型通过引用获取其第一个参数:

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);
    }
}