将unique_ptr移交至其指向的任务对象实现自毁是否属于未定义行为？

问题 #

我正尝试实现一个任务系统，期望任务在无指令可执行时能自行销毁。为此设计了一种机制：将创建任务时返回的unique_ptr句柄传回给任务本身，让其在超出作用域时销毁对象。参考示例中的pass_back_ownership函数，它会将unique_ptr移动到任务函数中，使其在超出作用域时销毁对象。请问这种做法属于未定义行为（UB）吗？是否合法且符合最佳实践？

示例代码 #

#include <future>
#include <memory>
#include <cstdio>

struct task;

using task_ptr = std::unique_ptr<task>;

struct task
{
    task() = default;

    ~task() {
        printf("task deleted!\n");
    }

    auto pass_back_ownership(task_ptr&& ptr) {
        auto tmp = std::move(ptr);
    }

    // Task stack
    // ...
};


int main()
{
    task_ptr ptr = std::make_unique<task>();

    ptr->pass_back_ownership(std::move(ptr));

    printf("end!\n");
}

程序输出 #

task deleted!
end!

回答 #

1. 是否属于未定义行为？ #

这种做法不属于未定义行为。具体逻辑如下：

• 调用ptr->pass_back_ownership(std::move(ptr))时，会先确定成员函数的调用目标：此时ptr尚未被移动，指向有效的task对象，成员函数的调用完全合法；
• 随后才将std::move(ptr)作为参数传递，此时ptr被移动为空指针，但成员函数已经开始执行；函数内部的tmp会接管原对象的所有权，当pass_back_ownership执行完毕，tmp超出作用域触发task析构，完成对象销毁；
• 全程没有访问已销毁对象，也没有违反unique_ptr的单一所有权规则。

2. 是否合法？ #

该做法完全合法，符合C++标准对unique_ptr移动语义的规定：

• std::move仅将左值转换为右值引用，不会立即销毁对象；
• 移动后原ptr变为空，但此时它已经完成了成员函数调用的任务，后续也未被使用；
• 所有权转移路径清晰，不存在悬空或重复释放的问题。

3. 是否符合最佳实践？ #

这种做法能实现需求，但并非最佳实践，存在可优化的点：

• 可读性不足：将对象所有权传递给自身成员函数的逻辑不够直观，增加了其他开发者的理解成本；
• 潜在维护风险：如果后续在main或其他地方误操作已被移动的ptr（比如调用ptr->xxx），会触发空指针访问；
• 更优替代方案：可以让任务自身管理生命周期，比如任务完成时主动调用delete this（需确保对象是动态分配）；或者使用std::shared_ptr配合std::enable_shared_from_this，让任务持有自身的shared_ptr，语义更清晰，也更符合C++的惯用设计。

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