编译器为何将类方法声明为删除态？含std::pair的TreeNode类报错修复

一、编译器为啥会把operator=设为删除态？ #

C++编译器只会在所有成员都能被合法赋值的前提下，自动生成默认的赋值运算符(operator=)。如果你的TreeNode类存在以下任意一种情况，编译器就会隐式删除默认的operator=：

• 类包含**const修饰的成员变量**：const变量初始化后无法被修改，而赋值运算符需要修改成员状态，因此默认版本被删除。
• 类包含引用类型的成员变量：引用一旦绑定到对象就无法重新绑定，赋值运算符无法完成引用的"赋值"操作，默认版本被删除。
• 类的某个成员本身的operator=被删除（比如成员是std::atomic、std::mutex这类禁用赋值的类型，或者自定义的禁用赋值的类）。
• 继承的基类的operator=被删除或不可访问。

结合你的场景，大概率是pairValue_被声明为const std::pair<Kty_, Dty_>，或者类里还有其他const/引用成员，导致默认赋值运算符被删除。

二、修复方案 #

根据不同的原因，对应不同的解决方式：

1. 移除不必要的const/引用修饰 #

如果pairValue_不需要是const或引用类型，直接去掉修饰符即可：

// 原错误写法（示例）
template <typename Kty_, typename Dty_>
class TreeNode {
private:
    const std::pair<Kty_, Dty_> pairValue_; // const导致默认operator=被删除
    // 或者 std::pair<Kty_, Dty_>& pairValue_; // 引用也会触发同样问题
public:
    TreeNode(const std::pair<Kty_, Dty_>& val) : pairValue_(val) {}
};

// 修复后
template <typename Kty_, typename Dty_>
class TreeNode {
private:
    std::pair<Kty_, Dty_> pairValue_; // 去掉const/引用
public:
    TreeNode(const std::pair<Kty_, Dty_>& val) : pairValue_(val) {}
    
    // 编译器会自动生成合法的默认operator=，也可显式声明
    TreeNode& operator=(const TreeNode& other) = default;
};

只要Kty_和Dty_本身支持赋值，这个方案就能解决问题。

2. 手动实现自定义operator=（仅当必须保留const/引用成员时） #

如果确实需要保留const或引用成员，你需要手动写赋值运算符，但要注意：const成员无法被修改，引用无法重新绑定，所以这种场景下赋值操作的意义需要仔细考量。

比如，如果const成员是类实例的唯一标识（比如ID），那赋值操作本身就不合理，应该直接禁用赋值：

TreeNode& operator=(const TreeNode&) = delete;

如果只是想限制成员的修改，但需要支持其他成员的赋值，可以手动实现operator=，只修改可修改的成员：

template <typename Kty_, typename Dty_>
class TreeNode {
private:
    const std::pair<Kty_, Dty_> pairValue_; // 必须保留const
    TreeNode* left_;
    TreeNode* right_;
public:
    TreeNode(const std::pair<Kty_, Dty_>& val) : pairValue_(val), left_(nullptr), right_(nullptr) {}
    
    // 手动实现赋值运算符，仅修改left_和right_，不触碰const的pairValue_
    TreeNode& operator=(const TreeNode& other) {
        if (this != &other) {
            left_ = other.left_;
            right_ = other.right_;
            // pairValue_无法被修改，此处不能赋值
        }
        return *this;
    }
};

但这种实现要明确告知调用者：赋值操作不会修改pairValue_，避免产生误解。

3. 确保Kty_和Dty_支持赋值 #

如果Kty_或Dty_本身是禁用赋值的类型（比如它们包含const成员或引用），那你需要调整这两个类型的定义，让它们支持赋值，或者在TreeNode的operator=里手动处理这些类型的赋值（比如用移动构造创建新对象替换，但可能需要额外的设计）。

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