如何在移动对象后让a、b共享原数据且无需修改现有代码？

你的需求核心是既要通过move避免拷贝开销，又要保留类似引用的使用语法，同时允许变更引用目标，还不用修改大量现有代码。原生引用或指针都没法同时满足这些要求，这里推荐一个自定义包装类——它用智能指针管理对象所有权，同时重载运算符让用法和普通对象完全一致。

实现思路 #

我们可以封装一个MutableValue类，它：

• 支持从右值（move过来的对象）构造，彻底避免拷贝
• 允许随时重置指向新的对象，满足你变更引用目标的需求
• 重载operator*、operator->和隐式转换运算符，让它的用法和普通变量完全匹配，不用改动现有代码

代码示例 #

#include <memory>
#include <utility>

template <typename T>
class MutableValue {
public:
    // 默认构造空对象（可选）
    MutableValue() = default;

    // 从右值构造，转移对象所有权（无拷贝）
    explicit MutableValue(T&& obj) 
        : ptr_(std::make_unique<T>(std::move(obj))) {}

    // 重置为新对象，同样用move避免拷贝
    void reset(T&& obj) {
        ptr_ = std::make_unique<T>(std::move(obj));
    }

    // 重载解引用运算符，支持像引用一样访问
    T& operator*() { return *ptr_; }
    const T& operator*() const { return *ptr_; }

    // 重载箭头运算符，支持访问成员函数/变量
    T* operator->() { return ptr_.get(); }
    const T* operator->() const { return ptr_.get(); }

    // 隐式转换为T&，让现有代码直接用 . 访问成员（关键）
    operator T&() { return *ptr_; }
    operator const T&() const { return *ptr_; }

private:
    std::unique_ptr<T> ptr_; // 用unique_ptr管理对象所有权
};

使用方式 #

假设你有一个大对象BigData：

struct BigData {
    int id;
    std::vector<char> large_buffer;

    void process() { /* 处理数据逻辑 */ }
};

// 原来的代码：
BigData original_data{1, std::vector<char>(1024 * 1024)};

// 用MutableValue包装，move避免拷贝
MutableValue<BigData> a{std::move(original_data)};
MutableValue<BigData> b{std::move(a)}; // 这里也是move，无内存拷贝开销

// 完全像普通对象一样使用，不用改现有代码！
a.id = 2;
b.process();
int buffer_size = b.large_buffer.size();

// 之后可以重置a指向新的对象
BigData new_data{3, std::vector<char>(2048 * 2048)};
a.reset(std::move(new_data));

为什么这能满足你的需求？ #

• 零拷贝开销：所有对象传递都是通过std::move转移所有权，没有复制大内存的操作
• 引用式语法：通过重载运算符和隐式转换，你可以直接用a.member或a.function()，和原来的代码完全一致，不用修改大量非指针代码
• 可重置目标：调用reset()就能让a指向新的对象，解决了原生引用不能变更目标的问题

替代方案：共享所有权场景用std::shared_ptr #

如果你需要a和b同时共享同一个对象的所有权（而非单纯转移），可以把包装类里的std::unique_ptr换成std::shared_ptr，这样move之后a和b都能访问同一个对象，同时也支持重置：

template <typename T>
class SharedMutableValue {
public:
    explicit SharedMutableValue(T&& obj) 
        : ptr_(std::make_shared<T>(std::move(obj))) {}

    void reset(T&& obj) {
        ptr_ = std::make_shared<T>(std::move(obj));
    }

    // 其余运算符重载和上面一致...
private:
    std::shared_ptr<T> ptr_;
};

内容的提问来源于stack exchange，提问作者Remi.b