未解析动态泛型类型的方法

Question

我有这些类型：

public class GenericDao<T>
{
    public T Save(T t)
    {            
        return t;
    }
}

public abstract class DomainObject {
    // Some properties

    protected abstract dynamic Dao { get; }

    public virtual void Save() {
        var dao = Dao;
        dao.Save(this);
    }
}

public class Attachment : DomainObject
{
    protected dynamic Dao { get { return new GenericDao<Attachment>(); } }
}

然后，当我运行此代码时，它会失败并出现 RuntimeBinderException: Best Heavyed method match for 'GenericDAO.Save(Attachment)' has some invalid argument

var obj = new Attachment() { /* set properties */ };
obj.Save();

我已经在 DomainObject.Save() "this" 中验证了这一点绝对是附件，因此该错误实际上没有意义。任何人都可以阐明为什么该方法无法解决吗？

更多信息 - 如果我将 DomainObject.Save() 的内容更改为使用反射，它就会成功：

public virtual void Save() {
    var dao = Dao;
    var type = dao.GetType();
    var save = ((Type)type).GetMethod("Save");
    save.Invoke(dao, new []{this});
}

Answer 1

问题在于动态方法调用的某些方面是在编译时解决的。这是设计使然。从语言规范（强调我的）：

7.2.3 构成表达式的类型

当操作静态绑定时，
组成表达式的类型
（例如接收者、参数、
索引或操作数）总是
被认为是编译时类型
那个表达的。当进行手术时
是动态绑定的，a 的类型
成分表达被确定
根据不同的情况以不同的方式
成分的编译时类型
表达式：

• 组成表达式
编译时类型的dynamic是
被认为具有以下类型
表达式的实际值
在运行时计算为

• A
其组成表达式
编译时类型是类型参数
被认为具有以下类型
类型参数绑定到 at
运行时

• 否则组成部分
表达式被认为有其
编译时类型。

这里，组成表达式 this 具有编译时类型 DomainObject （简化：源代码位于泛型中类型，因此我们应该如何“查看”this 的编译时类型变得复杂，但希望我的意思能够被理解），并且由于 this 不是动态类型或类型参数， 其类型被视为其编译时类型。

因此，绑定器会寻找一个方法 Save，该方法采用 DomainObject 类型的单个参数（或者向该方法传递 类型的对象是合法的）编译时的 DomainObject）。

如果绑定发生在编译时，它看起来有点像这样：

// Extra casts added to highlight the error at the correct location. 
// (This isn't *exactly* what happens.)
DomainObject<int> o = (DomainObject<int>) (object)this;
GenericDao<Attachment> dao = (GenericDao<Attachment>)Dao;

// Compile-time error here. 
// A cast is attempted from DomainObject<int> -> Attachment.
dao.Save(o);

但这行不通，因为 GenericDao 上唯一值得关注的候选方法是Attachment Save(Attachment)，并且对于此方法，不存在从参数类型 (DomainObject) 到参数类型 (附件）。

因此，我们得到了编译时错误：

The best overloaded method match for 'GenericDao<Attachment>.Save(Attachment)' has some invalid arguments
Argument 1: cannot convert from 'DomainObject<int>' to 'Attachment'

this 是延迟到 dynamic 版本运行时的错误。反射不存在同样的问题，因为它不会尝试在编译时提取有关方法调用的“部分”信息，这与动态版本不同。

幸运的是，解决方法很简单，推迟对成分表达式类型的求值：

dao.Save((dynamic)this);

这使我们进入选项 1（编译时类型dynamic）。 成分表达式的类型被推迟到运行时，这有助于我们绑定到正确的方法。那么静态绑定的等效代码类似于：

// Extra casts added to get this to compile from a generic type
Attachment o = (Attachment)(object)this;
GenericDao<Attachment> dao  = (GenericDao<Attachment>)Dao;

// No problem, the Save method on GenericDao<Attachment> 
// takes a single parameter of type Attachment.
dao.Save(o); 

应该可以正常工作。

Answer 2

阿尼的回答很好；阿尼要求我自行决定添加一些额外的解释性文字，所以就这样吧。

基本上，这里发生的是动态调用，其中一些参数不是动态的，导致动态分析遵循已知的编译时信息。如果没有例子，这可能还不清楚。考虑以下重载：

static void M(Animal x, Animal y) {}
static void M(Animal x, Tiger y) {}
static void M(Giraffe x, Tiger y) {}
...
dynamic ddd = new Tiger();
Animal aaa = new Giraffe();
M(aaa, ddd);

会发生什么？我们必须进行动态调用，因此 ddd 的运行时类型用于进行重载决策。但 aaa 不是动态的，因此它的编译时类型用于进行重载决策。在运行时，分析器尝试解决这个问题：

M((Animal)aaa, (Tiger)ddd);

并选择第二重载。它没有说“好吧，在运行时 aaa 是 Giraffe，因此我应该解决问题：

M((Giraffe)aaa, (Tiger)ddd);

并选择第三个重载。

同样的事情也发生在这里。当你说

dao.Save(this)

dao 的编译时类型是“动态”时，但是“this”的编译时类型不是。因此，在运行时解决重载解析问题时，我们使用“dao”的运行时类型，但编译器会为此给出错误。类型的组合，因此运行时绑定器也是如此。请记住，运行时绑定器的工作是告诉您如果编译器拥有有关标记为“动态”的所有内容的所有可用信息，它会说什么。运行时绑定器的工作不是改变 C# 的语义以使 C# 成为动态类型语言。

Answer 3

这里已经有很好的答案了。我遇到了同样的问题。你说得对，反思确实有效。因为您通过调用 GetType() 来指定类型，该类型会在运行时解析。

var method = ((object)this).GetType().GetMethod("Apply", new Type[] { @event.GetType() }); //Find the right method
            method.Invoke(this, new object[] { @event }); //invoke with the event as argument

或者我们可以使用动力学，如下所示

    dynamic d = this;
    dynamic e = @event;
    d.Apply(e);

所以在你的情况下

public abstract class DomainObject {
    // Some properties

    protected abstract dynamic Dao { get; }

    public virtual void Save() {
        var dao = Dao;
        dynamic d = this; //Forces type for Save() to be resolved at runtime
        dao.Save(d);
    }
}

这应该可行。

Answer 4

代码很混乱。我在这里看到两种可能的选择。

Dao 实际上是 GenericDao 的父级，因为否则您的 getter 类型不匹配：

public class Dao 
{
    void Save();
}

public class GenericDao<T> : Dao
{
    public virtual T Save(T) {...}
}

// error here because GenericDao does not implement Dao.
protected dynamic Dao { get { return new GenericDAO<Attachment>(); } }

或者，Dao 可能是 GenericDAO 的子级。但在这种情况下，吸气剂也不正确，而且情况实际上更糟。

所以最重要的是你的类/接口层次结构有问题。请澄清，我将相应地更新我的答案。