Expand description
Macros, attributes, and traits for invasively reference-counted structs in Rust.
This crate is centered around manipulating invasively reference counted
structs. These structs are declared using the #[refcounted] attribute,
constructed with the make_refptr macro, and have their lifetimes managed
using the RefPtr and WeakPtr smart pointer types.
§Declaring a refcounted struct
The #[refcounted] attribute can be applied to a struct declaration to
mark it as refcounted. Refcounted structs are always allocated on the heap,
and are constructed using the make_refptr helper macro.
§Example
#[refcounted(local)]
struct HeapInteger {
value: Cell<i32>,
}
let orig = make_refptr!(HeapInteger { value: Cell::new(10) });
let copy = orig.clone();
orig.value.set(20);
assert_eq!(copy.value.get(), 20);§Allocating
Structs declared with #[refcounted] are constructed on the heap using the
make_refptr! macro. This macro accepts struct literal syntax, but
constructs the value onto the heap.
This is required in order to ensure that the type always lives on the heap for invasive reference counting.
§Example
let ptr = make_refptr!(HeapPair { t: 10, u: 20 });
assert_eq!(ptr.t, 10);
assert_eq!(ptr.u, 20);§Finalization and Drop
Types annotated with #[refcounted] cannot manually implement Drop, as it
would allow recovering a RefPtr<Self> while the object is being dropped,
leading to a use-after-free.
If a finalization method is needed, the #[refcounted(finalize)] attribute
provides support for custom finalization. If finalization is enabled, a fn finalize(&self) method is called before dropping any fields.
It is possible for code to acquire a new strong reference during the
finalize method, which may cause the struct to not be dropped after it
returns. Because of this, finalize may be called on the same struct
multiple times over it’s lifetime.
§Configuration
§#[refcounted(atomic)] and #[refcounted(local)]
Select between atomic reference counting, like Arc, or thread local
reference counting, like Rc. Atomically refcounted types may be shared
between threads, so long as all fields are also sharable.
The atomicity of the refcount must be specified.
§Example
#[refcounted(atomic)]
struct HeapInt { i: i32 }
let here = make_refptr!(HeapInt { i: 10 });
let thread = thread::spawn(move || here.i);
assert_eq!(thread.join().unwrap(), 10);§#[refcounted(weak)]
Adds support for weak reference counts and the WeakPtr smart pointer
type. This annotation may be combined with other annotations.
§Example
#[refcounted(atomic, weak)]
struct HeapInt { i: i32 }
let here = make_refptr!(HeapInt { i: 10 });
let weak = WeakPtr::new(&*here);
assert_eq!(weak.upgrade().unwrap().i, 10);
drop(here);
assert!(weak.upgrade().is_none());§#[refcounted(finalize)]
Calls a fn finalize(&self) method on the struct before attempting to
destroy it. See the “Finalization” section for more details. This annotation
may be combined with other annotations.
Structs which support being referenced using RefPtr are annotated with the
#[refcounted(...)] attribute. This attribute generates the necessary unsafe
code, extra members, and trait implementations required.
#[refcounted(atomic, finalize)]
struct FinalizeExample {}
static FINALIZED: AtomicBool = AtomicBool::new(false);
impl FinalizeExample {
fn finalize(&self) {
FINALIZED.store(true, SeqCst);
}
}
let orig = make_refptr!(FinalizeExample {});
assert_eq!(FINALIZED.load(SeqCst), false);
let copy = orig.clone();
assert_eq!(FINALIZED.load(SeqCst), false);
drop(orig);
assert_eq!(FINALIZED.load(SeqCst), false);
drop(copy);
assert_eq!(FINALIZED.load(SeqCst), true);§Trait Objects
#[refcounted] can also be used for managing the lifecycles of trait
objects, by including the Refcounted trait in your trait object’s
hierarchy. The Rc associated type will need to be specified in order to
maintain object safety.
The refcnt module contains the specific reference count types used by
this crate.
§Example
trait MyTrait : Refcounted<Rc = refcnt::AtomicWeak> {
fn my_trait_method(&self) -> i32;
}
#[refcounted(atomic, weak)]
struct MyStruct { i: i32 }
impl MyTrait for MyStruct {
fn my_trait_method(&self) -> i32 { self.i }
}
fn takes_trait_object(obj: &dyn MyTrait) -> i32 {
let strong_ref: RefPtr<dyn MyTrait> = RefPtr::new(obj);
strong_ref.my_trait_method()
}
let concrete = make_refptr!(MyStruct { i: 10 });
let i = takes_trait_object(&*concrete);
assert_eq!(i, 10);Modules§
- refcnt
- Reference counting types used by
Refcountedobjects.
Macros§
- make_
refptr - Allocate a new instance of a
Refcountedstruct using a struct literal.
Structs§
- RefPtr
- Strong reference to a
Refcountedobject. - WeakPtr
- Weak reference to a
Refcountedobject.
Traits§
- Refcounted
- An invasively reference counted type.
Attribute Macros§
- refcounted
- Attribute for declaring
Refcountedstructs.