尝试实现STL迭代器时出错

时间:2017-05-05 22:10:41

标签: c++ stl iterator

我是STL和迭代器的新手。我经常使用它们,但现在才了解它们是如何工作的。对于一项任务,我的任务是重写一些STL迭代器,以了解幕后发生的事情。我在insert_iterator

的中途
template <class Container>
class m_insert_iterator : public std::iterator<output_iterator_tag, void, 
void, void, void>
{
protected:
    Container* container;
    typename Container::iterator it;

public:
    typedef Container container_type;

    // Constructor:
    m_insert_iterator(Container &x, typename Container::iterator i)
    {
        *container = x;
        it = i;
    }

    // Assignment operator:
    m_insert_iterator<Container> &operator=(const typename Container::value_type &value)
    {
        it = container->insert(this, value);
        ++it;
        return *this;
    }

    // No-ops:
    m_insert_iterator<Container> &operator*() { return *this };
    m_insert_iterator<Container> &operator++() { return *this };
    m_insert_iterator<Container> &operator++(int) { return *this };
};

int main()
{
    vector<int> v{ 2, 3, 4 };
    m_insert_iterator<vector<int>> ins_it(v, v.begin());
    ins_it = 1;

    for (int i = 0; i < v.size(); i++)
    {
         cout << v[i] << " ";
    }

    system("pause");
}

每当我调用构造函数时,我的程序都会在*container = x上崩溃。在调试器中,我收到一条错误消息,读取&#39; 0xC0000005:访问冲突读取位置0x00000000。&#39;为什么会这样?

1 个答案:

答案 0 :(得分:0)

您的错误在于您对指针的理解,您无法为未初始化的指针指定任何内容。所以你不能在构造函数中为未初始化的指针分配引用:

*container = x;  // container is uninitialized, so this function will generate an AccessViolation

相反,您应该将其用作

container = std::addressof(x);

在这种情况下,您使用传递给您的引用的地址初始化您的指针,但在您的情况下,您尝试将引用复制到您的指针指向它的地址,并且因为您的指针未初始化,所以试图写入记忆的未知位置。

在最好的情况下,你得到一个AccessDenied或类似的东西,但如果它碰巧写入一个可写入你的程序的内存,你也可能会导致奇怪的错误。例如,您可以覆盖一个或多个变量的值