这是动态的错误吗？

Question

当在泛型类上使用 dynamic 实现动态分派时，并且泛型类型参数是另一个类上的私有内部类，运行时绑定器会引发异常。

例如：

using System;

public abstract class Dispatcher<T> {
    public T Call(object foo) { return CallDispatch((dynamic)foo); }

    protected abstract T CallDispatch(int foo);
    protected abstract T CallDispatch(string foo);
}

public class Program {
    public static void Main() {
        TypeFinder d = new TypeFinder();

        Console.WriteLine(d.Call(0));
        Console.WriteLine(d.Call(""));
    }

    private class TypeFinder : Dispatcher<CallType> {
        protected override CallType CallDispatch(int foo) {
            return CallType.Int;
        }

        protected override CallType CallDispatch(string foo) {
            return CallType.String;
        }
    }

    private enum CallType { Int, String }
}

这里，将抛出一个 RuntimeBinderException 消息

“Dispatcher.CallDispatch(int)”由于其保护级别而无法访问

无法访问的原因是类型参数 T 是私有 CallType，其中 DispatcherT> 无法访问。因此，CallDispatch 一定是不可访问的 - 但事实并非如此，因为它可以作为 T 访问。

这是 dynamic 的错误，还是不应该支持？

Answer 1

这是一个错误。如果您可以静态地进行调用（并且您可以），那么您应该能够动态地进行调用。

具体来说，以下代码有效：

using System;

public abstract class Dispatcher<T> {
    public T Call(object foo)
    {
        return CallDispatch(((object)(dynamic)foo).ToString());
    }

    protected abstract T CallDispatch(int foo);
    protected abstract T CallDispatch(string foo);
}

public class Program {
    public static void Main() {
        TypeFinder d = new TypeFinder();

        Console.WriteLine(d.Call(0));
        Console.WriteLine(d.Call(""));
    }

    private class TypeFinder : Dispatcher<CallType> {
        protected override CallType CallDispatch(int foo) {
            return CallType.Int;
        }

        protected override CallType CallDispatch(string foo) {
            return CallType.String;
        }
    }

    private enum CallType { Int, String }
}

请注意，我已使用 ToString() 来使静态类型已知，C# 编译器和 CLR 允许此上下文访问私有类型 CallType >，所以 DLR 也应该允许它。

Answer 2

这是一个错误，因为以下静态类型更改应该是等效的

using System;

public abstract class Dispatcher<T>
{
    public T Call(int foo) { return CallDispatch(foo); }
    public T Call(string foo) { return CallDispatch(foo); }

    protected abstract T CallDispatch(int foo);
    protected abstract T CallDispatch(string foo);
}

并且它可以工作。

这个问题似乎是编译器和它发出的 dlr 调用以及编译器在调用中包含的静态信息的问题。可以通过手动设置 dlr 调用的开源框架 ImpromptuInterface 来解决这个问题。使用 Impromptu，通过将上下文设置为 this，它可以从运行时类型（即 TypeFinder）获取访问权限。

using System;
using ImpromptuInterface.Dynamic;
public abstract class Dispatcher<T>
{
    protected CacheableInvocation _cachedDynamicInvoke;

    protected Dispatcher()
    {
        _cachedDynamicInvoke= new CacheableInvocation(InvocationKind.InvokeMember, "CallDispatch", argCount: 1, context: this);
    }

    public T Call(object foo)
    {
        return (T) _cachedDynamicInvoke.Invoke(this, foo);
    }

    protected abstract T CallDispatch(int foo);
    protected abstract T CallDispatch(string foo);
}