c++ - 共享指针 : why no double free?

Question

为什么当共享指针超出范围时此代码不生成双重释放？

int main()
{
    {
        auto * ptr = new int(1);
        shared_ptr<int> a( ptr );
        shared_ptr<int> b( ptr );
        cout << "ok: " << *a << *b << endl;
    }
    cout << "still ok" << endl;
    return 0;
}

Answer 1

Why does this code NOT generate a double free when the shared pointers go out of scope?

为什么你认为它没有？

这是未定义的行为，任何事情都有可能发生。这包括您的程序打印出 still ok。