map的[]操作

操作符的实现

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。