据我了解,在我从标准库对象移出后,该对象处于有效但未定义的状态。但是在 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
最佳答案
unique_ptr
的规范明确指出, move 操作对此类指针的影响是从右侧指针到左侧的所有权转移指针(20.8.1/16 用于 move 构造函数,20.8.1.2.3/2 用于赋值)。 所有权转移的概念在标准 (20.8.1/4) 中明确定义,它表示在此类转移后右侧变为 nullptr。
这意味着状态或移出 unique_ptr
不仅有效,而且是定义的。
关于c++ - `unique_ptr::operator bool()` 是否为已从 move()d move 的 unique_ptr 定义?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36732917/