我的问题是关于https://en.cppreference.com/w/cpp/memory/unique_ptr中的示例

struct List
{
    struct Node
    {
        int data;
        std::unique_ptr<Node> next;
    };
 
    std::unique_ptr<Node> head;
 
    ~List()
    {
        // destroy list nodes sequentially in a loop, the default destructor
        // would have invoked its `next`'s destructor recursively, which would
        // cause stack overflow for sufficiently large lists.
        while (head)
            head = std::move(head->next);
    }
 
    ...
};

当head = std::move(head->next)时，会发生三件事：
1.将head->next重置为nullptr;
1.将head设置为新值;
1.销毁head所指向的Node对象;
上面的代码工作意味着3保证发生在1之后，否则链接仍然存在。
我想知道是否有一个写下来的规则来保证这样的秩序，或者它只是一个隐藏的实现细节和例子只是工作。