std::copy 是否处理重叠范围？

Question

将数据从一个范围复制到另一个范围时，必须小心源范围和目标范围之间是否存在部分重叠。如果目标范围的开头与源范围的尾部重叠，则纯顺序复制将导致数据出现乱码。除了 memcpy 之外，C 运行时库还具有 memmove 来处理此类重叠问题。

我假设 std::copy 的工作方式与 memcpy 类似，因为它不考虑源区域和目标区域之间的重叠。如果您尝试使用 std::copy 在 std::vector 中“向下”移动对象，则会损坏数据。是否有类似 memmove 的 STL 算法来处理这样的情况？或者我应该使用反向迭代器来推出自己的迭代器？

Answer 1

如果输出范围的开头与输入范围重叠，它不会处理重叠范围。

幸运的是，您可以使用 std::copy_backward< /a> 相反（这要求您不要将输出范围的末尾与输入范围重叠）。

Answer 2

std::copy 的先决条件，禁止重叠：

• 原型

  模板 ;
  OutputIterator 复制（InputIterator 首先，InputIterator 最后，
                      输出迭代器结果）；
  

• 先决条件

  • [first, last) 是有效范围。
  • 结果不是 [first, last) 范围内的迭代器。
  • 有足够的空间来容纳所有正在复制的元素。更多的
    形式上，要求是
    [结果，结果+（最后 - 第一个）） 是一个
    有效范围。 [1]

Answer 3

C++17 标准草案

C+ +17 n4659 标准草案 说：

28.6.1“复制”：

template;
OutputIterator 复制（InputIterator 首先，InputIterator 最后，
                    输出迭代器结果）；

1 要求：结果不得在 [first, last) 范围内。

2 效果：将 [first, last) 范围内的元素复制到 [result, result + (last -
first)) 从第一个开始一直到最后一个。

和：

模板
双向迭代器2
向后复制（
    首先是双向迭代器1，
    双向迭代器1 最后，
    双向迭代器2结果）；

17 要求：结果不得在范围（第一个、最后一个]内。

18 效果：将 [first, last) 范围内的元素复制到 [result - (last-first),
结果）从最后一个 - 1 开始并继续到第一个。 (263) 对于每个正整数 n <= (最后 -
首先），执行 *(结果 - n) = *(最后 - n)。

该注释随后解释了何时使用 copy_backward：

263) 当最后一个位于 [结果 - (最后 - 第一个), 结果) 范围内时，应使用 copy_backward 而不是复制

因此，不要求这些函数不重叠，并且 与 memcpy 不同，重叠的行为在 Effects 中明确定义部分。

您只需在它们之间进行选择，因为您通常需要 std::copy 用于向左复制，而 std::copy_backward 用于向右复制。

C++ 在 中还有一个 std::move 的范围版本，它移动而不是复制。

Answer 4

似乎最直接的方法是创建要复制的范围的临时向量：

std::vector copiedRange( srcVecIterBegin, srcVecIterEnd);
std::copy( copiedRange.begin(), copiedRange.end(), srcVecIterCopyLocIter);

您可以将其包装在模板化函数中，该函数应该能够使用任何容器/迭代器类型进行重叠。