Macro intrusive_collections::intrusive_adapter [−][src]
macro_rules! intrusive_adapter {
(@ impl $(#[$attr : meta]) * $vis : vis $name : ident($($args : tt), *) =
$pointer : ty : $value : path { $field : ident : $link : ty } $($where_ : tt)
*) => { ... };
(@ find_generic $(#[$attr : meta]) * $vis : vis $name : ident($($prev : tt) *)
> $($rest : tt) *) => { ... };
(@ find_generic $(#[$attr : meta]) * $vis : vis $name : ident($($prev : tt) *)
$cur : tt $($rest : tt) *) => { ... };
(@ find_if_generic $(#[$attr : meta]) * $vis : vis $name : ident <
$($rest : tt) *) => { ... };
(@ find_if_generic $(#[$attr : meta]) * $vis : vis $name : ident $($rest : tt)
*) => { ... };
($(#[$attr : meta]) * $vis : vis $name : ident $($rest : tt) *) => { ... };
}
Expand description
Macro to generate an implementation of Adapter
for a given set of types.
In particular this will automatically generate implementations of the
get_value
and get_link
methods for a given named field in a struct.
The basic syntax to create an adapter is:
ⓘ
intrusive_adapter!(Adapter = Pointer: Value { link_field: LinkType });
You can create a new instance of an adapter using the new
method or the
NEW
associated constant. The adapter also implements the Default
trait.
Generics
This macro supports generic arguments:
ⓘ
intrusive_adapter!(
Adapter<'lifetime, Type, Type2> =
Pointer: Value {
link_field: LinkType
}
where
Type: Copy,
Type2: ?Sized + 'lifetime
);
Note that due to macro parsing limitations, T: Trait
bounds are not
supported in the generic argument list. You must list any trait bounds in
a separate where
clause at the end of the macro.
Examples
use intrusive_collections::{LinkedListLink, RBTreeLink};
use intrusive_collections::intrusive_adapter;
pub struct Test {
link: LinkedListLink,
link2: RBTreeLink,
}
intrusive_adapter!(MyAdapter = Box<Test>: Test { link: LinkedListLink });
intrusive_adapter!(pub MyAdapter2 = Box<Test>: Test { link2: RBTreeLink });
intrusive_adapter!(pub(crate) MyAdapter3 = Box<Test>: Test { link2: RBTreeLink });
pub struct Test2<T>
where T: Clone + ?Sized
{
link: LinkedListLink,
val: T,
}
intrusive_adapter!(MyAdapter4<'a, T> = &'a Test2<T>: Test2<T> { link: LinkedListLink } where T: ?Sized + Clone + 'a);