Struct esp_idf_svc::sntp::EspSntp
source · pub struct EspSntp<'a> { /* private fields */ }
Implementations§
source§impl<'a> EspSntp<'a>
impl<'a> EspSntp<'a>
sourcepub unsafe fn new_nonstatic_with_callback<F>(
conf: &SntpConf<'_>,
callback: F,
) -> Result<Self, EspError>where
F: FnMut(Duration) + Send + 'a,
pub unsafe fn new_nonstatic_with_callback<F>(
conf: &SntpConf<'_>,
callback: F,
) -> Result<Self, EspError>where
F: FnMut(Duration) + Send + 'a,
§Safety
This method - in contrast to method new_with_callback
- allows the user to set
a non-static callback/closure into the returned EspSntp
service. This enables users to borrow
- in the closure - variables that live on the stack - or more generally - in the same scope where the service is created.
HOWEVER: care should be taken NOT to call core::mem::forget()
on the service,
as that would immediately lead to an UB (crash).
Also note that forgetting the service might happen with Rc
and Arc
when circular references are introduced: https://github.com/rust-lang/rust/issues/24456
The reason is that the closure is actually sent to a hidden ESP IDF thread. This means that if the service is forgotten, Rust is free to e.g. unwind the stack and the closure now owned by this other thread will end up with references to variables that no longer exist.
The destructor of the service takes care - prior to the service being dropped and e.g. the stack being unwind - to remove the closure from the hidden thread and destroy it. Unfortunately, when the service is forgotten, the un-subscription does not happen and invalid references are left dangling.
This “local borrowing” will only be possible to express in a safe way once/if !Leak
types
are introduced to Rust (i.e. the impossibility to “forget” a type and thus not call its destructor).