use std::cell::RefCell;
use std::rc::Rc;
use std::sync::atomic::{AtomicUsize, Ordering};
use crate::reactive;
pub type SubId = usize;
type SubCallback<T> = Rc<dyn Fn(&T)>;
static NEXT_SIGNAL_ID: AtomicUsize = AtomicUsize::new(1);
pub struct Signal<T: 'static>(Rc<RefCell<Inner<T>>>);
impl<T> Clone for Signal<T> {
fn clone(&self) -> Self {
Self(self.0.clone())
}
}
struct Inner<T> {
id: usize,
value: T,
subs: Vec<Option<SubCallback<T>>>,
free_list: Vec<SubId>,
}
impl<T> Signal<T> {
pub fn new(value: T) -> Self {
let id = NEXT_SIGNAL_ID.fetch_add(1, Ordering::Relaxed);
Self(Rc::new(RefCell::new(Inner {
id,
value,
subs: Vec::new(),
free_list: Vec::new(),
})))
}
pub fn id(&self) -> usize {
self.0.borrow().id
}
pub fn get(&self) -> T
where
T: Clone,
{
let inner = self.0.borrow();
reactive::register_signal_read(inner.id);
inner.value.clone()
}
pub fn with<R>(&self, f: impl FnOnce(&T) -> R) -> R {
let inner = self.0.borrow();
reactive::register_signal_read(inner.id);
f(&inner.value)
}
pub fn set_neq(&self, v: T)
where
T: PartialEq + Clone,
{
let id = {
let mut inner = self.0.borrow_mut();
if inner.value == v {
return;
}
inner.value = v;
inner.id
};
self.notify_and_request_frame(id);
}
pub fn set(&self, v: T)
where
T: Clone,
{
let id = {
let mut inner = self.0.borrow_mut();
inner.value = v;
inner.id
};
self.notify_and_request_frame(id);
}
pub fn update<F: FnOnce(&mut T)>(&self, f: F)
where
T: Clone,
{
let id = {
let mut inner = self.0.borrow_mut();
f(&mut inner.value);
inner.id
};
self.notify_and_request_frame(id);
}
fn notify_and_request_frame(&self, id: usize)
where
T: Clone,
{
let (cbs, snapshot): (Vec<SubCallback<T>>, T) = {
let inner = match self.0.try_borrow() {
Ok(b) => b,
Err(_) => {
log::warn!("Signal notify: inner already borrowed, skipping notify");
reactive::signal_changed(id);
crate::signal_fired();
crate::request_frame();
return;
}
};
let cbs = inner
.subs
.iter()
.filter_map(|s| s.clone())
.collect::<Vec<_>>();
let snapshot = inner.value.clone();
(cbs, snapshot)
};
reactive::without_observer(|| {
for cb in cbs {
let res = std::panic::catch_unwind(std::panic::AssertUnwindSafe(|| cb(&snapshot)));
if let Err(e) = res {
let msg = e
.downcast_ref::<String>()
.map(|s| s.as_str())
.or_else(|| e.downcast_ref::<&str>().copied())
.unwrap_or("unknown");
log::error!("Signal subscriber panicked: {msg}");
}
}
});
reactive::signal_changed(id);
crate::signal_fired();
crate::request_frame();
}
pub fn subscribe(&self, f: impl Fn(&T) + 'static) -> SubId {
let mut inner = self.0.borrow_mut();
if let Some(free_id) = inner.free_list.pop() {
inner.subs[free_id] = Some(Rc::new(f));
free_id
} else {
inner.subs.push(Some(Rc::new(f)));
inner.subs.len() - 1
}
}
pub fn unsubscribe(&self, id: SubId) -> bool {
let mut inner = self.0.borrow_mut();
if id < inner.subs.len() && inner.subs[id].is_some() {
inner.subs[id] = None;
inner.free_list.push(id);
while inner.subs.last().is_some_and(|s| s.is_none()) {
let popped = inner.subs.len() - 1;
inner.subs.pop();
if let Some(pos) = inner.free_list.iter().position(|&x| x == popped) {
inner.free_list.swap_remove(pos);
}
}
true
} else {
false
}
}
pub fn subscribe_guard(&self, f: impl Fn(&T) + 'static) -> SubGuard<T> {
let id = self.subscribe(f);
SubGuard {
sig: self.clone(),
id,
}
}
}
pub fn signal<T>(t: T) -> Signal<T> {
Signal::new(t)
}
pub struct SubGuard<T: 'static> {
sig: crate::Signal<T>,
id: SubId,
}
impl<T> Drop for SubGuard<T> {
fn drop(&mut self) {
let _ = self.sig.unsubscribe(self.id);
}
}