C++ ：为什么我没有调用“std::uninitialized_copy”在职的？

Question

我构建了一个简单的类，该类应该模仿 std::string 类的功能（作为练习！）：

#ifndef _STR12_1_H
#define _STR12_1_H

#include <string>
#include <iostream>

class Str12_1
{
public:

    typedef char* iterator;
    typedef const char* const_iterator;
    typedef long size_type;


    Str12_1();
    Str12_1(const Str12_1& str);
    Str12_1(const char *p);
    Str12_1(const std::string& s);

    size_type size() const;

    //Other member functions


private:
    iterator first;
    iterator onePastLast;
    iterator onePastAllocated;
};

为了避免与“new”相关的开销（并增加我对 < memory> 标头），我选择使用库的分配器模板类为我的字符串分配内存。这是我在复制构造函数中使用它的一个示例：

#include <memory>
#include <algorithm>

using std::allocator;
using std::raw_storage_iterator;
using std::uninitialized_copy;


Str12_1::Str12_1(const Str12_1& str)
{
    allocator<char> charAlloc;
    first = charAlloc.allocate(str.size());
    onePastLast = onePastAllocated = first + str.size();
    *onePastLast = '\0';

    raw_storage_iterator<char*, char> it(first);

    uninitialized_copy(str.first, str.onePastLast, it);


}

编译器不断告诉我“uninitialized_copy”行上的两个错误，这两个错误都返回到库中的标头：

error: invalid conversion from 'char' to 'char*'

error: no match for 'operator!=' in '__first != __last'

问题是我不明白该错误在哪里line 从 char 到 char* 的转换是，以及为什么两个相同类型的指针（str.first、str.onePastLast）不能与“!=”进行比较。

我可以使用“new”，但如前所述，我想练习 。那么有人可以告诉我为什么这不起作用吗？

Answer 1

查看标准 raw_storage_iterator 不会将 typedef value_type 设为 T，而是使用 void：

template <class OutputIterator, class T>
class raw_storage_iterator
: public iterator<output_iterator_tag,void,void,void,void>
                                      ^^^^

而 uninitialized_copy 必须使用该 typedef：

template <class InputIterator, class ForwardIterator>
ForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
ForwardIterator result);

效果：

for (; first != last; ++result, ++first)
::new (static_cast<void*>(&*result))
typename iterator_traits<ForwardIterator>::value_type(*first);
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

在您的代码中，在进行所有替换之后，这会导致：

new (...&*result) void (*first);
                  ^^^^^^^^^^^^^
                 invalid use here

由此您可以得出结论，这两者永远不会一起工作。

如果您想使用raw_storage_iterator，那么将它传递给std::copy应该没问题，因为所有的魔法都发生在operator=(const T& ) 过载。

如果您认为这对于像 char 这样的原语是必要的，您可以使用 new char[x] 进行分配（注意！终止 NUL）并使用 进行复制strcpy。