一个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 << "The cellhone number of LiXing is: " << 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)
{ // find element matching _Keyval or insert with default mapped
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++的风格：非常灵活，但是要小心使用。
发表于 @ 2008年04月07日 09:26:00|评论(loading...)|编辑