使用std :: map時無法捕獲未處理的異常

Question

我試圖利用std::map的operator[]來使用鍵讀取元素。

但是當我試圖訪問一個無效的密鑰時，它會拋出一個我無法使用try - catch塊捕獲的異常。

這是我正在使用的代碼：

class MapElement
{
 public:
     int a;
     char c;
};

int main()
{
   MapElement m1,m2,m3;
   m1.a =10;m1.c = 'a';
   m2.a =20;m2.c ='b';
   m3.a =30;m3.c ='c';

   map <char ,MapElement*> Mymap;
   map<char,MapElement*>::iterator iter = Mymap.begin();
   Mymap.insert(iter , std::pair<int, MapElement*>('1',&m1));
   Mymap.insert(iter , std::pair<int, MapElement*>('1',&m2));
   cout<<Mymap['1']->a;
   try
   {
      cout<<Mymap['2']->a;
   }
   catch(exception e)
   {
       cout<<e.what();
   }
   catch(...)
   {
        cout<< "unknown error";
   }
}

我該如何處理這個異常？

Answer 1

問題是由std::map::operator[]為不存在的鍵創建新條目引起的：

返回對映射到等效於key的鍵的值的引用，如果此類鍵尚不存在則執行插入。

在這種情況下，該值是一個指針，它不會指向有效的MapElement 。 這不是運行時故障，而是程序員錯誤並導致未定義的行為。 即使有可能捕獲到這種類型的錯誤，也不應該以允許程序繼續執行的方式捕獲它，因為程序可能會出現其他意外行為。

如果您的編譯器支持c ++ 11，請使用std::map::at() ：

try
{
    std::cout<< Mymap.at('2') << std::endl;
}
catch (std::out_of_range& const e)
{
    std::cerr << e.what() << std::endl;
}

（有關示例，請參閱http://ideone.com/FR4svY ）。 否則，如果您的編譯器不支持c ++ 11，請使用std::map::find() ，它不會拋出異常，但如果映射不包含請求的鍵，則返回std::map::end() ：

template <typename K, typename V>
V& map_at(std::map<K, V>& a_map, K const& a_key)
{
    typename std::map<K, V>::iterator i = a_map.find(a_key);
    if (a_map.end() == i)
    {
        throw std::out_of_range("map_at()");
    }
    return i->second;
}

try
{
    std::cout<< map_at(Mymap, '2') << std::endl;
}
catch (std::out_of_range& const e)
{
    std::cerr << e.what() << std::endl;
}

（例如，請參閱http://ideone.com/lIkTD3 ）。

Answer 2

問題是你在這里取消引用一個空指針，因為用一個不存在的鍵調用operator[]導致用該鍵創建一個新元素，以及一個值初始化的值類型（在這種情況下， null MapElement* ）：

cout<<Mymap['2']->a; // The error is to call ->a, not Mymap['2']

這不會引發異常，它是未定義的行為 。 您可以做的是調用引發異常的方法：

MapElement* m = Mymap.at('2'); // throws if there is no '2' element
cout << m->a;

這里，如果沒有帶鍵'2'元素，則調用at()將拋出。

Answer 3

我建議你使用find方法，並將它們與地圖的結尾進行比較，以獲得未出現的密鑰：

map<char,MapElement*>::iterator iter = Mymap.find('2');
if (iter != Mymap.end()) {
    // do something if the key exist
} else {
    // do anythig if the key was not founded
}