C++ operator=隐式删除问题求助：Wanderer类赋值报错

报错的核心原因是**Object类包含非静态引用成员ObjectProgram& _program**：

• C++标准规定，当类包含引用成员时，编译器会隐式删除默认的拷贝赋值运算符和移动赋值运算符——因为引用一旦绑定到某个对象后就无法被重新绑定，默认赋值逻辑无法处理这种情况。
• Wanderer继承自Object，因此它的赋值运算符也会被隐式删除。你在initWanderer中使用的this->gaspard = Wanderer(...)本质是移动赋值操作，调用了被删除的Wanderer::operator=(Wanderer&&)，所以触发编译错误。
• 用std::vector<Wanderer>的push_back能正常运行，是因为push_back直接在容器内构造对象，没有触发赋值操作。

根据你的需求（单个对象、延迟初始化或构造时初始化），可以选择以下几种方案：

方案1：构造时直接初始化（推荐，最简单） #

如果GameEnvironment初始化时已经拥有_magic、_sphere、_textureProgram这些资源，直接通过成员初始化列表在GameEnvironment的构造函数中初始化gaspard，完全避免赋值操作：

修改GameEnvironment.hpp #

class GameEnvironment {
    // ...其他成员
    Wanderer gaspard; // 保持声明不变
public:
    // 声明构造函数，参数根据实际情况调整
    GameEnvironment(std::vector<FacesGroup> magic, std::vector<FacesGroup> sphere, ObjectProgram& textureProgram);
    // ...其他方法
};

修改GameEnvironment.cpp #

// 用成员初始化列表直接构造gaspard
GameEnvironment::GameEnvironment(std::vector<FacesGroup> magic, std::vector<FacesGroup> sphere, ObjectProgram& textureProgram)
    : _magic(std::move(magic)), _sphere(std::move(sphere)), _textureProgram(textureProgram),
      gaspard(_magic, _sphere, _textureProgram) {}

// 可以删除initWanderer函数，或者保留做其他初始化逻辑

方案2：用std::optional实现延迟初始化 #

如果必须在initWanderer中延迟初始化（比如依赖其他先初始化的资源），可以用std::optional包裹Wanderer，通过emplace直接在原地构造对象：

修改GameEnvironment.hpp #

#include <optional> // 需要包含头文件

class GameEnvironment {
    // ...其他成员
    std::optional<Wanderer> gaspard; // 改为optional类型
public:
    void initWanderer();
    // ...其他方法
};

修改GameEnvironment.cpp #

void GameEnvironment::initWanderer()
{
    // 直接在optional内部构造Wanderer，不触发赋值
    this->gaspard.emplace(this->_magic, this->_sphere, this->_textureProgram);
}

// 使用时需要检查是否初始化：
// if (gaspard) { gaspard->update_position(camera); }

方案3：将引用成员改为指针（需谨慎） #

如果允许修改Object类的设计，可以把_program从引用改为指针，这样编译器可以生成默认的赋值运算符（或你手动实现更安全的版本）：

修改Object.hpp #

class Object {
protected:
    // ...其他成员
    ObjectProgram* _program; // 从&改为*
    // ...其他成员
public:
    // 修改构造函数参数为指针
    Object(std::vector<FacesGroup> model, std::vector<FacesGroup> lodModel, ObjectProgram* program);
    // ...其他方法
};

修改Object.cpp #

Object::Object(std::vector<FacesGroup> model, std::vector<FacesGroup> lodModel, ObjectProgram* program)
    : _models({std::move(model), std::move(lodModel)}), _program(program) {}

修改Wanderer的构造函数 #

Wanderer::Wanderer(std::vector<FacesGroup> model, std::vector<FacesGroup> lodModel, ObjectProgram* program)
    : Object(std::move(model), std::move(lodModel), program) {}

修改GameEnvironment的initWanderer #

void GameEnvironment::initWanderer()
{
    this->gaspard = Wanderer(this->_magic, this->_sphere, &this->_textureProgram); // 传地址
}

注意：使用指针需要确保_textureProgram的生命周期长于Wanderer，避免悬空指针问题。

方案4：手动实现赋值运算符（不推荐） #

由于引用成员无法重新绑定，手动实现赋值运算符只能确保_program始终引用同一个对象，这种方式逻辑受限且容易出错，仅在特殊场景下考虑：

在Object类中添加移动赋值运算符 #

class Object {
public:
    // ...其他成员
    Object& operator=(Object&& other) noexcept {
        if (this != &other) {
            // 只能复制除_program外的其他成员
            _position = other._position;
            _scale = other._scale;
            _models = std::move(other._models);
            _angle = other._angle;
            _lod = other._lod;
            // _program 无法重新绑定，保持原引用
        }
        return *this;
    }
};

这种方式下，赋值后的gaspard的_program还是最初默认构造时绑定的对象，而不是新构造的Wanderer的_program，可能不符合你的预期。

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