是否有可能重寫與推導出的參數，而不是一個基地之一的方法？

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與我所需要的具體參數，可以但這樣做我會失去多態性的好處，這不是我想要的。

豈不是最佳的，如果我能覆蓋Reload內ShellWeapon這樣的：

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

當然，我試了一下，並沒有工作，我得到了一個錯誤說的簽名必須匹配或什麼的，但不應該這是'邏輯'有效嗎？因爲AmmoBox是Ammo？

我應該如何解決這個問題？一般來說，我的設計是否正確？ （注意我使用的接口是IClipWeapon和IShellWeapon但我遇到了麻煩，所以我轉而使用類代替）

在此先感謝。

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> 

，可能會或可能不會做事情的有效方式，但它的至少值得考慮。

Answer 2

我認爲，檢查通過Ammo是否是有效的類型是完全正確的。類似的情況是，當函數接受Stream時，但在內部檢查它是可尋址還是可寫 - 取決於它的要求。

Answer 3

您正在摔角的問題來自需要根據彈藥和的運行時類型調用不同的實現。實質上，重新加載的動作對於兩個而不是一個對象來說應該是「虛擬的」。這個問題被稱爲double dispatch。

一種方法來解決它會創建一個訪問者樣結構：

abstract class Ammo { 
    public virtual void AddToShellWeapon(ShellWeapon weapon) { 
     throw new ApplicationException("Ammo cannot be added to shell weapon."); 
    } 
    public virtual void AddToClipWeapon(ClipWeapon weapon) { 
     throw new ApplicationException("Ammo cannot be added to clip weapon."); 
    } 
} 
class AmmoBox : Ammo { 
    public override void AddToShellWeapon(ShellWeapon weapon) { 
     ... 
    } 
    public override void AddToClipWeapon(ClipWeapon weapon) { 
     ... 
    } 
} 
class Clip : Ammo { 
    public override void AddToClipWeapon(ClipWeapon weapon) { 
     ... 
    } 
} 
abstract class Weapon { 
    public abstract void Reload(Ammo ammo); 
} 
class ShellWeapon : Weapon { 
    public void Reload(Ammo ammo) { 
     ammo.AddToShellWeapon(this); 
    } 
} 
class ClipWeapon : Weapon { 
    public void Reload(Ammo ammo) { 
     ammo.AddToClipWeapon(this); 
    } 
} 

「神奇」發生在的武器子類Reload的實現：而不是決定什麼樣的彈藥，他們得到的，他們讓彈藥本身做雙重調度的「第二回合」，並且調用任何適當的方法，因爲他們的AddTo...Weapon方法知道它們自己的類型以及它們被重新加載到的武器的類型。

Answer 4

您可以使用接口擴展組成，而不是多重繼承：

class Ammo {} 
class Clip : Ammo {} 
class AmmoBox : Ammo {} 

class Firearm {} 
interface IClipReloadable {} 
interface IAmmoBoxReloadable {} 

class ClipWeapon : Firearm, IClipReloadable, IAmmoBoxReloadable {} 
class AmmoBoxWeapon : Firearm, IAmmoBoxReloadable {} 

static class IClipReloadExtension { 
    public static void Reload(this IClipReloadable firearm, Clip ammo) {} 
} 

static class IAmmoBoxReloadExtension { 
    public static void Reload(this IAmmoBoxReloadable firearm, AmmoBox ammo) {} 
} 

所以，你將不得不重新加載（）方法的夾子與AmmoBox在ClipWeapon參數，只有1重載的2所定義（）方法在AmmoBoxWeapon類中使用AmmoBox參數。

var ammoBox = new AmmoBox(); 
var clip = new Clip(); 

var clipWeapon = new ClipWeapon(); 
clipWeapon.Reload(ammoBox); 
clipWeapon.Reload(clip); 

var ammoBoxWeapon = new AmmoBoxWeapon(); 
ammoBoxWeapon.Reload(ammoBox); 

如果你嘗試通過剪輯來AmmoBoxWeapon.Reload你會得到一個錯誤：

ammoBoxWeapon.Reload(clip); // <- ERROR at compile time