1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036 |
- //! # VirtualDOM Implementation for Rust
- //! This module provides the primary mechanics to create a hook-based, concurrent VDOM for Rust.
- //!
- //! In this file, multiple items are defined. This file is big, but should be documented well to
- //! navigate the innerworkings of the Dom. We try to keep these main mechanics in this file to limit
- //! the possible exposed API surface (keep fields private). This particular implementation of VDOM
- //! is extremely efficient, but relies on some unsafety under the hood to do things like manage
- //! micro-heaps for components. We are currently working on refactoring the safety out into safe(r)
- //! abstractions, but current tests (MIRI and otherwise) show no issues with the current implementation.
- //!
- //! Included is:
- //! - The [`VirtualDom`] itself
- //! - The [`Scope`] object for mangning component lifecycle
- //! - The [`ActiveFrame`] object for managing the Scope`s microheap
- //! - The [`Context`] object for exposing VirtualDOM API to components
- //! - The [`NodeFactory`] object for lazyily exposing the `Context` API to the nodebuilder API
- //! - The [`Hook`] object for exposing state management in components.
- //!
- //! This module includes just the barebones for a complete VirtualDOM API.
- //! Additional functionality is defined in the respective files.
- use crate::{arena::ScopeArena, innerlude::*};
- use bumpalo::Bump;
- use futures::FutureExt;
- use slotmap::DefaultKey;
- use slotmap::SlotMap;
- use std::{
- any::{Any, TypeId},
- cell::{Cell, RefCell},
- collections::{HashMap, HashSet, VecDeque},
- fmt::Debug,
- future::Future,
- ops::Deref,
- pin::Pin,
- rc::{Rc, Weak},
- };
- pub type ScopeIdx = DefaultKey;
- // pub type ScopeIdx = generational_arena::Index;
- /// An integrated virtual node system that progresses events and diffs UI trees.
- /// Differences are converted into patches which a renderer can use to draw the UI.
- pub struct VirtualDom {
- /// All mounted components are arena allocated to make additions, removals, and references easy to work with
- /// A generational arena is used to re-use slots of deleted scopes without having to resize the underlying arena.
- ///
- /// This is wrapped in an UnsafeCell because we will need to get mutable access to unique values in unique bump arenas
- /// and rusts's guartnees cannot prove that this is safe. We will need to maintain the safety guarantees manually.
- pub components: ScopeArena,
- /// The index of the root component
- /// Should always be the first (gen=0, id=0)
- pub base_scope: ScopeIdx,
- /// All components dump their updates into a queue to be processed
- pub(crate) event_queue: EventQueue,
- /// a strong allocation to the "caller" for the original component and its props
- #[doc(hidden)]
- _root_caller: Rc<OpaqueComponent>,
- // _root_caller: Rc<OpaqueComponent<'static>>,
- /// Type of the original cx. This is stored as TypeId so VirtualDom does not need to be generic.
- ///
- /// Whenver props need to be updated, an Error will be thrown if the new props do not
- /// match the props used to create the VirtualDom.
- #[doc(hidden)]
- _root_prop_type: std::any::TypeId,
- }
- /// The `RealDomNode` is an ID handle that corresponds to a foreign DOM node.
- ///
- /// "u64" was chosen for two reasons
- /// - 0 cost hashing
- /// - use with slotmap and other versioned slot arenas
- #[derive(Clone, Copy, Debug, PartialEq)]
- pub struct RealDomNode(pub u64);
- impl RealDomNode {
- pub fn new(id: u64) -> Self {
- Self(id)
- }
- pub fn empty() -> Self {
- Self(u64::MIN)
- }
- }
- // ======================================
- // Public Methods for the VirtualDom
- // ======================================
- impl VirtualDom {
- /// Create a new instance of the Dioxus Virtual Dom with no properties for the root component.
- ///
- /// This means that the root component must either consumes its own context, or statics are used to generate the page.
- /// The root component can access things like routing in its context.
- ///
- /// As an end-user, you'll want to use the Renderer's "new" method instead of this method.
- /// Directly creating the VirtualDOM is only useful when implementing a new renderer.
- ///
- ///
- /// ```ignore
- /// // Directly from a closure
- ///
- /// let dom = VirtualDom::new(|cx| cx.render(rsx!{ div {"hello world"} }));
- ///
- /// // or pass in...
- ///
- /// let root = |cx| {
- /// cx.render(rsx!{
- /// div {"hello world"}
- /// })
- /// }
- /// let dom = VirtualDom::new(root);
- ///
- /// // or directly from a fn
- ///
- /// fn Example(cx: Context<()>) -> VNode {
- /// cx.render(rsx!{ div{"hello world"} })
- /// }
- ///
- /// let dom = VirtualDom::new(Example);
- /// ```
- pub fn new(root: FC<()>) -> Self {
- Self::new_with_props(root, ())
- }
- /// Start a new VirtualDom instance with a dependent cx.
- /// Later, the props can be updated by calling "update" with a new set of props, causing a set of re-renders.
- ///
- /// This is useful when a component tree can be driven by external state (IE SSR) but it would be too expensive
- /// to toss out the entire tree.
- ///
- /// ```ignore
- /// // Directly from a closure
- ///
- /// let dom = VirtualDom::new(|cx| cx.render(rsx!{ div {"hello world"} }));
- ///
- /// // or pass in...
- ///
- /// let root = |cx| {
- /// cx.render(rsx!{
- /// div {"hello world"}
- /// })
- /// }
- /// let dom = VirtualDom::new(root);
- ///
- /// // or directly from a fn
- ///
- /// fn Example(cx: Context, props: &SomeProps) -> VNode {
- /// cx.render(rsx!{ div{"hello world"} })
- /// }
- ///
- /// let dom = VirtualDom::new(Example);
- /// ```
- pub fn new_with_props<P: Properties + 'static>(root: FC<P>, root_props: P) -> Self {
- let components = ScopeArena::new(SlotMap::new());
- // Normally, a component would be passed as a child in the RSX macro which automatically produces OpaqueComponents
- // Here, we need to make it manually, using an RC to force the Weak reference to stick around for the main scope.
- let _root_caller: Rc<OpaqueComponent> = Rc::new(move |scope| {
- // let _root_caller: Rc<OpaqueComponent<'static>> = Rc::new(move |scope| {
- // the lifetime of this closure is just as long as the lifetime on the scope reference
- // this closure moves root props (which is static) into this closure
- let props = unsafe { &*(&root_props as *const _) };
- root(Context { props, scope })
- });
- // Create a weak reference to the OpaqueComponent for the root scope to use as its render function
- let caller_ref = Rc::downgrade(&_root_caller);
- // Build a funnel for hooks to send their updates into. The `use_hook` method will call into the update funnel.
- let event_queue = EventQueue::default();
- let _event_queue = event_queue.clone();
- // Make the first scope
- // We don't run the component though, so renderers will need to call "rebuild" when they initialize their DOM
- let link = components.clone();
- let base_scope = components
- .with(|arena| {
- arena.insert_with_key(move |myidx| {
- let event_channel = _event_queue.new_channel(0, myidx);
- Scope::new(caller_ref, myidx, None, 0, event_channel, link, &[])
- })
- })
- .unwrap();
- Self {
- _root_caller,
- base_scope,
- event_queue,
- components,
- _root_prop_type: TypeId::of::<P>(),
- }
- }
- }
- // ======================================
- // Private Methods for the VirtualDom
- // ======================================
- impl VirtualDom {
- /// Performs a *full* rebuild of the virtual dom, returning every edit required to generate the actual dom rom scratch
- /// Currently this doesn't do what we want it to do
- pub fn rebuild<'s, Dom: RealDom<'s>>(&'s mut self, realdom: &mut Dom) -> Result<()> {
- let mut diff_machine = DiffMachine::new(
- realdom,
- &self.components,
- self.base_scope,
- self.event_queue.clone(),
- );
- // Schedule an update and then immediately call it on the root component
- // This is akin to a hook being called from a listener and requring a re-render
- // Instead, this is done on top-level component
- let base = self.components.try_get(self.base_scope)?;
- let update = &base.event_channel;
- update();
- self.progress_completely(&mut diff_machine)?;
- Ok(())
- }
- /// This method is the most sophisticated way of updating the virtual dom after an external event has been triggered.
- ///
- /// Given a synthetic event, the component that triggered the event, and the index of the callback, this runs the virtual
- /// dom to completion, tagging components that need updates, compressing events together, and finally emitting a single
- /// change list.
- ///
- /// If implementing an external renderer, this is the perfect method to combine with an async event loop that waits on
- /// listeners, something like this:
- ///
- /// ```ignore
- /// while let Ok(event) = receiver.recv().await {
- /// let edits = self.internal_dom.progress_with_event(event)?;
- /// for edit in &edits {
- /// patch_machine.handle_edit(edit);
- /// }
- /// }
- /// ```
- ///
- /// Note: this method is not async and does not provide suspense-like functionality. It is up to the renderer to provide the
- /// executor and handlers for suspense as show in the example.
- ///
- /// ```ignore
- /// let (sender, receiver) = channel::new();
- /// sender.send(EventTrigger::start());
- ///
- /// let mut dom = VirtualDom::new();
- /// dom.suspense_handler(|event| sender.send(event));
- ///
- /// while let Ok(diffs) = dom.progress_with_event(receiver.recv().await) {
- /// render(diffs);
- /// }
- ///
- /// ```
- //
- // Developer notes:
- // ----
- // This method has some pretty complex safety guarantees to uphold.
- // We interact with bump arenas, raw pointers, and use UnsafeCell to get a partial borrow of the arena.
- // The final EditList has edits that pull directly from the Bump Arenas which add significant complexity
- // in crafting a 100% safe solution with traditional lifetimes. Consider this method to be internally unsafe
- // but the guarantees provide a safe, fast, and efficient abstraction for the VirtualDOM updating framework.
- //
- // A good project would be to remove all unsafe from this crate and move the unsafety into safer abstractions.
- pub fn progress_with_event<'s, Dom: RealDom<'s>>(
- &'s mut self,
- realdom: &'_ mut Dom,
- trigger: EventTrigger,
- ) -> Result<()> {
- let id = trigger.component_id.clone();
- self.components.try_get_mut(id)?.call_listener(trigger)?;
- let mut diff_machine =
- DiffMachine::new(realdom, &self.components, id, self.event_queue.clone());
- self.progress_completely(&mut diff_machine)?;
- Ok(())
- }
- /// Consume the event queue, descending depth-first.
- /// Only ever run each component once.
- ///
- /// The DiffMachine logs its progress as it goes which might be useful for certain types of renderers.
- pub(crate) fn progress_completely<'a, 'bump, Dom: RealDom<'bump>>(
- &'bump self,
- diff_machine: &'_ mut DiffMachine<'a, 'bump, Dom>,
- ) -> Result<()> {
- // Add this component to the list of components that need to be difed
- // #[allow(unused_assignments)]
- // let mut cur_height: u32 = 0;
- // Now, there are events in the queue
- let mut updates = self.event_queue.0.as_ref().borrow_mut();
- // Order the nodes by their height, we want the nodes with the smallest depth on top
- // This prevents us from running the same component multiple times
- updates.sort_unstable();
- log::debug!("There are: {:#?} updates to be processed", updates.len());
- // Iterate through the triggered nodes (sorted by height) and begin to diff them
- for update in updates.drain(..) {
- log::debug!("Running updates for: {:#?}", update);
- // Make sure this isn't a node we've already seen, we don't want to double-render anything
- // If we double-renderer something, this would cause memory safety issues
- if diff_machine.seen_nodes.contains(&update.idx) {
- continue;
- }
- // Now, all the "seen nodes" are nodes that got notified by running this listener
- diff_machine.seen_nodes.insert(update.idx.clone());
- // Start a new mutable borrow to components
- // We are guaranteeed that this scope is unique because we are tracking which nodes have modified
- let cur_component = self.components.try_get_mut(update.idx).unwrap();
- // let inner: &'s mut _ = unsafe { &mut *self.components.0.borrow().arena.get() };
- // let cur_component = inner.get_mut(update.idx).unwrap();
- cur_component.run_scope()?;
- // diff_machine.change_list.load_known_root(1);
- let (old, new) = (cur_component.old_frame(), cur_component.next_frame());
- // let (old, new) = cur_component.get_frames_mut();
- diff_machine.diff_node(old, new);
- // cur_height = cur_component.height;
- // log::debug!(
- // "Processing update: {:#?} with height {}",
- // &update.idx,
- // cur_height
- // );
- }
- Ok(())
- }
- pub fn base_scope(&self) -> &Scope {
- let idx = self.base_scope;
- self.components.try_get(idx).unwrap()
- }
- }
- // TODO!
- // These impls are actually wrong. The DOM needs to have a mutex implemented.
- unsafe impl Sync for VirtualDom {}
- unsafe impl Send for VirtualDom {}
- /// Every component in Dioxus is represented by a `Scope`.
- ///
- /// Scopes contain the state for hooks, the component's props, and other lifecycle information.
- ///
- /// Scopes are allocated in a generational arena. As components are mounted/unmounted, they will replace slots of dead components.
- /// The actual contents of the hooks, though, will be allocated with the standard allocator. These should not allocate as frequently.
- pub struct Scope {
- // The parent's scope ID
- pub parent: Option<ScopeIdx>,
- // IDs of children that this scope has created
- // This enables us to drop the children and their children when this scope is destroyed
- pub(crate) descendents: RefCell<HashSet<ScopeIdx>>,
- child_nodes: &'static [VNode<'static>],
- // A reference to the list of components.
- // This lets us traverse the component list whenever we need to access our parent or children.
- arena_link: ScopeArena,
- pub shared_contexts: RefCell<HashMap<TypeId, Rc<dyn Any>>>,
- // Our own ID accessible from the component map
- pub arena_idx: ScopeIdx,
- pub height: u32,
- pub event_channel: Rc<dyn Fn() + 'static>,
- pub caller: Weak<OpaqueComponent>,
- pub hookidx: Cell<usize>,
- // ==========================
- // slightly unsafe stuff
- // ==========================
- // an internal, highly efficient storage of vnodes
- pub frames: ActiveFrame,
- // These hooks are actually references into the hook arena
- // These two could be combined with "OwningRef" to remove unsafe usage
- // or we could dedicate a tiny bump arena just for them
- // could also use ourborous
- hooks: RefCell<Vec<Hook>>,
- pub(crate) listener_idx: Cell<usize>,
- // Unsafety:
- // - is self-refenrential and therefore needs to point into the bump
- // Stores references into the listeners attached to the vnodes
- // NEEDS TO BE PRIVATE
- pub(crate) listeners: RefCell<Vec<(*const Cell<RealDomNode>, *const dyn Fn(VirtualEvent))>>,
- pub(crate) suspended_tasks: Vec<Box<dyn Future<Output = VNode<'static>>>>,
- // pub(crate) listeners: RefCell<nohash_hasher::IntMap<u32, *const dyn Fn(VirtualEvent)>>,
- // pub(crate) listeners: RefCell<Vec<*const dyn Fn(VirtualEvent)>>,
- // pub(crate) listeners: RefCell<Vec<*const dyn Fn(VirtualEvent)>>,
- // NoHashMap<RealDomNode, <*const dyn Fn(VirtualEvent)>
- // pub(crate) listeners: RefCell<Vec<*const dyn Fn(VirtualEvent)>>
- }
- // We need to pin the hook so it doesn't move as we initialize the list of hooks
- type Hook = Pin<Box<dyn std::any::Any>>;
- type EventChannel = Rc<dyn Fn()>;
- impl Scope {
- // we are being created in the scope of an existing component (where the creator_node lifetime comes into play)
- // we are going to break this lifetime by force in order to save it on ourselves.
- // To make sure that the lifetime isn't truly broken, we receive a Weak RC so we can't keep it around after the parent dies.
- // This should never happen, but is a good check to keep around
- //
- // Scopes cannot be made anywhere else except for this file
- // Therefore, their lifetimes are connected exclusively to the virtual dom
- pub fn new<'creator_node>(
- caller: Weak<OpaqueComponent>,
- arena_idx: ScopeIdx,
- parent: Option<ScopeIdx>,
- height: u32,
- event_channel: EventChannel,
- arena_link: ScopeArena,
- child_nodes: &'creator_node [VNode<'creator_node>],
- ) -> Self {
- log::debug!(
- "New scope created, height is {}, idx is {:?}",
- height,
- arena_idx
- );
- // The function to run this scope is actually located in the parent's bump arena.
- // Every time the parent is updated, that function is invalidated via double-buffering wiping the old frame.
- // If children try to run this invalid caller, it *will* result in UB.
- //
- // During the lifecycle progression process, this caller will need to be updated. Right now,
- // until formal safety abstractions are implemented, we will just use unsafe to "detach" the caller
- // lifetime from the bump arena, exposing ourselves to this potential for invalidation. Truthfully,
- // this is a bit of a hack, but will remain this way until we've figured out a cleaner solution.
- //
- // Not the best solution, so TODO on removing this in favor of a dedicated resource abstraction.
- let caller = unsafe {
- std::mem::transmute::<
- Weak<OpaqueComponent>,
- Weak<OpaqueComponent>,
- // Weak<OpaqueComponent<'creator_node>>,
- // Weak<OpaqueComponent<'static>>,
- >(caller)
- };
- let child_nodes = unsafe { std::mem::transmute(child_nodes) };
- Self {
- child_nodes,
- caller,
- parent,
- arena_idx,
- height,
- event_channel,
- arena_link,
- listener_idx: Default::default(),
- frames: ActiveFrame::new(),
- hooks: Default::default(),
- shared_contexts: Default::default(),
- listeners: Default::default(),
- hookidx: Default::default(),
- descendents: Default::default(),
- suspended_tasks: Default::default(),
- }
- }
- pub fn update_caller<'creator_node>(&mut self, caller: Weak<OpaqueComponent>) {
- // pub fn update_caller<'creator_node>(&mut self, caller: Weak<OpaqueComponent<'creator_node>>) {
- let broken_caller = unsafe {
- std::mem::transmute::<
- Weak<OpaqueComponent>,
- Weak<OpaqueComponent>,
- // Weak<OpaqueComponent<'creator_node>>,
- // Weak<OpaqueComponent<'static>>,
- >(caller)
- };
- self.caller = broken_caller;
- }
- pub fn update_children<'creator_node>(
- &mut self,
- child_nodes: &'creator_node [VNode<'creator_node>],
- ) {
- let child_nodes = unsafe { std::mem::transmute(child_nodes) };
- self.child_nodes = child_nodes;
- }
- /// Create a new context and run the component with references from the Virtual Dom
- /// This function downcasts the function pointer based on the stored props_type
- ///
- /// Props is ?Sized because we borrow the props and don't need to know the size. P (sized) is used as a marker (unsized)
- pub fn run_scope<'sel>(&'sel mut self) -> Result<()> {
- // Cycle to the next frame and then reset it
- // This breaks any latent references, invalidating every pointer referencing into it.
- self.frames.next().bump.reset();
- // Remove all the outdated listeners
- self.listeners.borrow_mut().clear();
- self.hookidx.set(0);
- self.listener_idx.set(0);
- let caller = self
- .caller
- .upgrade()
- .ok_or(Error::FatalInternal("Failed to get caller"))?;
- // Cast the caller ptr from static to one with our own reference
- let c2: &OpaqueComponent = caller.as_ref();
- let c3: &OpaqueComponent = unsafe { std::mem::transmute(c2) };
- self.frames.cur_frame_mut().head_node = unsafe { self.own_vnodes(c3) };
- Ok(())
- }
- // this is its own function so we can preciesly control how lifetimes flow
- unsafe fn own_vnodes<'a>(&'a self, f: &OpaqueComponent) -> VNode<'static> {
- let new_head: VNode<'a> = f(self);
- let out: VNode<'static> = std::mem::transmute(new_head);
- out
- }
- // A safe wrapper around calling listeners
- // calling listeners will invalidate the list of listeners
- // The listener list will be completely drained because the next frame will write over previous listeners
- pub fn call_listener(&mut self, trigger: EventTrigger) -> Result<()> {
- let EventTrigger {
- real_node_id,
- event,
- ..
- } = trigger;
- // todo: implement scanning for outdated events
- // Convert the raw ptr into an actual object
- // This operation is assumed to be safe
- log::debug!("Calling listeners! {:?}", self.listeners.borrow().len());
- let listners = self.listeners.borrow();
- let (_, listener) = listners
- .iter()
- .find(|(domptr, _)| {
- let p = unsafe { &**domptr };
- p.get() == real_node_id
- })
- .expect(&format!(
- "Failed to find real node with ID {:?}",
- real_node_id
- ));
- // TODO: Don'tdo a linear scan! Do a hashmap lookup! It'll be faster!
- unsafe {
- let listener_fn = &**listener;
- listener_fn(event);
- }
- Ok(())
- }
- pub fn next_frame<'bump>(&'bump self) -> &'bump VNode<'bump> {
- self.frames.current_head_node()
- }
- pub fn old_frame<'bump>(&'bump self) -> &'bump VNode<'bump> {
- self.frames.prev_head_node()
- }
- pub fn cur_frame(&self) -> &BumpFrame {
- self.frames.cur_frame()
- }
- pub fn root<'a>(&'a self) -> &'a VNode<'a> {
- &self.frames.cur_frame().head_node
- }
- }
- /// Components in Dioxus use the "Context" object to interact with their lifecycle.
- /// This lets components schedule updates, integrate hooks, and expose their context via the context api.
- ///
- /// Properties passed down from the parent component are also directly accessible via the exposed "props" field.
- ///
- /// ```ignore
- /// #[derive(Properties)]
- /// struct Props {
- /// name: String
- ///
- /// }
- ///
- /// fn example(cx: Context<Props>) -> VNode {
- /// html! {
- /// <div> "Hello, {cx.name}" </div>
- /// }
- /// }
- /// ```
- // todo: force lifetime of source into T as a valid lifetime too
- // it's definitely possible, just needs some more messing around
- pub struct Context<'src, T> {
- pub props: &'src T,
- pub scope: &'src Scope,
- }
- impl<'src, T> Copy for Context<'src, T> {}
- impl<'src, T> Clone for Context<'src, T> {
- fn clone(&self) -> Self {
- Self {
- props: self.props,
- scope: self.scope,
- }
- }
- }
- impl<'a, T> Deref for Context<'a, T> {
- type Target = &'a T;
- fn deref(&self) -> &Self::Target {
- &self.props
- }
- }
- impl<'src, T> Scoped<'src> for Context<'src, T> {
- fn get_scope(&self) -> &'src Scope {
- self.scope
- }
- }
- pub trait Scoped<'src>: Sized {
- fn get_scope(&self) -> &'src Scope;
- /// Access the children elements passed into the component
- fn children(&self) -> &'src [VNode<'src>] {
- // We're re-casting the nodes back out
- // They don't really have a static lifetime
- unsafe {
- let scope = self.get_scope();
- let nodes = scope.child_nodes;
- nodes
- }
- }
- /// Create a subscription that schedules a future render for the reference component
- fn schedule_update(&self) -> Rc<dyn Fn() + 'static> {
- self.get_scope().event_channel.clone()
- }
- fn schedule_effect(&self) -> Rc<dyn Fn() + 'static> {
- todo!()
- }
- fn schedule_layout_effect(&self) {
- todo!()
- }
- /// Take a lazy VNode structure and actually build it with the context of the VDom's efficient VNode allocator.
- ///
- /// This function consumes the context and absorb the lifetime, so these VNodes *must* be returned.
- ///
- /// ## Example
- ///
- /// ```ignore
- /// fn Component(cx: Context<()>) -> VNode {
- /// // Lazy assemble the VNode tree
- /// let lazy_tree = html! {<div> "Hello World" </div>};
- ///
- /// // Actually build the tree and allocate it
- /// cx.render(lazy_tree)
- /// }
- ///```
- fn render<F: FnOnce(NodeFactory<'src>) -> VNode<'src>>(
- self,
- lazy_nodes: LazyNodes<'src, F>,
- ) -> VNode<'src> {
- let scope_ref = self.get_scope();
- let listener_id = &scope_ref.listener_idx;
- lazy_nodes.into_vnode(NodeFactory {
- scope_ref,
- listener_id,
- })
- }
- // impl<'scope> Context<'scope> {
- /// Store a value between renders
- ///
- /// - Initializer: closure used to create the initial hook state
- /// - Runner: closure used to output a value every time the hook is used
- /// - Cleanup: closure used to teardown the hook once the dom is cleaned up
- ///
- /// ```ignore
- /// // use_ref is the simplest way of storing a value between renders
- /// pub fn use_ref<T: 'static>(initial_value: impl FnOnce() -> T + 'static) -> Rc<RefCell<T>> {
- /// use_hook(
- /// || Rc::new(RefCell::new(initial_value())),
- /// |state| state.clone(),
- /// |_| {},
- /// )
- /// }
- /// ```
- fn use_hook<InternalHookState: 'static, Output: 'src>(
- &self,
- // The closure that builds the hook state
- initializer: impl FnOnce() -> InternalHookState,
- // The closure that takes the hookstate and returns some value
- runner: impl FnOnce(&'src mut InternalHookState) -> Output,
- // The closure that cleans up whatever mess is left when the component gets torn down
- // TODO: add this to the "clean up" group for when the component is dropped
- _cleanup: impl FnOnce(InternalHookState),
- ) -> Output {
- let scope = self.get_scope();
- let idx = scope.hookidx.get();
- // Grab out the hook list
- let mut hooks = scope.hooks.borrow_mut();
- // If the idx is the same as the hook length, then we need to add the current hook
- if idx >= hooks.len() {
- let new_state = initializer();
- hooks.push(Box::pin(new_state));
- }
- scope.hookidx.set(idx + 1);
- let stable_ref = hooks
- .get_mut(idx)
- .expect("Should not fail, idx is validated")
- .as_mut();
- let pinned_state = unsafe { Pin::get_unchecked_mut(stable_ref) };
- let internal_state = pinned_state.downcast_mut::<InternalHookState>().expect(
- r###"
- Unable to retrive the hook that was initialized in this index.
- Consult the `rules of hooks` to understand how to use hooks properly.
- You likely used the hook in a conditional. Hooks rely on consistent ordering between renders.
- Any function prefixed with "use" should not be called conditionally.
- "###,
- );
- // We extend the lifetime of the internal state
- runner(unsafe { &mut *(internal_state as *mut _) })
- }
- /// This hook enables the ability to expose state to children further down the VirtualDOM Tree.
- ///
- /// This is a hook, so it may not be called conditionally!
- ///
- /// The init method is ran *only* on first use, otherwise it is ignored. However, it uses hooks (ie `use`)
- /// so don't put it in a conditional.
- ///
- /// When the component is dropped, so is the context. Be aware of this behavior when consuming
- /// the context via Rc/Weak.
- ///
- ///
- ///
- fn use_create_context<T: 'static>(&self, init: impl Fn() -> T) {
- let scope = self.get_scope();
- let mut cxs = scope.shared_contexts.borrow_mut();
- let ty = TypeId::of::<T>();
- let is_initialized = self.use_hook(
- || false,
- |s| {
- let i = s.clone();
- *s = true;
- i
- },
- |_| {},
- );
- match (is_initialized, cxs.contains_key(&ty)) {
- // Do nothing, already initialized and already exists
- (true, true) => {}
- // Needs to be initialized
- (false, false) => {
- log::debug!("Initializing context...");
- cxs.insert(ty, Rc::new(init()));
- }
- _ => debug_assert!(false, "Cannot initialize two contexts of the same type"),
- }
- }
- /// There are hooks going on here!
- fn use_context<T: 'static>(&self) -> &'src Rc<T> {
- self.try_use_context().unwrap()
- }
- /// Uses a context, storing the cached value around
- fn try_use_context<T: 'static>(&self) -> Result<&'src Rc<T>> {
- struct UseContextHook<C> {
- par: Option<Rc<C>>,
- we: Option<Weak<C>>,
- }
- self.use_hook(
- move || UseContextHook {
- par: None as Option<Rc<T>>,
- we: None as Option<Weak<T>>,
- },
- move |hook| {
- let scope = self.get_scope();
- let mut scope = Some(scope);
- if let Some(we) = &hook.we {
- if let Some(re) = we.upgrade() {
- hook.par = Some(re);
- return Ok(hook.par.as_ref().unwrap());
- }
- }
- let ty = TypeId::of::<T>();
- while let Some(inner) = scope {
- log::debug!("Searching {:#?} for valid shared_context", inner.arena_idx);
- let shared_contexts = inner.shared_contexts.borrow();
- if let Some(shared_cx) = shared_contexts.get(&ty) {
- log::debug!("found matching cx");
- let rc = shared_cx
- .clone()
- .downcast::<T>()
- .expect("Should not fail, already validated the type from the hashmap");
- hook.we = Some(Rc::downgrade(&rc));
- hook.par = Some(rc);
- return Ok(hook.par.as_ref().unwrap());
- } else {
- match inner.parent {
- Some(parent_id) => {
- let parent = inner
- .arena_link
- .try_get(parent_id)
- .map_err(|_| Error::FatalInternal("Failed to find parent"))?;
- scope = Some(parent);
- }
- None => return Err(Error::MissingSharedContext),
- }
- }
- }
- Err(Error::MissingSharedContext)
- },
- |_| {},
- )
- }
- fn suspend<Output: 'src, Fut: FnOnce(SuspendedContext, Output) -> VNode<'src> + 'src>(
- &self,
- fut: &'src mut Pin<Box<dyn Future<Output = Output> + 'static>>,
- callback: Fut,
- ) -> VNode<'src> {
- match fut.now_or_never() {
- Some(out) => {
- let suspended_cx = SuspendedContext {};
- let nodes = callback(suspended_cx, out);
- return nodes;
- }
- None => {
- // we need to register this task
- VNode::Suspended {
- real: Cell::new(RealDomNode::empty()),
- }
- }
- }
- }
- }
- #[derive(Clone)]
- pub struct SuspendedContext {}
- // impl SuspendedContext {
- // pub fn render<'a, F: for<'b, 'src> FnOnce(&'b NodeFactory<'src>) -> VNode<'src>>(
- // &self,
- // lazy_nodes: LazyNodes<F>,
- // ) -> VNode {
- // todo!()
- // }
- // }
- // ==================================================================================
- // Supporting structs for the above abstractions
- // ==================================================================================
- // We actually allocate the properties for components in their parent's properties
- // We then expose a handle to use those props for render in the form of "OpaqueComponent"
- pub type OpaqueComponent = dyn for<'b> Fn(&'b Scope) -> VNode<'b>;
- #[derive(PartialEq, Debug, Clone, Default)]
- pub struct EventQueue(pub Rc<RefCell<Vec<HeightMarker>>>);
- impl EventQueue {
- pub fn new_channel(&self, height: u32, idx: ScopeIdx) -> Rc<dyn Fn()> {
- let inner = self.clone();
- let marker = HeightMarker { height, idx };
- Rc::new(move || {
- log::debug!("channel updated {:#?}", marker);
- inner.0.as_ref().borrow_mut().push(marker)
- })
- }
- }
- /// A helper type that lets scopes be ordered by their height
- #[derive(Debug, Clone, Copy, PartialEq, Eq)]
- pub struct HeightMarker {
- pub idx: ScopeIdx,
- pub height: u32,
- }
- impl Ord for HeightMarker {
- fn cmp(&self, other: &Self) -> std::cmp::Ordering {
- self.height.cmp(&other.height)
- }
- }
- impl PartialOrd for HeightMarker {
- fn partial_cmp(&self, other: &Self) -> Option<std::cmp::Ordering> {
- Some(self.cmp(other))
- }
- }
- #[derive(Debug, PartialEq, Hash)]
- pub struct ContextId {
- // Which component is the scope in
- original: ScopeIdx,
- // What's the height of the scope
- height: u32,
- // Which scope is it (in order)
- id: u32,
- }
- pub struct ActiveFrame {
- // We use a "generation" for users of contents in the bump frames to ensure their data isn't broken
- pub generation: RefCell<usize>,
- // The double-buffering situation that we will use
- pub frames: [BumpFrame; 2],
- }
- pub struct BumpFrame {
- pub bump: Bump,
- pub head_node: VNode<'static>,
- }
- impl ActiveFrame {
- pub fn new() -> Self {
- Self::from_frames(
- BumpFrame {
- bump: Bump::new(),
- head_node: VNode::text(""),
- },
- BumpFrame {
- bump: Bump::new(),
- head_node: VNode::text(""),
- },
- )
- }
- pub fn from_frames(a: BumpFrame, b: BumpFrame) -> Self {
- Self {
- generation: 0.into(),
- frames: [a, b],
- }
- }
- pub fn cur_frame(&self) -> &BumpFrame {
- match *self.generation.borrow() & 1 == 0 {
- true => &self.frames[0],
- false => &self.frames[1],
- }
- }
- pub fn cur_frame_mut(&mut self) -> &mut BumpFrame {
- match *self.generation.borrow() & 1 == 0 {
- true => &mut self.frames[0],
- false => &mut self.frames[1],
- }
- }
- pub fn current_head_node<'b>(&'b self) -> &'b VNode<'b> {
- let raw_node = match *self.generation.borrow() & 1 == 0 {
- true => &self.frames[0],
- false => &self.frames[1],
- };
- // Give out our self-referential item with our own borrowed lifetime
- unsafe {
- let unsafe_head = &raw_node.head_node;
- let safe_node = std::mem::transmute::<&VNode<'static>, &VNode<'b>>(unsafe_head);
- safe_node
- }
- }
- pub fn prev_head_node<'b>(&'b self) -> &'b VNode<'b> {
- let raw_node = match *self.generation.borrow() & 1 != 0 {
- true => &self.frames[0],
- false => &self.frames[1],
- };
- // Give out our self-referential item with our own borrowed lifetime
- unsafe {
- let unsafe_head = &raw_node.head_node;
- let safe_node = std::mem::transmute::<&VNode<'static>, &VNode<'b>>(unsafe_head);
- safe_node
- }
- }
- pub fn next(&mut self) -> &mut BumpFrame {
- *self.generation.borrow_mut() += 1;
- if *self.generation.borrow() % 2 == 0 {
- &mut self.frames[0]
- } else {
- &mut self.frames[1]
- }
- }
- }
|