如何实现递归链表节点类中右值以指针形式持久化？

核心问题分析 #

你想要的链式写法本质是通过临时对象嵌套构造链表，但直接传递临时对象的地址会导致指针悬空——临时对象在表达式结束后就会被销毁，后续访问child_会触发未定义行为。必须让这些临时创建的节点拥有足够长的生命周期，或是将其存储在堆上并由父节点管理所有权。

方案一：使用智能指针管理所有权（推荐） #

通过std::unique_ptr替代裸指针，让每个节点自动管理子节点的内存，同时利用移动语义实现临时对象的转移，避免拷贝开销。

#include <memory>

struct ListNode {
    int data_;
    std::unique_ptr<ListNode> child_;

    // 基础构造：接受裸指针（兼容原有代码）
    ListNode(int data, ListNode* child) : data_(data), child_(child) {}

    // 构造叶子节点：接受nullptr
    ListNode(int data, std::nullptr_t) : data_(data), child_(nullptr) {}

    // 链式构造：接受右值节点，转移所有权到堆上
    ListNode(int data, ListNode&& child) 
        : data_(data), child_(std::make_unique<ListNode>(std::move(child))) {}

    // 可选：支持指向已存在的左值节点（需保证该节点生命周期长于当前节点）
    ListNode(int data, ListNode& child) : data_(data), child_(&child) {}
};

使用方式 #

注意你原写法中的逗号表达式是错误的（逗号运算符只会返回最后一个值），正确的链式构造写法如下：

ListNode head(1, ListNode(2, ListNode(3, nullptr)));

所有临时节点会通过移动语义被转移到堆上，由std::unique_ptr自动管理内存，无需手动释放。

方案二：基于裸指针的手动内存管理 #

若必须保留裸指针，可在构造函数中将临时对象移动到堆上，并通过析构函数递归释放内存，同时禁止拷贝操作避免双重释放：

struct ListNode {
    int data_;
    ListNode* child_;

    // 基础构造
    ListNode(int data, ListNode* child) : data_(data), child_(child) {}

    // 构造叶子节点
    ListNode(int data, std::nullptr_t) : data_(data), child_(nullptr) {}

    // 链式构造：将临时节点移动到堆上
    ListNode(int data, ListNode&& child) 
        : data_(data), child_(new ListNode(std::move(child))) {}

    // 递归释放子节点内存
    ~ListNode() { delete child_; }

    // 禁止拷贝，避免双重释放
    ListNode(const ListNode&) = delete;
    ListNode& operator=(const ListNode&) = delete;

    // 支持移动构造/赋值，转移资源
    ListNode(ListNode&&) noexcept = default;
    ListNode& operator=(ListNode&&) noexcept = default;
};

使用方式 #

与方案一相同：

ListNode head(1, ListNode(2, ListNode(3, nullptr)));

所有临时节点会被转移到堆上，析构head时会递归删除所有子节点，避免内存泄漏。

关键原理说明 #

• 右值引用构造函数：通过ListNode&&接收临时对象（右值），利用std::move将临时对象的资源转移到堆上，避免临时对象销毁后指针悬空。
• 所有权管理：无论是智能指针还是手动堆分配，核心都是让父节点持有子节点的所有权，保证子节点的生命周期与父节点一致。

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