子类含移动构造时复用基类拷贝赋值运算符的优雅方案

算力阿峰

2026-6-25

解决方案：显式默认子类拷贝赋值运算符 + 复用基类赋值

核心解决思路是：显式将子类的拷贝赋值运算符声明为默认（= default），配合using Base::operator=声明，让基类的赋值运算符参与重载解析，同时避免编译器生成删除版的子类拷贝赋值。

问题根源回顾

当子类定义了移动构造函数时，编译器会隐式删除子类的拷贝赋值运算符（Derived& operator=(const Derived&) = delete）。这个删除版本的优先级高于using引入的基类赋值运算符，导致a = b（子类对象间赋值）会匹配到删除的函数，触发编译错误。

最优替代方案

通过显式默认子类的拷贝赋值运算符，编译器会生成符合默认行为的拷贝赋值（而非删除版本），同时using Base::operator=会将基类的赋值运算符纳入子类的重载集合，实现真正的继承复用：

修正后的代码示例

#include <iostream>

class Base {
public:
    Base& operator=(const Base&) {
        std::cout << "Base 拷贝赋值被调用\n";
        return *this;
    }
};

class Derived : public Base {
public:
    Derived() = default;
    Derived(Derived&&) noexcept {} // 自定义移动构造函数

    using Base::operator=; // 引入基类赋值运算符
    Derived& operator=(const Derived&) = default; // 显式默认子类拷贝赋值
};

int main() {
    Derived a, b;
    a = b; // 调用默认生成的Derived拷贝赋值，自动调用Base的拷贝赋值
    
    Base c;
    a = c; // 调用Base的operator=，符合重载匹配逻辑
}