src/runtime/naming/name.cpp
void gid_managed_deleter(id_type_impl* p)
        {
            // a credit of zero means the component is not (globally) reference
            // counted
            if (detail::has_credits(*p)) {
                // execute the deleter directly
                decrement_refcnt(p);
            }
            else {
                delete p;   // delete local gid representation if needed
            }
        }
// custom deleter for managed gid_types, will be called when the last
// copy of the corresponding naming::id_type goes out of scope
custom deleter for managed gid_types, will be called when the last
copy of the corresponding naming::id_type goes out of scope
custom deleter for managed gid_types will be called when the last copy of the corresponding naming :: id_type goes out of scope
void gid_managed_deleter(id_type_impl* p)
        {
            if (detail::has_credits(*p)) {
                decrement_refcnt(p);
            }
            else {
                delete p;   
            }
        }
void gid_managed_deleter ( id_type_impl * p ) { if ( detail :: has_credits ( * p ) ) { decrement_refcnt ( p ) ; } else { delete p ; } }
custom deleter for managed gid_types, will be called when the last
copy of the corresponding naming::id_type goes out of scope
custom deleter for managed gid_types will be called when the last copy of the corresponding naming :: id_type goes out of scope
// a credit of zero means the component is not (globally) reference // counted // execute the deleter directly // delete local gid representation if needed