Question

据我所知，auto_ptr致力于所有权转让的概念。此外，一旦自动指针将其所有权转移到另一个自动指针，它就不应该再引用它指向的对象了。但是，我发现这不是以下程序中所示的情况。我错过了什么吗？请帮忙。

#include <iostream>
#include <string>
#include <memory>

class A
{
    public:
    void display(){
       std::cout << "Inside class A" << std::endl;
    }
};

int main()
{
    std::auto_ptr<A> p1(new A());
    std::auto_ptr<A> p2;
    std::cout << p1.get() << std::endl;
    p2=p1; 

    std::cout << p2.get() << std::endl;
    p2->display();

    std::cout <<p1.get()<< std::endl;  //Address of shows 0 as expected
    p1->display();                     //L1

    std::auto_ptr<A> p3 = p1; //L2
    std::cout << p3.get() << std::endl;  //Address shows 0 as expected
    p3->display(); 

    return 0;
}

Output:
0x45a0620
0x45a0620
Inside class A
0
Inside class A
0
Inside class A

第L1行：这是如何工作的，因为p1不再拥有所有权？

第L2行：这是如何工作的，因为p1不再拥有所有权了？

Answer 1

您的代码没有显示您的想法。

这是直截了当的未定义行为：此处auto_pointer只是模糊了您的代码缩减为：

的事实

A *a {nullptr};
a->display();

考虑方法A::display - 它不是虚拟的，所以本质上是一个简单的函数，其名称具有类范围，并通过某种机制接收指向对象的隐式this指针。它被调用了。

由于函数地址并不依赖于对象指针，因此编译后的代码会发出成功调用函数的代码，只需this==nullptr。

如果display打印this的值，或者在函数内使用A的非静态数据成员，这应该是显而易见的。

最后，正如NathanOliver指出的那样，auto_pointer无论如何都被弃用了。

所有权转让后，我的自动指针即可运行

1 个答案: