背景

上下文中,我试图在自定义向量类型上实现std::vector insert。这适用于的所有重载 vector::insert ,我试图保持与C++的std::vector的奇偶性。

在我被迫重新分配内存的情况下,插入实际上是微不足道的。当我 不要 不过,当我的容量>=时,需要重新分配插入元素所需的新尺寸,我很困惑。我在这里使用列表 https://en.cppreference.com/w/cpp/container/vector/insert

在我 也许 没有微不足道的可复制类型,以及 我可以 没有默认的可构造类型,并且我 也许 没有可移动类型,那么我不太确定如何正确初始化数据。

例如,对于以下原型

constexpr iterator insert(const_iterator pos, const T &value);

如果插入 value 不会触发分配的大小调整,那么这意味着我可以只使用已经进行的分配。

我通常会伸手去拿这样的东西 copy_backwards ,但问题是,如果我这样做,我不知道类型是否 便宜地 如果可以的话,我应该选择可移动的。虽然这对输入没有任何意义 价值 ,仍然应该被复制,我很困惑这里需要发生什么,例如,假设我已经

pointer_type m_ptr; 
size_type m_size; 
size_type m_capacity;
allocator_type m_allocator; 

我将尝试这样的操作来移动已经有效的数据。

if constexpr (std::is_move_constructible_v<T>) {
    auto pos_idx = static_cast<size_type>(std::distance(cbegin(), pos));
    std::move_backward(m_ptr + pos_idx, m_ptr + m_size, m_ptr + pos_idx + 1);
    ...
}

但问题是,我正在使用最后一个元素进入未初始化的内存。所以我可以先对最后一个元素进行未初始化的移动。

if constexpr (std::is_move_constructible_v<T>) {
    std::uninitialized_move(m_ptr + m_size - 1, m_ptr + size, m_ptr + size); 
    auto pos_idx = static_cast<size_type>(std::distance(cbegin(), pos));
    std::move_backward(m_ptr + pos_idx, m_ptr + m_size - 1, m_ptr + pos_idx + 1);
    ...
}

但现在最后一个元素的空间假设是未初始化的?所以我不能再向后移动了。

这意味着我需要做一个 对超过插入点的每个值进行未初始化的移动 正确的但我不仅需要这样做,我还需要 为每个值手动调用未初始化的move函数 ,因为我需要有效地做 std::uninitalized_move_backward(...) (希望任何看过这篇文章的人都会意识到这是不存在的),因为uninit std函数都不是重叠安全的?即:

if constexpr (std::is_move_constructible_v<T>) {
    auto pos_idx = static_cast<size_type>(std::distance(cbegin(), pos));
    auto pos_end_reverse = pos != begin() ? (std::reverse_iterator(pos - 1) : rend()); 
    for(auto pos_r = rbegin(); pos_r != pos_end_reverse; ++pos_r){
        //subtract, because this is a reverse iterator and we are trying to look *forward*. 
        std::uninitialized_move_n(pos_r, 1, pos_r - 1); 
    } 
} 

问题

对于我有一些初始化的值需要移动到分配中重叠的初始化和未初始化空间的情况,有没有办法手动向后调用每个元素的未初始化移动,或者有没有stdlib方法来处理这种情况?