c++ - 悬挂指针示例

Question

在下面的代码中，为什么s1.printVal会导致悬空指针错误？ s1 对象，即它的指针，在被销毁之前是否仍然可以访问？

class Sample
{
  public:
    int *ptr;
    Sample(int i)
    {
        ptr = new int(i);
    }

    ~Sample()
    {
        delete ptr;
    }
    void PrintVal()
    {
        cout << "The value is " << *ptr;
    }
};

void SomeFunc(Sample x)
{
    cout << "Say i am in someFunc " << endl;
}

int main()
{
    Sample s1 = 10;
    SomeFunc(s1);
    s1.PrintVal(); // dangling pointer
}

Source

Answer 1

这里的问题是为 SomeFunc() 的参数所做的复制。该拷贝在销毁时取消分配您的指针。您还需要实现一个复制构造函数和复制赋值运算符。参见 rule of three .

编辑:

这是“扩展的”伪代码，即编译器在 main() 函数中为您做了什么:

// main
addr0 = grab_stack_space( sizeof( Sample )); // alloc stack space for s1
Sample::ctor( addr0, 10 );                   // call ctor of Sample
addr1 = grab_stack_space( sizeof( Sample )); // alloc stack for argument
Sample::ctor( addr1, addr0 );                // call COPY-ctor of Sample
SomeFunc( addr1 );                           // call SomeFunc
Sample::dtor( addr1 );                       // XXX: destruct the copy
free_stack_space( addr1, sizeof( Sample ));  // free stack taken by copy
Sample::PrintVal( addr0 );                   // call member func on s1
Sample::dtor( addr0 );                       // destruct s1
free_stack_space( addr0, sizeof( Sample ));  // YYY: free stack taken by s1

这不是精确的表示，而是概念性的解释。它只是有助于思考编译器与您的代码有什么关系。

Sample的指针成员在XXX标记的步骤被delete，然后delete - 在 YYY 步再次编辑。