含拷贝构造但无拷贝赋值的类插入deque失败的原因与解决方法

问题场景 #

当尝试将仅拥有拷贝构造函数、但因含const成员而无拷贝赋值运算符的类X插入std::deque时，部分插入操作编译失败，示例代码如下：

class X {
public:
    X(const int value): value(value) {}
    const int value;
};

void insert() {
    std::deque<X> queue;
    X x(3);
    queue.insert(queue.begin(), x); // 无法编译
    queue.emplace(queue.begin(), x); // 无法编译
    queue.emplace_front(x); // 编译正常
}

编译器报错类X无拷贝赋值运算符，但插入操作看似仅需拷贝构造函数，这背后的原因是什么？又该如何处理？

原因分析 #

std::deque的底层是分段数组结构，不同插入操作对元素类型的要求不同：

• queue.insert(queue.begin(), x) 和 queue.emplace(queue.begin(), x)：即使插入位置是容器头部，这类插入操作的实现逻辑可能需要移动现有元素来调整内存布局，这要求元素类型必须具备赋值运算符（CopyAssignable或MoveAssignable）。由于类X包含const成员，编译器自动删除了默认的拷贝赋值运算符，因此不满足操作要求，编译失败。
• queue.emplace_front(x)：该操作直接在容器头部的内存区域构造新元素，无需移动或赋值现有元素，仅需类X具备拷贝构造函数（传入x会触发拷贝构造），因此可以正常编译。

解决办法 #

移除成员变量的const属性（推荐） #

如果业务逻辑允许，去掉成员变量的const修饰，编译器会自动生成默认的拷贝赋值运算符，所有插入操作均可正常编译：

class X {
public:
    X(const int value): value(value) {}
    int value; // 移除const修饰
};

手动实现拷贝赋值运算符（不推荐） #

通过const_cast强制修改const成员的值（此操作会打破const的语义约束，可能导致未定义行为，仅在完全确认安全的场景下使用）：

class X {
public:
    X(const int value): value(value) {}
    const int value;

    X& operator=(const X& other) {
        if (this != &other) {
            // 强制修改const成员
            const_cast<int&>(this->value) = other.value;
        }
        return *this;
    }
};

仅使用两端插入操作（适配现有类结构） #

如果业务逻辑不需要在容器中间插入元素，直接使用emplace_front或emplace_back，这两个操作仅依赖构造函数，无需赋值运算符：

void insert() {
    std::deque<X> queue;
    X x(3);
    queue.emplace_front(x); // 正常编译
    queue.emplace_back(x);  // 正常编译
}

改用链表容器std::list #

std::list是链表结构，插入操作无需移动现有元素，仅需元素具备拷贝构造函数即可支持任意位置的插入：

void insert() {
    std::list<X> lst;
    X x(3);
    lst.insert(lst.begin(), x); // 正常编译
    lst.emplace(lst.begin(), x); // 正常编译
    lst.emplace_front(x); // 正常编译
}

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