自定义std::vector插入实现：重叠内存元素移动问题

我正在为自定义vector类型实现std::vector的insert方法，目标是和C++标准库的std::vector所有insert重载保持一致。

当必须重新分配内存时，insert的实现其实很简单。但当无需重新分配（即容量≥插入元素后的新大小）时，我遇到了困惑。

当类型可能不具备平凡可复制、默认构造或可移动特性时，我不确定如何正确初始化数据。

例如，对于以下原型：

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

若插入value不会触发分配空间扩容，则可直接使用已分配的内存。

我通常会考虑使用copy_backwards，但问题在于无法确定类型是否支持低成本移动（若支持则应优先选择）。输入value仍需复制，但我对后续操作存在困惑，假设我有以下成员变量：

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_backward操作。

这意味着我需要对插入点之后的每个元素执行反向的未初始化移动？而且由于标准库的未初始化函数不支持重叠安全操作（不存在std::uninitialized_move_backward(...)），我不得不手动逐个调用未初始化移动函数，例如：

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){
        // 反向迭代器需减1以正向定位
        std::uninitialized_move_n(pos_r, 1, pos_r - 1); 
    } 
}

当需要将已初始化元素移动到分配内存中重叠的已初始化与未初始化空间时，是否有办法避免手动反向逐个调用未初始化移动函数？或者标准库中有处理此场景的方法？

内容的提问来源于stack exchange，提问作者Krupip