[c++] unique_ptr은 이동 후 nullptr을 저장하도록 보장됩니까?

이사 후 unique_ptr보관 이 보장 nullptr되나요?

std::unique_ptr<int> p1{new int{23}};
std::unique_ptr<int> p2{std::move(p1)};
assert(!p1); // is this always true?



답변

예, nullptr이후 move와 비교할 수 있으며 동등하게 비교할 수 있습니다.

§20.8.1 / 4 [unique.ptr] 부터

또한 u요청시 소유권을 다른 고유 포인터로 전송할 수 있습니다 u2. 그러한 전송이 완료되면, 다음 사후 보류 :
u2.p이전 전송과 동일한 u.p,
u.p와 동일nullptr 하고,

(멤버 p는 앞에서 설명한 것처럼 — 고유 포인터는 u두 번째 개체에 대한 포인터를 저장하는 개체입니다.p )


답변

예. C ++ 2011 표준 섹션 20.7.1 / 4에서 :

또한 u는 요청에 따라 소유권을 다른 고유 포인터 u2로 전송할 수 있습니다. 이러한 전송이 완료되면 다음 사후 조건은 […] [원본 unique_ptr]이 nullptr과 같습니다 …


답변