如何在C++基类函数中返回派生类实例以支持链式调用？

问题根源 #

你代码里的核心问题出在临时对象的生命周期和指针类型转换上：

1. 悬垂指针导致的未定义行为
   第一个链式调用语句：

   derived_from_base* myClass = derived_from_base().add_data(someData);
   

   derived_from_base()创建的是一个临时对象，这个对象只在当前表达式有效，表达式执行完就会被销毁。add_data返回的是这个临时对象的base*指针，强制转成derived_from_base*后，myClass指向的是已经被销毁的对象，属于悬垂指针，此时访问对象成员的行为是未定义的，自然看不到数据。

2. 第二个语句的隐性错误
   你认为正常的第二个语句：

   derived_from_base* myOtherClass = derived_from_base();
   

   其实也是错误的——C++不允许将临时对象直接赋值给非const的裸指针，编译器应该会报错。你能看到“有数据”大概率是代码写错了，比如实际是用栈对象：

   derived_from_base myOtherClass;
   myOtherClass.add_data(someData);
   

   这种情况下栈对象的生命周期覆盖整个main函数，所以能正常访问数据。

3. 基类返回指针类型不匹配
   基类base的add_data返回base*，即使临时对象没销毁，直接转成derived_from_base*虽然语法通过，但属于不安全的向下转型，也会限制链式调用后续调用派生类的成员函数。

解决方案：用CRTP实现类型安全的链式调用 #

要让基类的成员函数支持派生类的链式调用，同时避免悬垂指针问题，可以用**奇异递归模板模式（CRTP）**来改造基类，让基类返回派生类的指针，同时使用栈对象或堆对象来保证生命周期：

修改后的代码 #

class data_class {};

// 用CRTP模板基类，让成员函数返回派生类指针
template<typename Derived>
class base {
public:
  Derived* add_data(data_class* data) {
    m_Data = data;
    // 安全向下转型，因为Derived确实继承自base<Derived>
    return static_cast<Derived*>(this);
  }

private:
  data_class* m_Data;
};

// 派生类继承时传入自身类型
class derived_from_base : public base<derived_from_base> {
public:
  void custom_function() {}
};

int main() {
  data_class* someData = new data_class();

  // 方案1：使用栈对象（推荐，无需手动管理内存）
  derived_from_base myClass;
  // 链式调用可以直接衔接派生类的成员函数
  myClass.add_data(someData)->custom_function();

  // 方案2：使用堆对象（需要手动释放内存）
  derived_from_base* myOtherClass = new derived_from_base();
  myOtherClass->add_data(someData)->custom_function();

  // 清理内存
  delete someData;
  delete myOtherClass;
}

关键说明 #

• CRTP的作用：通过模板让基类知道派生类的类型，add_data返回Derived*，这样链式调用后可以直接调用派生类的函数，无需手动转型。
• 避免临时对象：使用栈对象或new创建的堆对象，保证对象生命周期覆盖你的使用场景，不会出现悬垂指针。
• 安全转型：static_cast<Derived*>(this)是安全的，因为派生类明确继承自base<Derived>，不存在类型不匹配的风险。

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