今天看到再简单不过的一段代码了:
unordered_map<int, int> c;
c.insert(make_pair(1,2));
c.insert(make_pair(3,4));
c.insert(make_pair(5,6));
auto it = c.find(3);
unordered_map<int, int>::const_iterator cit = c.find(3);
cout<<typeid(it).name()<<endl;
cout<<typeid(cit).name()<<endl;
it->second = 10;
这是重载的find定义:
iterator
find(const key_type& __x)
{ return _M_h.find(__x); }
const_iterator
find(const key_type& __x) const
{ return _M_h.find(__x); }
//@}
然后我突然想到 auto it = c.find(3)这种是怎样做overload resolution的?它为什么选择非const版本的find?const_iterator cit = find(3)为啥选择的const版本的find?
这两部分在n3797的13.3.2和13.3.3。看了半天毫无收获,best viable function似乎没有const 成员函数什么事。
然后写了个简单的member func和const member func 做实验才发现自己脑子抽了,这里根本就没有find()const什么事。
const_iterator cit = find(3) 仍然调用find(),然后用iterator构造const_iterator。find() const只是给const container用的啊!