更改指向 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 的全部原因是它是它以某种方式指向的对象的唯一所有者。由于您使用的是默认删除器，该所有权意味着 unique_ptr 将 delete 指向其对象的指针，试图结束其生命周期。但是一个函数局部对象已经被函数块拥有了它的生命周期"owned"，并且当执行离开该块时将被自动销毁； delete 指向此类对象的指针无效。

更改指向 unique_ptr 的变量

Changing pointed to variable of unique_ptr

c++

smart-pointers