将std::move(obj)传入自身方法是否安全？以链表递归修剪为例

背景 #

我有一个由Node组成的单链表，调用根节点的PruneRecursively方法应修剪掉部分节点，保留剩余链结构。每个节点私有地知晓自身是否应被保留。

实现代码 #

成员方法实现 #

unique_ptr<Node> Node::PruneRecursively(unique_ptr<Node> self)
{
    if (m_ChildNode)
        m_ChildNode = m_ChildNode->PruneRecursively(std::move(m_ChildNode));
    
    if (ShouldRmThis())
        return std::move(m_ChildNode);
    else
        return self;
}

调用代码 #

if (m_RootNode)
    m_RootNode = m_RootNode->PruneRecursively(std::move(m_RootNode));

疑问 #

我对最后一行代码存疑：调用方法前先对m_RootNode执行了move操作。目前代码能运行，但担心若方法中reset()指针（相当于delete this），会在访问成员前引发问题。请问该写法是否安全？若安全，原因是什么？还是存在潜在风险？

补充说明：Node::PruneRecursively设为静态会更合理，但我需要虚函数分发（Node是多态类型）。

回答 #

这个写法是安全的，核心原因在于C++成员函数调用的执行顺序规则：

1. 成员函数调用时，会先计算出对象的指针（也就是m_RootNode原来指向的内存地址），之后才会对函数参数进行求值。也就是说m_RootNode->PruneRecursively(...)里的->运算符，会在std::move(m_RootNode)执行前就锁定当前对象的内存地址，后续参数的move操作不会影响这个地址的有效性。
2. std::move(m_RootNode)只是把m_RootNode这个unique_ptr置为空，但原来的节点对象还在内存中——因为self参数已经接管了对象的所有权。此时成员函数已经开始执行，访问m_ChildNode、调用ShouldRmThis()都是基于之前锁定的对象地址，完全不会出现空指针访问问题。
3. 哪怕函数最后返回std::move(m_ChildNode)，导致原来的根节点被销毁，这也是在成员函数执行完毕后才会发生的事，不会干扰函数内部对成员变量的正常访问。

需要注意的潜在风险：

• 如果PruneRecursively内部有直接访问m_RootNode全局/外层变量的逻辑（而非通过this访问自身成员），那m_RootNode已经被move置空，会触发错误——但你的代码里没有这种情况，所有操作都是基于当前对象的成员，所以无需担心。
• 要确保ShouldRmThis()和m_ChildNode的访问逻辑，不会依赖m_RootNode的状态，否则可能出现业务逻辑层面的意外，但这不属于调用写法本身的安全问题。

另外，这种用unique_ptr<Node> self传递所有权的递归写法，配合多态虚函数是合理的选择——毕竟静态函数无法实现虚分发，你的设计逻辑没问题。

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