C＃：すべてのコードパスが値と到達不能コードを返すわけではありませんか？

Question

こんにちは、このコードは、プレイヤーが在庫からアイテムを取り除くことができるかどうか確認する場所です。 'Inventory'はソートされたディクショナリ（Item、int）です（サブクエリ：インデックス番号付きのアイテムにアクセスするためにソートされたディクショナリが必要ですか？）、Itemはクラスです。

 public bool CanRemoveFromItemInventory(string item) 
    { 
     bool temp = false; 
     if (ItemInventory.Count() <= 0) 
     { 
      return false; 
     } 
     else if (ItemInventory.Count() > 0) 
     { 
      for (int b = 0; b < ItemInventory.Count(); b++) 
      { 
       Item i = ItemInventory.Keys.ElementAt(b); 
       if (i.GetName().Equals(item) && ItemInventory[i] >= 1) 
       { 
        temp = true; 
       } 
       else 
       { 
        temp = false; 
       } 

       if (!temp) 
       { 
        return false; 
       } 
       else 
       { 
        return true; 
       } 
      } 
     } 
     else 
     { 
      return temp; 

     } 
    } 

Answer 1

コンパイラは論理を理解しようとせず、ルールを適用するだけです。 - 悪として

else if (ItemInventory.Count() > 0) 
    { 
     for (int b = 0; b < ItemInventory.Count(); b++) 
     { 
       // ... this always returns something 
     } 
     // BUT STILL NEED TO EITHER RETURN OR THROW HERE 
    } 

は確かに、それはこの中に正しい：限り、それが関係しているように、forループは、従って中間ブロックが戻り値が欠落している、ゼロ回実行することが可能です不公平はCount()メソッドを書くことができ、はそれぞれを呼び出す（または、悪いシナリオを提示する - スレッド競合/データ突然変異）異なる値を返すことがあります。

おそらく最も簡単な、ここで "修正" に変更することです：

else 
    { 
     return temp; 
    } 

を単純に：

return temp; 

それは、すべての枝に適用されます。

Answer 2

forループの後に、returnステートメントが存在しないことをコンパイラが認識しています。コンパイラは、コードパスがforループを決して残さない（または入力することはない）ことを証明できないため、ループの後のいつかreturnステートメントをヒットすることを期待しています。ただし、そのパスにはreturnステートメントがありません。

到達不能なコードエラーについては、それが不平を言っている行にコメントを追加する必要があります。

---

更新：

public bool CanRemoveFromItemInventory(string item) 
{ 
    var pair = ItemInventory.FirstOrDefault(pair => pair.Key.GetName() == item); 

    return pair != null && pair.Value >= 1; 
} 

インベントリリストの最初の項目はあなたがアイテムでない場合は、コードの現在のバージョンは失敗します。それは、あなたがこのような何かのために行っているように見えます探している。つまり、コンパイラのエラーを修正しても、コードは正しく機能しません。

Answer 3

forループの外でリターンを置く：

for (int b = 0; b < ItemInventory.Count(); b++) { 
    Item i = ItemInventory.Keys.ElementAt(b); 
    if (i.GetName().Equals(item) && ItemInventory[i] >= 1) { 
     temp = true; 
     break; 
    } 
} 
return temp; 

推論：カウント（）はforループの実行されないだろうので、あなたがraturn決して、0である場合。これはおそらくありえないかもしれませんが（結局のところ、Countが0より大きいかどうかチェックします）。 Count（）はif-checkとforループの間で変更できるため、コンパイラはそれを判別できません。コンパイラでこれを判別できません（Halting Problemを参照）