尝试实现STL迭代器时出错

Question

我对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上崩溃。 在调试器中，我收到一条错误消息，内容为“ 0xC0000005：访问冲突读取位置0x00000000”。 为什么会这样呢？

Answer 1

您的错误在于您对指针的理解，您无法将任何东西分配给未初始化的指针。 因此您不能在构造函数中为未初始化的指针分配引用：

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

相反，您应该将其用作

container = std::addressof(x);

在这种情况下，您可以使用传递给您的引用的地址来初始化指针，但是在这种情况下，您试图将引用复制到指针所指向的地址，并且由于未初始化指针，因此您尝试编写到内存的未知位置。

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