I have two types: A & B. A 'smartly' points B and B 'smartly' points A. In the main scope I have a smart pointer to A.
class A;
class B;
typedef shared_ptr<A> pA;
typedef shared_ptr<B> pB;
class B {
public:
    B() {}
    pA a;
    virtual ~B() {cout << "delete b" << endl;}
};
class A {
public:
    A() : b(new B()) {}
    pB b;
    virtual ~A() {cout << "delete a" << endl;}
};
int main(int argc, char **argv)
{
    {
        pA pa(new A());
        pa->b->a = pa;
    }
    cout << "here" << endl;
}
I want the two objects to be deleted in the end of the scope.
None of the objects is deleted, because A has two pointers to itself (one in b and one in the main scoop).
This is a simple example. Actually I have more than two types and more pointers inside them. One can imagine a big structure of objects points to each other floating in the RAM, with only one pointer to this structure from the main scope. I want this structure to be deleted once this pointer is freed.
 
     
     
     
    