如何修改C++方法使cond为true时返回原对象而非副本？

首先得明确一个核心限制：你声明的std::vector<Base> objects是值类型容器，它只能存储Base的实例，而不是引用或指针。所以无论getObj返回什么，emplace_back最终都会把目标对象复制（或移动）到容器中——你没办法让容器直接持有原对象的引用，除非修改容器类型，但你明确说不能改这个。

不过我们可以换个思路：既然对象本身的拷贝无法避免，那我们可以优化Base内部数据的存储方式，让对象拷贝时不复制底层的std::vector<int>数据，从而达到类似“复用原对象”的效果。

方案：用共享指针存储内部数据 #

把Base里的p_从std::vector<int>改成std::shared_ptr<std::vector<int>>，这样多个Base对象可以共享同一个底层数组的所有权，对象拷贝时只会复制共享指针（这是一个非常轻量的操作），不会复制整个int数组。

修改后的完整代码如下：

#include <iostream>
#include <vector>
#include <memory>

class Base {
protected:
    std::shared_ptr<std::vector<int>> p_;
public:
    // 构造函数：传入vector，创建共享指针持有其副本
    Base(std::vector<int>& p) : p_(std::make_shared<std::vector<int>>(p.begin(), p.end())) {}
    
    // 拷贝构造和赋值运算符默认即可，共享指针会自动管理引用计数
    Base(const Base&) = default;
    Base& operator=(const Base&) = default;
    
    // 移动构造和赋值也可以默认，进一步优化性能
    Base(Base&&) = default;
    Base& operator=(Base&&) = default;
    
    Base getObj() const {
        if (cond) {
            return *this; // 现在拷贝的是Base对象，但内部p_是共享指针，无数据复制
        } else {
            std::vector<int> p1 = {1, 3, 5}; // 示例新数据
            return Base(p1);
        }
    }
    
    // 这里补充cond的定义（假设是类成员变量）
    bool cond = true;
};

int main() {
    std::vector<int> v = {2, 4, 5};
    std::vector<Base> objects;
    Base b(v);
    
    objects.emplace_back(b.getObj());
    
    // 验证数据共享：修改原对象的内部数组，容器里的对象也会同步变化
    *(b.p_) = {10, 20, 30};
    std::cout << objects[0].p_->at(0) << std::endl; // 输出10，说明数据是共享的
}

为什么不能直接返回引用？ #

你可能会想把getObj的返回类型改成const Base&，但这会导致严重的问题：

• 当cond为false时，你返回的是Base(p1)——这是一个临时对象，它的生命周期只在当前表达式结束。返回它的引用会导致悬空引用，后续访问这个引用会触发未定义行为。
• 即使cond为true时返回*this的引用，emplace_back仍然会把这个引用指向的对象复制到容器里，并没有避免对象拷贝，只是少了一次getObj内部的拷贝而已。

额外说明 #

如果你确实需要完全避免对象拷贝（比如Base的开销极大），那唯一的办法是修改容器类型为std::vector<std::unique_ptr<Base>>或std::vector<std::reference_wrapper<Base>>，但你明确说不能改容器，所以上面的共享指针方案是最适合你的。

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