macro_rules! wrapper {
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (Boxed<$ffi_name:ty>);
match fn {
copy => |$copy_arg:ident| $copy_expr:expr,
free => |$free_arg:ident| $free_expr:expr,
$(
type_ => || $get_type_expr:expr,
)?
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (BoxedInline<$ffi_name:ty>);
match fn {
$(
copy => |$copy_arg:ident| $copy_expr:expr,
free => |$free_arg:ident| $free_expr:expr,
)?
$(
init => |$init_arg:ident| $init_expr:expr,
copy_into => |$copy_into_arg_dest:ident, $copy_into_arg_src:ident| $copy_into_expr:expr,
clear => |$clear_arg:ident| $clear_expr:expr,
)?
$(
type_ => || $get_type_expr:expr,
)?
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (BoxedInline<$ffi_name:ty>);
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (Shared<$ffi_name:ty>);
match fn {
ref => |$ref_arg:ident| $ref_expr:expr,
unref => |$unref_arg:ident| $unref_expr:expr,
$(
type_ => || $get_type_expr:expr,
)?
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (Object<$ffi_name:ty $(, $ffi_class_name:ty)?>) $(@implements $($implements:path),+)?;
match fn {
type_ => || $get_type_expr:expr,
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (Object<$ffi_name:ty $(, $ffi_class_name:ty)?>) @extends $($extends:path),+ $(, @implements $($implements:path),+)?;
match fn {
type_ => || $get_type_expr:expr,
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (ObjectSubclass<$subclass:ty>) $(@implements $($implements:path),+)?;
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (ObjectSubclass<$subclass:ty>) @extends $($extends:path),+ $(, @implements $($implements:path),+)?;
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (Interface<$ffi_name:ty $(, $ffi_class_name:ty)?>) $(@requires $($requires:path),+)?;
match fn {
type_ => || $get_type_expr:expr,
}
) => { ... };
(
$(#[$attr:meta])*
$visibility:vis struct $name:ident $(<$($generic:ident $(: $bound:tt $(+ $bound2:tt)*)?),+>)? (ObjectInterface<$iface_name:ty>) $(@requires $($requires:path),+)?;
) => { ... };
}
Expand description
Defines a wrapper type and implements the appropriate traits.
The basic syntax is
wrapper! {
/// Your documentation goes here
pub struct $name($kind<$foreign>);
match fn {
$fn_name => /* a closure-like expression */,
...
}
}
This creates a wrapper named $name
around the foreign type
$foreign
of $kind
— one of Boxed
,
Shared
, or Object
.
Inside the match fn
block there are closure-like expressions to
provide ways of copying/freeing, or referencing/unreferencing the
value that you are wrapping. These expressions will be evaluated
in an unsafe
context, since they frequently invoke extern
functions from an FFI crate.
What follows is a description of each of the possible $kind
:
Boxed
, Shared
, and Object
;
note that each supports different sets of $fn_name
inside the
match fn
block. Also, Object
may require you to specify
things like the class struct to wrap, plus any interfaces that the
class implements.
§Boxed (heap allocated)
Boxed records with single ownership allocated on the heap.
With no registered glib_ffi::GType
:
wrapper! {
/// Text buffer iterator
pub struct TextIter(Boxed<ffi::GtkTextIter>);
match fn {
copy => |ptr| ffi::gtk_text_iter_copy(ptr),
free => |ptr| ffi::gtk_text_iter_free(ptr),
}
}
copy
: |*const $foreign| -> *mut $foreign
creates a copy of the value.
free
: |*mut $foreign|
frees the value.
With a registered glib_ffi::GType
:
wrapper! {
/// Text buffer iterator
pub struct TextIter(Boxed<ffi::GtkTextIter>);
match fn {
copy => |ptr| ffi::gtk_text_iter_copy(ptr),
free => |ptr| ffi::gtk_text_iter_free(ptr),
type_ => || ffi::gtk_text_iter_get_type(),
}
}
type_
: || -> glib_ffi::GType
(optional) returns the
glib_ffi::GType
that corresponds to the foreign struct.
§BoxedInline (inline, stack allocated)
Boxed records with single ownership allocated on the stack or otherwise inline.
With no registered glib_ffi::GType
:
wrapper! {
/// Text buffer iterator
pub struct TextIter(BoxedInline<ffi::GtkTextIter>);
match fn {
copy => |ptr| ffi::gtk_text_iter_copy(ptr),
free => |ptr| ffi::gtk_text_iter_free(ptr),
}
}
copy
: |*const $foreign| -> *mut $foreign
(optional) creates a heap allocated copy of the value.
free
: |*mut $foreign|
(optional) frees the value.
With a registered glib_ffi::GType
:
wrapper! {
/// Text buffer iterator
pub struct TextIter(BoxedInline<ffi::GtkTextIter>);
match fn {
copy => |ptr| ffi::gtk_text_iter_copy(ptr),
free => |ptr| ffi::gtk_text_iter_free(ptr),
type_ => || ffi::gtk_text_iter_get_type(),
}
}
type_
: || -> glib_ffi::GType
(optional) returns the
glib_ffi::GType
that corresponds to the foreign struct.
§Shared
Records with reference-counted, shared ownership.
With no registered glib_ffi::GType
:
wrapper! {
/// Object holding timing information for a single frame.
pub struct FrameTimings(Shared<ffi::GdkFrameTimings>);
match fn {
ref => |ptr| ffi::gdk_frame_timings_ref(ptr),
unref => |ptr| ffi::gdk_frame_timings_unref(ptr),
}
}
ref
: |*mut $foreign|
increases the refcount.
unref
: |*mut $foreign|
decreases the refcount.
With a registered glib_ffi::GType
:
wrapper! {
/// Object holding timing information for a single frame.
pub struct FrameTimings(Shared<ffi::GdkFrameTimings>);
match fn {
ref => |ptr| ffi::gdk_frame_timings_ref(ptr),
unref => |ptr| ffi::gdk_frame_timings_unref(ptr),
type_ => || ffi::gdk_frame_timings_get_type(),
}
}
type_
: || -> glib_ffi::GType
(optional) returns the
glib_ffi::GType
that corresponds to the foreign struct.
§Object
Objects – classes. Note that the class name, if available, must be specified after the $foreign type; see below for non-derivable classes.
The basic syntax is this:
wrapper! {
/// Your documentation goes here
pub struct InstanceName(Object<ffi::InstanceStruct, ffi::ClassStruct>)
@extends ParentClass, GrandparentClass, ...,
@implements Interface1, Interface2, ...;
match fn {
type_ => || ffi::instance_get_type(),
}
}
type_
: || -> glib_ffi::GType
returns the glib_ffi::GType
that corresponds to the foreign class.
§All parent classes must be specified
In the example above, “@extends ParentClass, GrandparentClass, ...,
” is where you must
specify all the parent classes of the one you are wrapping. The uppermost parent class,
glib::Object
, must not be specified.
For example, ffi::GtkWindowGroup
derives directly from
GObject
, so it can be simply wrapped as follows:
wrapper! {
pub struct WindowGroup(Object<ffi::GtkWindowGroup, ffi::GtkWindowGroupClass>);
match fn {
type_ => || ffi::gtk_window_group_get_type(),
}
}
In contrast, ffi::GtkButton
has a parent, grandparent, etc. classes, which must be specified:
wrapper! {
pub struct Button(Object<ffi::GtkButton>) @extends Bin, Container, Widget;
// see note on interfaces in the example below
match fn {
type_ => || ffi::gtk_button_get_type(),
}
}
§Objects which implement interfaces
The example above is incomplete, since ffi::GtkButton
actually implements two interfaces,
Buildable
and Actionable
. In this case, they must be specified after all the parent classes
behind the @implements
keyword:
wrapper! {
pub struct Button(Object<ffi::GtkButton>)
@extends Bin, Container, Widget, // parent classes
@implements Buildable, Actionable; // interfaces
match fn {
type_ => || ffi::gtk_button_get_type(),
}
}
§Non-derivable classes
By convention, GObject implements “final” classes, i.e. those who
cannot be subclassed, by not exposing a public Class struct.
This way it is not possible to override any methods, as there are
no klass.method_name
fields to overwrite. In this case, don’t
specify a FFI class name at all in the Object<>
part:
wrapper! {
pub struct Clipboard(Object<ffi::GtkClipboard>);
...
}
§Interfaces
Interfaces are passed in the same way to the macro but instead of specifying
Object
, Interface
has to be specified:
wrapper! {
pub struct TreeModel(Interface<ffi::GtkTreeModel, ffi::GtkTreeModelIface>);
...
}
§Interfaces with prerequisites
Interfaces can declare prerequisites, i.e. the classes from which types that implement the interface have to inherit or interfaces that have to be implemented:
wrapper! {
pub struct TreeSortable(Interface<ffi::GtkTreeSortable, ffi::GtkTreeSortable>) @requires TreeModel;
...
}