方法重载：对派生类参数重载的漏斗调用

Question

好的，我正在尝试执行以下操作：

        protected bool ValidAdvert(Base item)
        {
            throw ThisIsAnAbstractClassException();
        }

        protected bool ValidAdvert(Derived1 item)
        {
            return ADerived1SpecificPredicate;
        }

        protected bool ValidAdvert(Derived2 item)
        {
            return ADerived2SpecificPredicate;
        }    

并在将基类传递给方法时调用该方法的派生类版本。基类是抽象的，所以理论上这应该是可能的？

在有人说在类本身上重载方法之前，方法内部的逻辑依赖于大量不同的条件，这些条件都没有关系，也没有直接与 Base/Derived 类相关（例如如登录状态等）

Answer 1

如果你觉得双重分派过于侵入，你可以通过反射调用方法并动态解决适当的重载。

protected bool ValidAdvert(Base item)
{
    if (item.GetType() == typeof(Base))
        throw new ThisIsAnAbstractClassException();

    Type type = typeof(CurrentClass);

    MethodInfo method = type.GetMethod("ValidAdvert",
                                       BindingFlags.Instance | BindingFlags.NonPublic,
                                       null,
                                       new Type[] { item.GetType() },
                                       null);
    return (bool)method.Invoke(this, new object[] { item });
}

protected bool ValidAdvert(Derived1 item)
{
    return ADerived1SpecificPredicate;
}

protected bool ValidAdvert(Derived2 item)
{
    return ADerived2SpecificPredicate;
}

这种模式称为MultipleDispatch，虽然通过反射调用方法比直接调用方法慢（如果方法每秒调用少于几百次也不会产生开销），它的好处是不需要像 Double Dispatch 模式那样修改你的类层次结构。

当 c# 4.0 出现动态关键字时，这将变得更加容易：

protected bool ValidAdvert(Base item)
{
    if (item.GetType() == typeof(Base))
        throw new ThisIsAnAbstractClassException();

    dynamic dynamicThis = this;

    return (bool)dynamicThis.ValidAdvert(item as dynamic);
}

Answer 2

使用double dispatch的完美场所：

class Base
{
    public abstract bool IsValid(IAdvertValidator validator);
}

class Derived1 : Base
{
    public bool IsValid(IAdvertValidator validator)
    {
        return validator.ValidAdvert(this);
    }
}

class Derived2 : Base
{
    public bool IsValid(IAdvertValidator validator)
    {
        return validator.ValidAdvert(this);
    }
}

interface IAdvertValidator
{
    bool ValidAdvert(Derived1 d1);
    bool ValidAdvert(Derived2 d2);
}

Answer 3

我不确定您将如何拥有一个实际上不是派生类实例的基类实例。由于基类是抽象的，因此无法实例化。我想它会匹配任何没有特定签名的派生类，但这似乎不是你想要的。