我不想使用 std::copy...这是正确的 for 循环替代方案吗？

Question

我试图不使用STL。我的代码中有这一行：

std::copy(buffer_, buffer_ + size_ + 1, new_buffer)

如果我不想使用副本，这是正确的等效项吗？

for (int i = 0; i < (size_ + 1); i++){
    new_buffer[i] = buffer[i];
}

或者这是完全错误的？还是少了一位？或者其他什么？

谢谢！

Answer 1

好的，您拥有的两个代码示例将给出相同的结果。

但是，如果使用 size_ + 1，则会出现差一错误。 size_ 才是正确的值，因为它已经指向最后一个元素之后的一个。

Answer 2

不清楚你写的是否有效。如果 buffer_ 为 any 随机访问且 new_buffer 为 any，则 copy 版本有效输出迭代器。仅当 buffer_ 是指针时，您的手动版本才有效。

除此之外，您的手动版本在功能上是等效的。不过，如果类型是 POD，您可能可以使用 memcpy 做得更好（需要检查重叠）。

请注意，您的缓冲区（按照您编写的方式）的大小为 size_ + 1。

Answer 3

这就是我会这样做的，因为它更容易重用通用迭代器（很像 std::copy），因为特定于迭代器类型（随机访问）的代码位于循环之外：

buffer_type* begin = buffer; // EDIT: buffer_type is whatever type buffer contains.
buffer_type* end = buffer + size + 1; // EDIT: usually this would be 'buffer + size'
buffer_type* out = new_buffer; // EDIT: don't want to lose the pointer to new_buffer!

while(buffer != end) {
  *out = *begin
  ++begin; ++new_buffer;
}

所以你不会如果您决定使用其他类型的迭代器，则必须更改循环。

一些代码检查实用程序可能会抱怨这一点，因为他们认为您将发生访问冲突，但事实并非如此，因为最后一次取消引用发生在最后一次递增之前。

顺便说一句，变量名的大小的选择有点令人困惑。这意味着 buffer + size 将超过 buffer 的末尾，因为您开始将数组元素标记为零，但开始对它们进行计数，因此最后一个元素通常位于索引 size - 1 处。

另外，如果您要使用 for 循环和索引运算符，则应该使用 unsigned int 进行索引。负指数是合法的，但我认为你不打算允许它们在这里。