Question

受this question的启发我在Mono 2.10.9和Visual Studio 2010上尝试了以下代码：

public class Example
{
    public static void Main()
    {
        Foo(1);
    }

    public static void Foo( dynamic x )
    {
        Example.Bar(x);
    }

    static void Bar( dynamic x )
    {
        x++;
    }

    int count;
    void Bar( int x )
    {
        count++;
    }
}

如您所见，Foo是静态的，因此它只能访问静态Bar - 我明确地调用了静态版本！

我知道我无法声明static void Bar( int x )，因为存在非静态版本。

然而，将非静态Bar的参数类型更改为，比方说，字符串，可以使一切正常。

为什么？这里的规则是什么？是否可以调用静态方法？

也许这是单声道DLR问题？

编辑：澄清。我想知道什么规则将显式调用静态方法（至少我认为是明确的）转换为调用非静态方法？从静态环境来看，这显然是不可能的。

或者，如果没有这样的规则，它可以是错误吗？可以以某种方式避免这种行为吗？

Answer 1

关键语句是“我知道我无法声明静态void Bar（int x），因为存在非静态版本。”使用dynamic关键字会将重载决策延迟到运行时，但在运行时出现时，它不会使您免于该规则。

当最终发生重载解析时，DLR会评估所有可用选项，然后选择最佳选项。在此解析时间之前，动态类型的参数与类型对象的行为非常相似（请参阅here）。因此，通常采用int的更具体的方法将是overoad分辨率的赢家，因此选择采用动态/对象的方法。这意味着实例方法通常会获胜。 DLR知道具有相同签名的两种方法不能因静态而变化。在评估可用选项时，您期望它做的是“aha！在这种情况下，静态void Bar（动态x）可以解释为static void Bar（int x）”。但是，如果它确实这样说，那么将违反关于不具有其他相同的静态和非静态方法的规则。它的内部选项列表将包含静态和非静态Bar方法，两者都具有相同的签名。所以不能这么说。这留下了唯一的其他选项，恰好是实例方法。在这种情况下没有用，因此DLR会抛出RuntimeBinderException。如果将实例Bar的参数更改为int以外的其他值，则方法签名不会发生冲突，因此DLR可以将静态动态Bar解释为采用int并选择该重载。

Answer 2

    static void Bar( dynamic x )
    {
        x++;
    }

    int count;
    void Bar( int x )
    {
        count++;
    }

静态函数可以看作是（因此使用int类型参数调用静态方法将调用非静态，更合适的方法）：

    static void Bar( dynamic x )
    {
        if (x is Int)
           Bar(x); //Count++

        else
           x++;
    }

当存在非静态，更合适的方法时，如何使用动态参数调用静态方法？

2 个答案: