小心使用STL中map的[]操作符

一个map就是一个（关键码（key），值（value））对偶的序列，它提供基于关键码的快速提取操作。也就是说，可以用下标运算符[]将关键码作为下标去执行查找，并返回对应的值。因此可以把map的使用方法想象成有特殊下标的数组。在很多时候用下标运算符[]来对map中的元素进行存取是非常方便和简单的；但是，如果map下标运算符[]运用不得当，也会造成意想不到的问题。
我们知道，C++是不检查下标越界的。用超出数组下标范围的下标去访问数组元素的错误会在运行期出现，很有可能将程序搞崩溃。对于map而言，也没有类似的下标越界概念，但是却有作为下标的关键码（key）在map中不存在的现象。在这种情况下，如果运用不得当，就造成意想不到的问题，而且这种问题是属于比较隐蔽的问题。如果对map的下标运算符[]不是非常了解，将很难发现问题所在。
比如说有下面的代码片断：

// 定义一个map
map < string , string > mapTelDir;

// 用[]操作符可以方便快速的给map添加内容
mapTelDir[ " StarLee " ] = " 13813131313 " ;

// ...

// 修改关键码为LiXing的值
// 注意，这里的关键码在map里面并不存在
if (mapTelDir[ " LiXing " ] == " 13913131313 " )
{
mapTelDir[ " LiXing " ] = " 13513131313 " ;
}

// ...

// 输出
cout << " ThecellhonenumberofLiXingis: " << mapTelDir[ " LiXing " ] << endl;

上面的代码看起来似乎没有任何问题，但是，最后一行的输出的手机号码却永远为空！原因就是在判断语句里面对map的下标运算符[]的错误使用。
map的下标运算符[]的作用是：将关键码作为下标去执行查找，并返回对应的值；如果不存在这个关键码，就将一个具有该关键码和值类型的默认值的项插入这个map。
对于上面的代码来说，if (mapTelDir["LiXing"] == "13913131313")这行代码首先去查询map中是否有关键码为LiXing的项，结果发现没有该项，于是就向map中插入了一项<"LiXing", "">（sting的默认值为空字符串）。这就造成if语句的判断结果永远为false，那样就不可能修改修改关键码为LiXing的值。
为了更好的说明这个问题，可以看一下map下标运算符[]的实现代码：

// 下面的代码摘自VS2005中的..vcincludemap
mapped_type & operator []( const key_type & _Keyval)
{ // findelementmatching_Keyvalorinsertwithdefaultmapped
iterator_Where = this -> lower_bound(_Keyval);
if (_Where == this -> end()
|| this -> comp(_Keyval, this -> _Key(_Where._Mynode())))
_Where = this -> insert(_Where,
value_type(_Keyval,mapped_type()));
return (( * _Where).second);
}

map的下标操作符[]使用上面的方法定义，使向map里插入值和使用关键码来访问相应的值变得非常方便而快速。虽然在使用的时候会出现有人写出类似上面那样的错误代码，但是这是程序员的错误，因为写出正确的代码是程序员的责任。这样做很符合C++的风格：非常灵活，但是要小心使用。