C++14中如何通过引用实现多态对象所有权转移以避免指针？

我基于对象引用保留多态行为的特性，构建了一套以传递const引用为核心的事件框架，在函数调用和回调场景下运行良好，但在需要从函数返回事件对象时遇到了麻烦。我知道当前ref_factory的实现会导致未定义行为——返回的引用指向已销毁的局部对象，std::move在这里根本没起到转移所有权的作用。

我的核心需求是：能否在不使用裸指针的前提下，让工厂创建的多态对象安全地将所有权转移到main函数中？ 基类是抽象类，没法在main里创建实例；而且只有工厂知道要创建哪个派生类，我也没法提前在main里构造派生类对象。我不是排斥指针，但引用风格的代码更简洁，希望能找到两全的方案。这在C++14中可行吗？还是只能退而求其次用指针和new？

问题代码示例 #

#include <iostream>
#include <memory>

class Base
{
public:
  inline Base(int type) : m_type(type){}
  virtual ~Base(){};
  virtual int method() const = 0;
  int m_type;
};

class Derived1 : public Base
{
public:
  inline Derived1(const int data) 
    : Base(1)
    , m_data(data){}
  virtual inline int method() const override {return m_data;} 

  int m_data;
};

// class Derived2 ...
// class Derived3 ...
// class Derived4 ...

const Base* ptr_factory()
{
  const Derived1* product = new Derived1(5);
  return product;
}

const Base& ref_factory()
{
  const Derived1 product(5);
  return std::move(product);
}

void do_the_thing(const Base& data)
{
  // if m_type is 1
  const Derived1& data_cast = dynamic_cast<const Derived1&>(data);
  
  std::cout<<"Hello World " << data.method();
}

int main()
{
  // pointer
  std::unique_ptr<const Base> ptr;
  ptr.reset(ptr_factory());
  do_the_thing(*ptr);
  return 0;
 
 // reference   
 // cannot create Base object here, because abstract, and cannot create Derived because I do not yet know which one
 const Base& ref = ref_factory(); // <- undefined behavior and lots of sadness
 do_the_thing(ref);
 
 return 0;
}

可行解决方案：用智能指针封装，保留引用式调用 #

你不需要放弃引用的简洁性，只要用智能指针管理对象所有权，调用时依然可以传递引用。C++14完全支持以下两种最优方案：

1. 返回std::unique_ptr<const Base> #

修改工厂函数直接返回智能指针，所有权明确转移到main，调用时解引用传递给do_the_thing，代码风格和引用式调用一致，同时避免裸指针的内存泄漏风险：

std::unique_ptr<const Base> smart_ptr_factory()
{
    return std::make_unique<const Derived1>(5);
}

// 在main中使用
auto ptr = smart_ptr_factory();
do_the_thing(*ptr); // 依然传递引用，保持原有简洁风格

2. 基于已知派生类集合用variant封装（C17+，C14可借助第三方库） #

如果所有派生类类型是确定的（比如你注释中的Derived1到Derived4），可以用std::variant封装不同的派生类对象，返回值类型明确，完全不需要指针。注意C14本身没有std::variant，可以使用Boost.Variant等第三方库，或升级到C17：

// C++17示例
#include <variant>

using EventVariant = std::variant<const Derived1, const Derived2, const Derived3, const Derived4>;

EventVariant variant_factory()
{
    return Derived1(5);
}

// 在main中使用
auto event = variant_factory();
std::visit([](const auto& e) { do_the_thing(e); }, event);

本质说明：多态离不开指针/引用 #

C++的多态机制本质上依赖指针或引用实现，但你可以用智能指针隐藏指针的细节，让调用层依然保持引用式的简洁代码，这是平衡所有权安全和代码风格的最优解。

为什么返回局部对象的引用不可行？ #

你已经明确这是未定义行为——局部对象在函数返回时会被销毁，返回的引用会变成悬垂引用。std::move在这里只是将左值转换为右值引用，并没有改变对象的生命周期，因此完全无法解决问题。

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