要在交換機的默認標籤中放入什麼？

Question

比方說，我有一個枚舉。

enum class ShapeName : char {TRIANGLE,CIRCLE,SQUARE}; 

，後來我有這樣的功能：

void Function (ShapeName const shape){ 

    switch (shape){ 
     case ShapeName::TRIANGLE: 
      DoSomething1(); 
      break; 

     case ShapeName::CIRCLE: 
      DoSomething2(); 
      break; 

     case ShapeName::SQUARE: 
      DoSomething3(); 
      break; 

     default: 
      //THIS CODE BLOCK SHOULD NEVER BE EXECUTED! 
    } 

    return; 
} 

雖然默認標籤應永遠不會被執行，我想考慮到可能出現的潛在的bug，如果一個程序員又增加了價值'ShapeName'，它不在交換機中考慮。
你會推薦我做什麼？

1.斷言
我可以用一個斷言，但我是什麼主張？

assert(false); //? 

2.例外
我可以拋出一個異常，但我不認爲這是非常好的做法。我認爲異常是因爲某些環境而無法預測的運行時事件。

3.退出
我可以立即退出程序並出現錯誤。 這感覺是最好的想法，但我不確定這是否是好的做法。我認爲斷言的優勢在於，當你準備發佈程序時，你可以將它們全部關閉。然後，所有的斷言代碼將不再存在。

---

也許有另一種方式，我不知道。我確實使用了一個編譯器標誌，它會警告未考慮的值，但我仍然想知道其他人推薦的內容。

Answer 1

我喜歡用信息性的信息斷言的想法。試試這個：

assert (!"The default case of so-so switch was reached."); 

這總是返回false，但是提供了一條可以使用的消息。

編輯：
我發現了源代碼，我將這個概念從我的記憶中拉出來;它在下面的書中：
C++編碼標準 - 101規則和指導

Answer 2

我想對我來說它將取決於什麼DoSomething＃方法。

如果它稍後會導致不太正常的崩潰，那麼肯定要中斷運行時，這會被調用時解釋爲「使用無效枚舉：enumName調用的函數」，或者給開發人員通知他們沒有更新這個轉換語句，而不是讓他們想知道以後是否會失敗。

Answer 3

對於這種特定情況，您打開枚舉標記並處理所有情況時，我的首選是忽略默認值。這樣，使用任何合理的編譯器，如果有人向枚舉添加了新標籤而不是交換機，則會收到編譯時警告，提示該標籤未在交換機中處理。

Answer 4

簡短回答：使用多態消除問題。

龍答： 解決根本問題的最簡單的方法（？即如何防止遺漏項switch語句）將避免使用switch語句如果有被遺忘條目的機會。 Switch語句在本地環境中非常有用，但是如果它們所代表的邏輯在多個位置被複制，那麼就有可能忘記更新它，並且設置自己的運行時錯誤。

class Shape 
{ 
    // functionality MUST be added for new shape types 
    // or a compile error will occur 
    virtual void DoSomething() const = 0; 
}; 

void Function (Shape const & shape){ 
    return shape.DoSomething(); 
} 

switch語句可能仍然在創建網站有用：

enum class ShapeName : char {TRIANGLE,CIRCLE,SQUARE}; 

unique_ptr<Shape> MakeShape (ShapeName const shape){ 
    switch (shape){ 
     case ShapeName::TRIANGLE: 
      return unique_ptr<Shape>(new Triangle()); 

     case ShapeName::CIRCLE: 
      return unique_ptr<Shape>(new Circle()); 

     case ShapeName::SQUARE: 
      return unique_ptr<Shape>(new Square()); 
    } 

    throw std::runtime_error(); 
    // or whichever option you prefer from the other answers 
} 

但是，這僅地方的邏輯存在。甚至可以在與靜態多態性改進：

enum class ShapeName : char {TRIANGLE,CIRCLE,SQUARE,ELLIPSE}; 

template< ShapeName shape > 
unique_ptr<Shape> MakeShape(); 

template<> 
unique_ptr<Shape> MakeShape<ShapeName::TRIANGLE>() 
{ 
    return unique_ptr<Shape>(new Triangle()); 
} 

template<> 
unique_ptr<Shape> MakeShape<ShapeName::CIRCLE>() 
{ 
    return unique_ptr<Shape>(new Circle()); 
} 

template<> 
unique_ptr<Shape> MakeShape<ShapeName::SQUARE>() 
{ 
    return unique_ptr<Shape>(new Square()); 
} 

int main() 
{ 
    MakeShape<ShapeName::TRIANGLE>(); // okay 

    MakeShape<ShapeName::ELLIPSE>(); // compile error 
} 

更多信息，請參見Martin Folwer。