Question

我正在尝试使用operator[]中的std::map来使用键读取元素。

但是当我尝试访问无效密钥时，它会抛出一个我无法使用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;

此处，如果没有包含密钥at()的元素，则会调用'2'。

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
}

使用std :: map时无法捕获未处理的异常

3 个答案: