了解 std::copy [重复]

Question

读完这段代码，教你如何构建一个简单的双精度向量：

class vector
{
    int sz;
    double* elem;

public:
    vector(int s)
        :sz{s}, elem{new double[sz]}
    {
        for (int i = 0; i < sz; ++i)elem[i] = 0.0;
    }
    vector(initializer_list<double>lst)
        :sz{ int(lst.size()) }, elem{ new double[sz] }
    {
        copy(lst.begin(), lst.end(), elem);
    }
    vector(const vector&);
    ~vector(){ delete[] elem; }
    double get(int n) const { return elem[n]; }
    void set(int n, double v) { elem[n] = v; }
};

复制构造函数定义为：

vector::vector(const vector& arg)
    :sz{ arg.sz }, elem{new double[arg.sz]}
{
    copy(arg.elem, arg.elem + sz, elem);
}

arg.elem, arg.elem + sz 的范围实际上不应该是

arg.elem, arg.elem + sz - 1

?

Answer 1

在 C++ 中，各种函数接受一个开始迭代器或指针，以及一个结束迭代器或指针。开始迭代器包含在任何操作中，无论是复制还是排序或其他操作，但不包括结束迭代器或指针。通常操作是开始迭代器到（结束迭代器 - 1）。来自 std::copy 的文档：

输入迭代器到序列中的初始和最终位置 复制。使用的范围是 [first,last)，其中包含所有 第一个和最后一个之间的元素，包括指向的元素 first 但不是 last 指向的元素。

这就是为什么在容器中 end() 迭代器不指向最后一个元素。例如，std::vector::end() 是一个迭代器，指向最后一个成员。

Answer 2

std::copy 被实现为：

template<class InputIt, class OutputIt>
OutputIt copy(InputIt first, InputIt last, 
              OutputIt d_first)
{
    while (first != last) {
        *d_first++ = *first++;
    }
    return d_first;
}

last 指向的元素未被复制。如果是则如下代码：

std::vector<int> in;
std::vector<int> out;
std::copy(in.begin(), in.end(), std::back_inserter(out.begin()))

行不通。你必须做这样的事情，这在空向量的情况下不起作用：

std::vector<int> in;
std::vector<int> out;
std::copy(in.begin(), in.end() - 1, std::back_inserter(out.begin()))