更改指向unique_ptr的变量

Question

我不认为我正确理解了智能指针的概念。

看这个MWE：

// Example program
#include <iostream>
#include <memory>
#include <string>
struct P{
    float x, y;
    P() : x(0.f), y(0.f){}
    P(float x, float y) : x(x), y(y){}
    P(P&& q) : x(q.x), y(q.y){}
    P& operator=(P&& q){
        x = q.x;
        y = q.y;
        return *this;
    }
    P& operator=(const P&) = delete;
    P(const P&) = delete;
};
std::ostream& operator<<(std::ostream& out, const P& p){ out << p.x << " / " << p.y; return out;}
int main(){    
    P p1{1.f, 0.f};
    P p2{2.f, 0.f};
    std::unique_ptr<P> p1Ptr(std::make_unique<P>(std::move(p1)));
    P* p2Ptr = &p2;
    p1 = std::move(P{1.f, 1.f});
    p2 = std::move(P{2.f, 2.f});
    std::cout << " p1: " << p1 << "n";
    std::cout << "*p1: " << *p1Ptr << "n";
    std::cout << "*p1: " << *(p1Ptr.get()) << "n";
    std::cout << " p2: " << p2 << "n";
    std::cout << "*p2: " << *p2Ptr << std::endl; 
}

输出：

p1：1/1
*P1：1/0
*P1：1/0
P2：2/2
*P2：2/2

我本来可以预期std::unique_ptr也会看到p1的值更改。然而，这种情况并非如此。我该如何实现？

Answer 1

p1Ptr实际上并未指向对象p1。它指向使用std::make_unique使用构造函数P(P&&)创建的未命名对象。

在定义为功能块本地定义的对象上有一个std::unique_ptr<T>点是没有意义的。unique_ptr的全部原因是它是它指向对象的单个所有者。由于您使用的是默认的deleter，因此所有权意味着unique_ptr将delete指向其对象的指针，并试图终止其生命周期。但是函数本地对象已经具有其寿命由功能块"拥有"，并且当执行离开该块时会自动销毁；delete指向此对象无效。