c++ - map::iterator 是否产生左值？

Question

换句话说，当i是 map<K,V>::iterator ，执行以下操作以提供预期的语义(即修改 map ):

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

?

更新:前两行无效，因为返回值是operator*是(可转换为？)一个 pair<const K, V> .第三行呢？

假设对这三个问题的回答是是，这意味着:

• 要么 map<K,V>元素存储为 pair<K,V>某处，
• 或者有一些聪明的代理类 map<K,V>::iterator::operator*返回。在这种情况下，operator-> 是怎样的？实现 ?

Answer 1

我试图通过标准来追踪这一点:

• 对于 map<Key,T> value_type是pair<const Key,T>根据 23.3.1/2

• map 类支持双向迭代器，根据 23.3.1/1

• 双向迭代器满足前向迭代器的要求，根据 24.1.4/1

• 对于前向迭代器 a与 value_type T , 表达式 *a返回 T&(不是像其他一些迭代器那样“可转换为 T”的类型)(24.1.3 中的表 74)

因此，要求是返回对的引用，而不是其他代理类型。