std::map 迭代器和插入的行为

Question

作为一个简单的开始

Map<key,val> map1=//filled up in some way;
Map<key,val> map2;
map2.insert(map1.begin(),map1.end());

我们知道map::insert 是 O(log(n))，没有提供任何提示。这是否意味着上述运行在 O(nlog(n)) 中，或者它是否使用 map1 已经排序并简单地插入到正确位置（递增当前迭代器）的事实？因为 map1 已经排序，我们应该能够在线性时间内做到这一点。怎么样

std::copy(map1.begin(),map1.end(),map2.end());

它是每次在 O(log(n)) 中插入，还是在 O(1) 中复制到通过递增迭代器标记的尊重位置？

也许是一个更具说明性的例子

template<class InIter, class OutIter, class ResIter>
ResIter foo(InIter first, OutIter last, ResIter res){
   while(first!=last){
      res=*first;
      ++first;
      ++res;
   }
return res;
}

当我们处理映射迭代器时，这是否运行在 O(n) 或 O(nlog(n)) 中？插入是 O(log(n))，还是 O(1)，因为我们指定了位置，即*res=*first？

为清楚起见进行编辑：

会

*res=*first

表现得像

map2.insert(res,*first)

意思是，插入到map2中，使用指向正确位置的迭代器res作为提示，使其成为O(1)，还是执行常规的O(log(n))插入？

Answer 1

快速阅读标准后，对void insert(InputIterator first, InputIterator last); 的复杂性没有要求。因此，允许惰性实现具有 O(n log(n)) 复杂度，即使 map1 为空，由于以下原因，它很可能是线性的。

因为如果输入范围已排序，标准确实要求构造函数具有线性复杂度，因此要求为 O(n)：

Map<key,val> map1=//filled up in some way;
Map<key,val> map2(map1.begin(),map1.end()); // complexity in O(n)

对于您问题的第二部分，由于您想提示应该在哪里插入元素，正确的方法是：

template<class InIter, class OutIter, class ResIter>
ResIter foo(InIter first, OutIter last, ResIter res){
   while(first!=last){
      emplace_hint(res, *first);
      ++first;
      ++res;
   }
return res;
}

不幸的是，标准对emplace 或emplace_hint 的复杂性没有任何要求。