换句话说,当i是一个映射< K,V> :: iterator时,请执行以下操作以提供预期的语义(即,它会修改映射)：

*i = make_pair(k, v);
i->first = k;
i->second = v;

？

更新：前两行无效,因为operator *的返回值是(可转换为？)一对< const K,V>.第三条线怎么样？

假设对三者的答案是肯定的,这意味着：

>映射< K,V>元素存储为一对< K,V>某处,
>或者有一些聪明的代理类映射< K,V> :: iterator :: operator *返回.在这种情况下,操作符如何？实施？

解决方法:

我试图通过标准来追踪这个：

>对于地图< Key,T> value_type是pair< const Key,T>按23.3.1 / 2
> map类支持双向迭代器,符合23.3.1 / 1
>根据24.1.4 / 1,双向迭代器满足前向迭代器的要求
>对于带有value_type T的前向迭代器a,表达式* a返回T& (不像其他一些迭代器那样“可转换为T”类型)(24.1.3中的表74)

因此,要求是返回对pair的引用,而不是其他一些代理类型.