dioxus/packages/core/src/arena.rs

191 lines
6.1 KiB
Rust
Raw Normal View History

use std::ptr::NonNull;
use crate::{
2023-01-15 18:02:24 +00:00
innerlude::DirtyScope, nodes::RenderReturn, nodes::VNode, virtual_dom::VirtualDom,
AttributeValue, DynamicNode, ScopeId,
};
2022-11-02 01:42:29 +00:00
2022-12-03 00:24:49 +00:00
/// An Element's unique identifier.
///
/// `ElementId` is a `usize` that is unique across the entire VirtualDOM - but not unique across time. If a component is
/// unmounted, then the `ElementId` will be reused for a new component.
2022-11-16 00:05:22 +00:00
#[cfg_attr(feature = "serialize", derive(serde::Serialize, serde::Deserialize))]
#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
pub struct ElementId(pub usize);
2022-11-29 21:31:04 +00:00
pub(crate) struct ElementRef {
2022-11-18 04:00:39 +00:00
// the pathway of the real element inside the template
2022-11-27 14:38:40 +00:00
pub path: ElementPath,
2022-11-18 04:00:39 +00:00
// The actual template
pub template: Option<NonNull<VNode<'static>>>,
2022-11-02 01:42:29 +00:00
}
2023-07-05 22:19:26 +00:00
#[derive(Clone, Copy, Debug)]
2022-11-27 14:38:40 +00:00
pub enum ElementPath {
Deep(&'static [u8]),
Root(usize),
}
2022-11-18 04:00:39 +00:00
impl ElementRef {
pub(crate) fn none() -> Self {
2022-11-12 02:29:27 +00:00
Self {
template: None,
2022-11-27 14:38:40 +00:00
path: ElementPath::Root(0),
2022-11-12 02:29:27 +00:00
}
}
}
2022-11-29 21:46:25 +00:00
impl VirtualDom {
2022-11-29 21:31:04 +00:00
pub(crate) fn next_element(&mut self, template: &VNode, path: &'static [u8]) -> ElementId {
2022-12-13 02:31:30 +00:00
self.next_reference(template, ElementPath::Deep(path))
2022-11-27 14:38:40 +00:00
}
2022-11-29 21:31:04 +00:00
pub(crate) fn next_root(&mut self, template: &VNode, path: usize) -> ElementId {
2022-12-13 02:31:30 +00:00
self.next_reference(template, ElementPath::Root(path))
2022-12-05 22:16:54 +00:00
}
2023-01-08 01:01:29 +00:00
pub(crate) fn next_null(&mut self) -> ElementId {
let entry = self.elements.vacant_entry();
let id = entry.key();
entry.insert(ElementRef::none());
2023-01-08 01:01:29 +00:00
ElementId(id)
}
2022-12-13 02:31:30 +00:00
fn next_reference(&mut self, template: &VNode, path: ElementPath) -> ElementId {
2022-11-27 14:38:40 +00:00
let entry = self.elements.vacant_entry();
let id = entry.key();
2022-12-05 22:16:54 +00:00
2022-11-27 14:38:40 +00:00
entry.insert(ElementRef {
// We know this is non-null because it comes from a reference
template: Some(unsafe { NonNull::new_unchecked(template as *const _ as *mut _) }),
2022-12-05 22:16:54 +00:00
path,
2022-11-02 01:42:29 +00:00
});
ElementId(id)
}
2022-11-29 21:31:04 +00:00
pub(crate) fn reclaim(&mut self, el: ElementId) {
self.try_reclaim(el)
.unwrap_or_else(|| panic!("cannot reclaim {:?}", el));
}
2022-11-18 04:00:39 +00:00
2022-11-29 21:31:04 +00:00
pub(crate) fn try_reclaim(&mut self, el: ElementId) -> Option<ElementRef> {
2022-11-30 22:21:10 +00:00
if el.0 == 0 {
panic!(
2022-12-05 21:03:52 +00:00
"Cannot reclaim the root element - {:#?}",
2022-11-30 22:21:10 +00:00
std::backtrace::Backtrace::force_capture()
2022-12-05 21:03:52 +00:00
);
2022-11-30 22:21:10 +00:00
}
2022-11-29 21:31:04 +00:00
self.elements.try_remove(el.0)
}
2022-11-27 05:22:39 +00:00
2022-11-30 22:21:10 +00:00
pub(crate) fn update_template(&mut self, el: ElementId, node: &VNode) {
let node: *const VNode = node as *const _;
self.elements[el.0].template = unsafe { std::mem::transmute(node) };
}
2022-11-29 21:31:04 +00:00
// Drop a scope and all its children
2023-01-16 03:23:49 +00:00
//
// Note: This will not remove any ids from the arena
pub(crate) fn drop_scope(&mut self, id: ScopeId, recursive: bool) {
2023-01-15 18:02:24 +00:00
self.dirty_scopes.remove(&DirtyScope {
2023-01-22 23:16:34 +00:00
height: self.scopes[id].height,
2023-01-15 18:02:24 +00:00
id,
});
2022-12-17 04:26:04 +00:00
self.ensure_drop_safety(id);
2023-01-16 03:23:49 +00:00
if recursive {
2023-01-22 23:16:34 +00:00
if let Some(root) = self.scopes[id].try_root_node() {
2023-01-16 03:23:49 +00:00
if let RenderReturn::Ready(node) = unsafe { root.extend_lifetime_ref() } {
self.drop_scope_inner(node)
}
2022-12-17 04:26:04 +00:00
}
}
2023-01-22 23:16:34 +00:00
let scope = &mut self.scopes[id];
2022-12-06 23:37:06 +00:00
2022-11-29 21:31:04 +00:00
// Drop all the hooks once the children are dropped
// this means we'll drop hooks bottom-up
scope.hooks.get_mut().clear();
2023-01-15 19:52:06 +00:00
// Drop all the futures once the hooks are dropped
for task_id in scope.spawned_tasks.borrow_mut().drain() {
scope.tasks.remove(task_id);
}
2023-01-16 03:23:49 +00:00
2023-01-22 23:16:34 +00:00
self.scopes.remove(id);
2022-11-27 05:22:39 +00:00
}
2022-11-29 21:31:04 +00:00
fn drop_scope_inner(&mut self, node: &VNode) {
2022-12-05 21:03:52 +00:00
node.dynamic_nodes.iter().for_each(|node| match node {
2022-12-14 16:51:28 +00:00
DynamicNode::Component(c) => {
if let Some(f) = c.scope.get() {
2023-01-16 03:23:49 +00:00
self.drop_scope(f, true);
2022-12-14 16:51:28 +00:00
}
2022-12-17 04:26:04 +00:00
c.props.take();
2022-12-14 16:51:28 +00:00
}
2022-12-07 01:44:29 +00:00
DynamicNode::Fragment(nodes) => {
nodes.iter().for_each(|node| self.drop_scope_inner(node))
}
2023-01-16 03:23:49 +00:00
DynamicNode::Placeholder(_) => {}
DynamicNode::Text(_) => {}
2022-12-05 22:16:54 +00:00
});
2022-12-05 21:03:52 +00:00
}
/// Descend through the tree, removing any borrowed props and listeners
2022-12-22 16:30:30 +00:00
pub(crate) fn ensure_drop_safety(&self, scope_id: ScopeId) {
2023-01-22 23:16:34 +00:00
let scope = &self.scopes[scope_id];
// make sure we drop all borrowed props manually to guarantee that their drop implementation is called before we
// run the hooks (which hold an &mut Reference)
// recursively call ensure_drop_safety on all children
let mut props = scope.borrowed_props.borrow_mut();
props.drain(..).for_each(|comp| {
let comp = unsafe { &*comp };
2022-12-22 16:30:30 +00:00
match comp.scope.get() {
Some(child) if child != scope_id => self.ensure_drop_safety(child),
_ => (),
2022-11-29 21:31:04 +00:00
}
2022-12-22 16:32:42 +00:00
if let Ok(mut props) = comp.props.try_borrow_mut() {
*props = None;
2022-11-29 21:31:04 +00:00
}
});
2022-12-05 21:03:52 +00:00
// Now that all the references are gone, we can safely drop our own references in our listeners.
2022-12-26 16:53:25 +00:00
let mut listeners = scope.attributes_to_drop.borrow_mut();
listeners.drain(..).for_each(|listener| {
let listener = unsafe { &*listener };
2022-12-26 16:53:25 +00:00
match &listener.value {
AttributeValue::Listener(l) => {
_ = l.take();
2022-12-26 16:53:25 +00:00
}
2023-01-03 03:26:12 +00:00
AttributeValue::Any(a) => {
_ = a.take();
2022-12-26 16:53:25 +00:00
}
_ => (),
}
2022-12-05 21:03:52 +00:00
});
2022-11-27 05:22:39 +00:00
}
}
2022-11-29 21:31:04 +00:00
2022-11-27 14:38:40 +00:00
impl ElementPath {
pub(crate) fn is_decendant(&self, small: &&[u8]) -> bool {
2022-11-27 14:38:40 +00:00
match *self {
ElementPath::Deep(big) => small.len() <= big.len() && *small == &big[..small.len()],
ElementPath::Root(r) => small.len() == 1 && small[0] == r as u8,
2022-11-27 14:38:40 +00:00
}
}
}
impl PartialEq<&[u8]> for ElementPath {
fn eq(&self, other: &&[u8]) -> bool {
match *self {
ElementPath::Deep(deep) => deep.eq(*other),
ElementPath::Root(r) => other.len() == 1 && other[0] == r as u8,
}
}
}