Skip to content
Snippets Groups Projects
Commit 74045f24 authored by Jorge Aparicio's avatar Jorge Aparicio
Browse files

safe `&'static mut` references through a runtime checked macro

parent 9a80bae7
No related branches found
No related tags found
No related merge requests found
......@@ -22,3 +22,44 @@ macro_rules! iprintln {
iprint!($channel, concat!($fmt, "\n"), $($arg)*);
};
}
/// Macro to create an statically allocated value
///
/// This macro returns a value with type `Option<&'static mut $ty>`. `Some($expr)` will be returned
/// the first time the macro is executed; further calls will return `None`. To avoid `unwrap`ping a
/// `None` variant the caller must ensure that the macro is called from a function that's executed
/// at most once in the whole lifetime of the program.
///
/// # Example
///
/// ``` ignore
/// fn main() {
/// // OK if `main` is executed only once
/// let x: &'static mut bool = static_!(: bool = false).unwrap();
///
/// let y = alias();
/// // BAD this second call to `alias` will definitively `panic!`
/// let y_alias = alias();
/// }
///
/// fn alias() -> &'static mut bool {
/// static_!(: bool = false).unwrap()
/// }
/// ```
#[macro_export]
macro_rules! static_ {
(: $ty:ty = $expr:expr) => {
$crate::interrupt::free(|_| unsafe {
static mut USED: bool = false;
static mut VAR: $ty = $expr;
if USED {
None
} else {
USED = true;
let var: &'static mut _ = &mut VAR;
Some(var)
}
})
}
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment