C++模板类CBoxContainer仅Debug模式下触发Segmentation fault求助

问题根源 #

你实现的CBoxContainer类在处理std::string这类非平凡类型时，错误地使用了memcpy进行字节拷贝。std::string内部管理堆内存，memcpy只会复制其内部指针等字节数据，导致多个容器实例的std::string对象指向同一块内存——也就是浅拷贝。Debug模式下STL会加入额外的调试校验逻辑（比如_Container_base12::_Orphan_all_unlocked_v3的指针合法性检查），当共享内存被释放后，其他实例访问就会触发Segmentation Fault；Release模式的优化可能暂时掩盖问题，但代码实际存在严重的未定义行为。

问题集中在三处使用memcpy的地方：

• 拷贝构造函数
• Expand扩容函数
• 拷贝赋值运算符

修复方案 #

把所有memcpy替换为std::copy，它会调用对象的拷贝赋值运算符，正确复制非平凡类型的内部数据：

1. 修正拷贝构造函数 #

template<typename T>
CBoxContainer<T>::CBoxContainer(const CBoxContainer<T>& source) : m_pItems(new T[source.m_capacity]), m_capacity(source.m_capacity), m_size(source.m_size)
{
    if (CBoxContainer<T>::isVerbose)
    {
        std::cout << "Calling Copy Constructor at address " << this << ", copying " << source.GetSize() << " elements" << "\n";
    }
    // 用std::copy替换memcpy，正确复制对象
    std::copy(source.m_pItems, source.m_pItems + source.m_size, m_pItems);
}

2. 修正Expand扩容函数 #

template<typename T>
void CBoxContainer<T>::Expand(const size_t newCapacity)
{
    auto newPointer = new T[newCapacity];
    // 用std::copy替换memcpy，正确迁移对象
    std::copy(m_pItems, m_pItems + m_size, newPointer);
    delete []m_pItems;
    m_pItems = newPointer;
    m_capacity = newCapacity;
}

3. 修正拷贝赋值运算符 #

template<typename T>
void CBoxContainer<T>::operator=(const CBoxContainer<T>& source)
{
    if (this == std::addressof(source))
    {
        if (CBoxContainer<T>::isVerbose)
        {
            std::cout << "Skipping copy assignment, same container";
        }
        return;
    }

    if (CBoxContainer<T>::isVerbose)
    {
        std::cout << "Calling assignment operator with " << source.GetSize() << " elements \n";
    }
    if (source.m_size > m_capacity)
    {
        Expand(source.m_size);
    }
    m_capacity = source.m_capacity;
    m_size = source.m_size;
    // 用std::copy替换memcpy，正确复制对象
    std::copy(source.m_pItems, source.m_pItems + source.m_size, m_pItems);
}

补充说明 #

• std::copy会自动适配类型的拷贝逻辑，对于std::string这类需要深拷贝的类型，会正确复制内部的字符串数据，避免多个对象共享同一块堆内存的问题。
• 你的代码已经通过static_assert要求T是默认可构造的，std::copy的使用完全符合这个约束——新分配的数组已经默认构造了T对象，后续通过赋值覆盖即可。

验证结果 #

修改后，Debug模式下运行测试代码将不再触发Segmentation Fault，同时保证Release模式的行为正确，彻底消除未定义行为。

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