c++ - MSVC 中 std::vector::push_back 的实现

Question

我探索了 msvc 2013 STL 实现并发现了 std::vector::push_back 的这个实现:

void push_back(const value_type& _Val)
    {   // insert element at end
    if (_Inside(_STD addressof(_Val))) // <-- is this check really necessary?
        {   // push back an element
        size_type _Idx = _STD addressof(_Val) - this->_Myfirst;
        if (this->_Mylast == this->_Myend)
            _Reserve(1);
        this->_Getal().construct(this->_Mylast,
            this->_Myfirst[_Idx]);
        ++this->_Mylast;
        }
    else
        {   // push back a non-element
        if (this->_Mylast == this->_Myend)
            _Reserve(1);
        this->_Getal().construct(this->_Mylast,
            _Val);
        ++this->_Mylast;
        }
    }

我有一个问题:是检查

if (_Inside(_STD addressof(_Val)))

真的有必要吗？此条件检查 _Val 是否属于此 vector 。例如，在以下情况下此条件为真:

std::vector<int> v(1);
v.push_back(v[0]);

相同 vector 元素的push_back和其他值有什么区别？

Answer 1

我不知道标准是否强制要求进行额外检查，但它避免了一个微妙的错误，如果您将其自身的元素插入 vector 中，可能会发生这种错误。

假设你这样做，就像你的例子一样，

std::vector<int> v(1);
v.push_back(v[0]);

在不进行该检查的实现中。现在，如果 vector 的容量大于 1，一切都很好，v[0] 只是在正确的位置复制构造。

但是如果 vector 必须重新分配会发生什么？在这种情况下，传递给 push_back 的对 v[0] 的引用在重新分配后立即失效，因此 push_back 将尝试复制在 vector 内部不再存在的对象。

您发布的实现中的代码通过检查引用是否指向 vector 内的元素来避免该问题，在这种情况下，它会记录其索引。重新分配后，即使引用失效，索引仍然是正确的，因此可以无风险地进行复制。