将`std :: move（* this）`安全到`this-> some_method`创建的对象中吗？

Question

我想构建一个可调用的对象链，以后可以异步执行。我想尝试以下方法：构建节点的“嵌套”结构（通过将每个节点移动到其“父”中）导致存储所有计算的对象，并且可以按需启动链。

这是我脑子里想的：

template <typename TParent, typename TF> 
struct node 
{ 
    TParent _parent; 
    TF _f; 

    node(TParent&& parent, TF&& f) 
     : _parent{std::move(parent)}, _f{std::move(f)} 
    { 
    } 

    template <typename TFContinuation> 
    auto then(TFContinuation&& f_continuation) 
    { 
     using this_type = node<TParent, TF>; 
     return node<this_type, std::decay_t<TFContinuation>> 
      {std::move(*this), std::move(f_continuation)}; 
//   ^^^^^^^^^^^^^^^^ 
//   ...safe? 
    } 
}; 

上面的代码将允许用户编写类似链下列之一：

int main() 
{ 
    node n{some_root_callable, []{/*...*/}}; 
    n.then([]{/*...*/}) 
    .then([]{/*...*/}) 
    .then([]{/*...*/}) 
    .then([]{/*...*/}); 
} 

（真正的实现将支持更多的有用抽象如when_all(...)或when_any(...)。）

Wandbox example。

---

假设TParent，TF，和TFContinuation是可移动的可调用的对象，是安全（即明确定义）到的node::then调用期间调用std::move(*this)？

Answer 1

你可以做到这一点，它是安全的。它只会让成员未定义但有效的状态在大多数情况下为。有了这个说法，只要你不再尝试使用它的成员，移动this是安全的。但是对于标准库类型和大多数用户定义的类型，这甚至不会成为问题。

有一件事我会改变。我将只允许右值这个调用：

template <typename TFContinuation> //  v-- notice the && here. 
auto then(TFContinuation&& f_continuation) && { 
    using this_type = node<TParent, TF>; 

    return node<this_type, std::decay_t<TFContinuation>>{ 
     std::move(*this), std::move(f_continuation) 
    }; 
} 

伟大的，这是你甚至可以重载它时，它不是一个右值：

template <typename TFContinuation> 
auto then(TFContinuation&& f_continuation) const & { 
    using this_type = node<TParent, TF>; 

    return node<this_type, std::decay_t<TFContinuation>>{ 
     *this, std::move(f_continuation) 
    }; 
} 

Answer 2

代码中是否存在问题取决于代码对引用的操作。如果被调用的代码将对象变成糊状，那么当它返回时，你的代码必须处理已变成糊状的对象。但是，您可以从成员函数调用的函数是真实的，无论它是否用右值引用，可修改的左值引用，指针或您想要设想的任何其他机制调用。