操作符的实现
T& operator[](const key_type& k){
return (*(insert(value_type(k, T()))).first)).second;
}
value_type
typedef pair<const Key, T> value_type;
所以value_type(k, T())就是生成一个pair对象,键为k,值为T();
insert
pair<iterator, bool> insert(const value_type& x) {
return t.insert_unique(x);
}
insert操作会遇到两种情况,1,以k为健的元素不存在,则插入x;2,若存在,则插入失败。insert返回的是一个pair对象,其第一个元素指向以k为键的元素(有可能是新插入的元素,也有可能是以前就存在的)。
[]的最终面目
insert(value_type(k, T()))).first;//即为插入返回的pair对象的第一个元素,其为指向被插入元素的迭代器;
*(insert(value_type(k, T()))).first);获取该迭代器
(*(insert(value_type(k, T()))).first)).second; 插入元素的实值;其通过reference方式传递,既可以作为左值,也可以作为右值;
结尾
对于一个map对象a来说,无论是a[x] = y, 还是 y = a[x]; 对象的size都会加1。