c++ - `unique_ptr::operator bool()` 是否为已从 move()d move 的 unique_ptr 定义？

Question

据我了解，在我从标准库对象移出后，该对象处于有效但未定义的状态。但是在 unique_ptr 的情况下，它到底有多未定义？根据经验，下面的代码似乎有效，也就是说，在我从 p1 move 之后，“if ( p1 )” 的计算结果为 false。直觉上，这似乎是正确的行为。但是我可以依靠这个吗？

#include <memory>
#include <iostream>

int main( int argc, char* argv[] )
{
    using namespace std;

    unique_ptr<int> p1 {make_unique<int>(1)};
    unique_ptr<int> p2;

    if ( p1 )
        cout << "p1 owns an object" << endl;
    if ( p2 )
        cout << "p2 owns an object" << endl;

    p2 = move(p1);

    // Is the following test valid, now that p1 has been moved from?
    if ( p1 )
        cout << "p1 owns an object" << endl;
    if ( p2 )
        cout << "p2 owns an object" << endl;
}

输出:

p1 owns an object
p2 owns an object

Answer 1

unique_ptr 的规范明确指出， move 操作对此类指针的影响是从右侧指针到左侧的所有权转移指针(20.8.1/16 用于 move 构造函数，20.8.1.2.3/2 用于赋值)。 所有权转移的概念在标准 (20.8.1/4) 中明确定义，它表示在此类转移后右侧变为 nullptr。

这意味着状态或移出 unique_ptr 不仅有效，而且是定义的。