void destroy(){ if(Ptr!=NULL)Pool.destroy(Ptr); Ptr=NULL; }
~shared_array_memory(){Pool.destroy(Ptr);}