c# - 是否可以使用派生参数而不是基本参数来覆盖方法？

Question

我陷入了这种情况:

1. 我有一个名为 Ammo 的抽象类，其中有 AmmoBox 和 Clip 作为子类。
2. 我有一个名为 Weapon 的抽象类，Firearm 和 Melee 作为子类。
3. Firearm 是抽象的，ClipWeapon 和 ShellWeapon 作为子项。
4. 在 Firearm 里面，有一个 void Reload(Ammo ammo);

问题是，ClipWeapon 可以同时使用 Clip 和 AmmoBox 来装弹:

public override void Reload(Ammo ammo)
{
    if (ammo is Clip)
    {
        SwapClips(ammo as Clip);
    }
    else if (ammo is AmmoBox)
    {
        var ammoBox = ammo as AmmoBox;
        // AddBullets returns how many bullets has left from its parameter
        ammoBox.Set(clip.AddBullets(ammoBox.nBullets));
    }
}

但是一个ShellWeapon，只能用一个AmmoBox来装弹。我可以这样做:

public override void Reload(Ammo ammo)
{
    if (ammo is AmmoBox)
    {
        // reload...
    }
}

但这很糟糕，因为即使我正在检查以确保它是 AmmoBox 类型，从外面看，它看起来像一个 ShellWeapon 可以使用 Clip，因为 Clip 也是 Ammo。

或者，我可以从 Firearm 中删除 Reload，并将其同时放入 ClipWeapon 和 ShellWeapon 中params 我需要，但这样做我将失去多态性的好处，这不是我想要的。

如果我可以像这样在 ShellWeapon 中覆盖 Reload ，这不是最佳选择吗:

public override void Reload(AmmoBox ammoBox)
{
   // reload ... 
}

当然，我试过了，但没有用，我收到一个错误，说签名必须匹配或类似的东西，但这不应该是“逻辑上”有效的吗？因为 AmmoBox 是 Ammo 吗？

我应该如何解决这个问题？总的来说，我的设计是否正确？(请注意，我使用的是 IClipWeapon 和 IShellWeapon 接口(interface)，但我遇到了麻烦，所以我改为使用类)

提前致谢。

Answer 1

but shouldn't this be valid 'logically'?

没有。您的界面表明调用者可以传入任何 Ammo - 您将其限制为需要一个更具体的AmmoBox。

如果有人要写，你会期望发生什么:

Firearm firearm = new ShellWeapon();
firearm.Reload(new Ammo());

?那应该是完全有效的代码——所以你想让它在执行时爆炸吗？静态类型的一半意义在于避免此类问题。

您可以使 Firearm 在弹药类型中通用:

public abstract class Firearm<TAmmo> : Weapon where TAmmo : Ammo
{
    public abstract void Reload(TAmmo ammo);
}

然后:

public class ShellWeapon : Firearm<AmmoBox>

这可能是也可能不是有用的做事方式，但至少值得考虑。