[Gc] Weak pointers

Emmanuel Stapf [ES] manus@eiffel.com
Sat, 10 May 2003 16:24:16 -0700

Is there a way to implement a weak pointer? That is to say something like:

a_weak_ptr = weak_pointer_of (my_obj);

Then to access `my_obj' through `a_weak_ptr' by doing something like:

the_object = access_object_through_weak_ptr (a_weak_ptr);

If `the_object' is null then it means that `my_obj' was collected and it is up to
the programmer to do the proper thing.