scopes.rs 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554
  1. use crate::{
  2. any_props::AnyProps,
  3. any_props::VProps,
  4. bump_frame::BumpFrame,
  5. innerlude::ErrorBoundary,
  6. innerlude::{DynamicNode, EventHandler, VComponent, VText},
  7. lazynodes::LazyNodes,
  8. nodes::{IntoAttributeValue, IntoDynNode, RenderReturn},
  9. runtime::Runtime,
  10. scope_context::ScopeContext,
  11. AnyValue, Attribute, AttributeValue, Element, Event, Properties, TaskId,
  12. };
  13. use bumpalo::{boxed::Box as BumpBox, Bump};
  14. use std::{
  15. any::Any,
  16. cell::{Cell, Ref, RefCell, UnsafeCell},
  17. fmt::{Arguments, Debug},
  18. future::Future,
  19. rc::Rc,
  20. sync::Arc,
  21. };
  22. /// A wrapper around the [`Scoped`] object that contains a reference to the [`ScopeState`] and properties for a given
  23. /// component.
  24. ///
  25. /// The [`Scope`] is your handle to the [`crate::VirtualDom`] and the component state. Every component is given its own
  26. /// [`ScopeState`] and merged with its properties to create a [`Scoped`].
  27. ///
  28. /// The [`Scope`] handle specifically exists to provide a stable reference to these items for the lifetime of the
  29. /// component render.
  30. pub type Scope<'a, T = ()> = &'a Scoped<'a, T>;
  31. // This ScopedType exists because we want to limit the amount of monomorphization that occurs when making inner
  32. // state type generic over props. When the state is generic, it causes every method to be monomorphized for every
  33. // instance of Scope<T> in the codebase.
  34. //
  35. //
  36. /// A wrapper around a component's [`ScopeState`] and properties. The [`ScopeState`] provides the majority of methods
  37. /// for the VirtualDom and component state.
  38. pub struct Scoped<'a, T = ()> {
  39. /// The component's state and handle to the scheduler.
  40. ///
  41. /// Stores things like the custom bump arena, spawn functions, hooks, and the scheduler.
  42. pub scope: &'a ScopeState,
  43. /// The component's properties.
  44. pub props: &'a T,
  45. }
  46. impl<'a, T> std::ops::Deref for Scoped<'a, T> {
  47. type Target = &'a ScopeState;
  48. fn deref(&self) -> &Self::Target {
  49. &self.scope
  50. }
  51. }
  52. /// A component's unique identifier.
  53. ///
  54. /// `ScopeId` is a `usize` that acts a key for the internal slab of Scopes. This means that the key is not unqiue across
  55. /// time. We do try and guarantee that between calls to `wait_for_work`, no ScopeIds will be recycled in order to give
  56. /// time for any logic that relies on these IDs to properly update.
  57. #[cfg_attr(feature = "serialize", derive(serde::Serialize, serde::Deserialize))]
  58. #[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, PartialOrd, Ord)]
  59. pub struct ScopeId(pub usize);
  60. /// A component's state separate from its props.
  61. ///
  62. /// This struct exists to provide a common interface for all scopes without relying on generics.
  63. pub struct ScopeState {
  64. pub(crate) runtime: Rc<Runtime>,
  65. pub(crate) context_id: ScopeId,
  66. pub(crate) render_cnt: Cell<usize>,
  67. pub(crate) node_arena_1: BumpFrame,
  68. pub(crate) node_arena_2: BumpFrame,
  69. pub(crate) hooks: RefCell<Vec<Box<UnsafeCell<dyn Any>>>>,
  70. pub(crate) hook_idx: Cell<usize>,
  71. pub(crate) borrowed_props: RefCell<Vec<*const VComponent<'static>>>,
  72. pub(crate) attributes_to_drop: RefCell<Vec<*const Attribute<'static>>>,
  73. pub(crate) props: Option<Box<dyn AnyProps<'static>>>,
  74. }
  75. impl Drop for ScopeState {
  76. fn drop(&mut self) {
  77. self.runtime.remove_context(self.context_id);
  78. }
  79. }
  80. impl<'src> ScopeState {
  81. pub(crate) fn context(&self) -> Ref<'_, ScopeContext> {
  82. self.runtime.get_context(self.context_id).unwrap()
  83. }
  84. pub(crate) fn current_frame(&self) -> &BumpFrame {
  85. match self.render_cnt.get() % 2 {
  86. 0 => &self.node_arena_1,
  87. 1 => &self.node_arena_2,
  88. _ => unreachable!(),
  89. }
  90. }
  91. pub(crate) fn previous_frame(&self) -> &BumpFrame {
  92. match self.render_cnt.get() % 2 {
  93. 1 => &self.node_arena_1,
  94. 0 => &self.node_arena_2,
  95. _ => unreachable!(),
  96. }
  97. }
  98. /// Get the name of this component
  99. pub fn name(&self) -> &str {
  100. self.context().name
  101. }
  102. /// Get the current render since the inception of this component
  103. ///
  104. /// This can be used as a helpful diagnostic when debugging hooks/renders, etc
  105. pub fn generation(&self) -> usize {
  106. self.render_cnt.get()
  107. }
  108. /// Get a handle to the currently active bump arena for this Scope
  109. ///
  110. /// This is a bump memory allocator. Be careful using this directly since the contents will be wiped on the next render.
  111. /// It's easy to leak memory here since the drop implementation will not be called for any objects allocated in this arena.
  112. ///
  113. /// If you need to allocate items that need to be dropped, use bumpalo's box.
  114. pub fn bump(&self) -> &Bump {
  115. // note that this is actually the previous frame since we use that as scratch space while the component is rendering
  116. self.previous_frame().bump()
  117. }
  118. /// Get a handle to the currently active head node arena for this Scope
  119. ///
  120. /// This is useful for traversing the tree outside of the VirtualDom, such as in a custom renderer or in SSR.
  121. ///
  122. /// Panics if the tree has not been built yet.
  123. pub fn root_node(&self) -> &RenderReturn {
  124. self.try_root_node()
  125. .expect("The tree has not been built yet. Make sure to call rebuild on the tree before accessing its nodes.")
  126. }
  127. /// Try to get a handle to the currently active head node arena for this Scope
  128. ///
  129. /// This is useful for traversing the tree outside of the VirtualDom, such as in a custom renderer or in SSR.
  130. ///
  131. /// Returns [`None`] if the tree has not been built yet.
  132. pub fn try_root_node(&self) -> Option<&RenderReturn> {
  133. let ptr = self.current_frame().node.get();
  134. if ptr.is_null() {
  135. return None;
  136. }
  137. let r: &RenderReturn = unsafe { &*ptr };
  138. unsafe { std::mem::transmute(r) }
  139. }
  140. /// Get the height of this Scope - IE the number of scopes above it.
  141. ///
  142. /// A Scope with a height of `0` is the root scope - there are no other scopes above it.
  143. ///
  144. /// # Example
  145. ///
  146. /// ```rust, ignore
  147. /// let mut dom = VirtualDom::new(|cx| cx.render(rsx!{ div {} }));
  148. /// dom.rebuild();
  149. ///
  150. /// let base = dom.base_scope();
  151. ///
  152. /// assert_eq!(base.height(), 0);
  153. /// ```
  154. pub fn height(&self) -> u32 {
  155. self.context().height
  156. }
  157. /// Get the Parent of this [`Scope`] within this Dioxus [`crate::VirtualDom`].
  158. ///
  159. /// This ID is not unique across Dioxus [`crate::VirtualDom`]s or across time. IDs will be reused when components are unmounted.
  160. ///
  161. /// The base component will not have a parent, and will return `None`.
  162. ///
  163. /// # Example
  164. ///
  165. /// ```rust, ignore
  166. /// let mut dom = VirtualDom::new(|cx| cx.render(rsx!{ div {} }));
  167. /// dom.rebuild();
  168. ///
  169. /// let base = dom.base_scope();
  170. ///
  171. /// assert_eq!(base.parent(), None);
  172. /// ```
  173. pub fn parent(&self) -> Option<ScopeId> {
  174. // safety: the pointer to our parent is *always* valid thanks to the bump arena
  175. self.context().parent_id()
  176. }
  177. /// Get the ID of this Scope within this Dioxus [`crate::VirtualDom`].
  178. ///
  179. /// This ID is not unique across Dioxus [`crate::VirtualDom`]s or across time. IDs will be reused when components are unmounted.
  180. ///
  181. /// # Example
  182. ///
  183. /// ```rust, ignore
  184. /// let mut dom = VirtualDom::new(|cx| cx.render(rsx!{ div {} }));
  185. /// dom.rebuild();
  186. /// let base = dom.base_scope();
  187. ///
  188. /// assert_eq!(base.scope_id(), 0);
  189. /// ```
  190. pub fn scope_id(&self) -> ScopeId {
  191. self.context().scope_id()
  192. }
  193. /// Create a subscription that schedules a future render for the reference component
  194. ///
  195. /// ## Notice: you should prefer using [`Self::schedule_update_any`] and [`Self::scope_id`]
  196. pub fn schedule_update(&self) -> Arc<dyn Fn() + Send + Sync + 'static> {
  197. self.context().schedule_update()
  198. }
  199. /// Schedule an update for any component given its [`ScopeId`].
  200. ///
  201. /// A component's [`ScopeId`] can be obtained from `use_hook` or the [`ScopeState::scope_id`] method.
  202. ///
  203. /// This method should be used when you want to schedule an update for a component
  204. pub fn schedule_update_any(&self) -> Arc<dyn Fn(ScopeId) + Send + Sync> {
  205. self.context().schedule_update_any()
  206. }
  207. /// Mark this scope as dirty, and schedule a render for it.
  208. pub fn needs_update(&self) {
  209. self.context().needs_update()
  210. }
  211. /// Get the [`ScopeId`] of a mounted component.
  212. ///
  213. /// `ScopeId` is not unique for the lifetime of the [`crate::VirtualDom`] - a [`ScopeId`] will be reused if a component is unmounted.
  214. pub fn needs_update_any(&self, id: ScopeId) {
  215. self.context().needs_update_any(id)
  216. }
  217. /// Return any context of type T if it exists on this scope
  218. pub fn has_context<T: 'static + Clone>(&self) -> Option<T> {
  219. self.context().has_context()
  220. }
  221. /// Try to retrieve a shared state with type `T` from any parent scope.
  222. ///
  223. /// Clones the state if it exists.
  224. pub fn consume_context<T: 'static + Clone>(&self) -> Option<T> {
  225. self.context().consume_context()
  226. }
  227. /// Expose state to children further down the [`crate::VirtualDom`] Tree. Requires `Clone` on the context to allow getting values down the tree.
  228. ///
  229. /// This is a "fundamental" operation and should only be called during initialization of a hook.
  230. ///
  231. /// For a hook that provides the same functionality, use `use_provide_context` and `use_context` instead.
  232. ///
  233. /// # Example
  234. ///
  235. /// ```rust, ignore
  236. /// struct SharedState(&'static str);
  237. ///
  238. /// static App: Component = |cx| {
  239. /// cx.use_hook(|| cx.provide_context(SharedState("world")));
  240. /// render!(Child {})
  241. /// }
  242. ///
  243. /// static Child: Component = |cx| {
  244. /// let state = cx.consume_state::<SharedState>();
  245. /// render!(div { "hello {state.0}" })
  246. /// }
  247. /// ```
  248. pub fn provide_context<T: 'static + Clone>(&self, value: T) -> T {
  249. self.context().provide_context(value)
  250. }
  251. /// Provide a context to the root and then consume it
  252. ///
  253. /// This is intended for "global" state management solutions that would rather be implicit for the entire app.
  254. /// Things like signal runtimes and routers are examples of "singletons" that would benefit from lazy initialization.
  255. ///
  256. /// Note that you should be checking if the context existed before trying to provide a new one. Providing a context
  257. /// when a context already exists will swap the context out for the new one, which may not be what you want.
  258. pub fn provide_root_context<T: 'static + Clone>(&self, context: T) -> T {
  259. self.context().provide_root_context(context)
  260. }
  261. /// Pushes the future onto the poll queue to be polled after the component renders.
  262. pub fn push_future(&self, fut: impl Future<Output = ()> + 'static) -> TaskId {
  263. self.context().push_future(fut)
  264. }
  265. /// Spawns the future but does not return the [`TaskId`]
  266. pub fn spawn(&self, fut: impl Future<Output = ()> + 'static) {
  267. self.context().spawn(fut);
  268. }
  269. /// Spawn a future that Dioxus won't clean up when this component is unmounted
  270. ///
  271. /// This is good for tasks that need to be run after the component has been dropped.
  272. pub fn spawn_forever(&self, fut: impl Future<Output = ()> + 'static) -> TaskId {
  273. self.context().spawn_forever(fut)
  274. }
  275. /// Informs the scheduler that this task is no longer needed and should be removed.
  276. ///
  277. /// This drops the task immediately.
  278. pub fn remove_future(&self, id: TaskId) {
  279. self.context().remove_future(id);
  280. }
  281. /// Take a lazy [`crate::VNode`] structure and actually build it with the context of the efficient [`bumpalo::Bump`] allocator.
  282. ///
  283. /// ## Example
  284. ///
  285. /// ```ignore
  286. /// fn Component(cx: Scope<Props>) -> Element {
  287. /// // Lazy assemble the VNode tree
  288. /// let lazy_nodes = rsx!("hello world");
  289. ///
  290. /// // Actually build the tree and allocate it
  291. /// cx.render(lazy_tree)
  292. /// }
  293. ///```
  294. pub fn render(&'src self, rsx: LazyNodes<'src, '_>) -> Element<'src> {
  295. let element = rsx.call(self);
  296. let mut listeners = self.attributes_to_drop.borrow_mut();
  297. for attr in element.dynamic_attrs {
  298. match attr.value {
  299. AttributeValue::Any(_) | AttributeValue::Listener(_) => {
  300. let unbounded = unsafe { std::mem::transmute(attr as *const Attribute) };
  301. listeners.push(unbounded);
  302. }
  303. _ => (),
  304. }
  305. }
  306. let mut props = self.borrowed_props.borrow_mut();
  307. for node in element.dynamic_nodes {
  308. if let DynamicNode::Component(comp) = node {
  309. if !comp.static_props {
  310. let unbounded = unsafe { std::mem::transmute(comp as *const VComponent) };
  311. props.push(unbounded);
  312. }
  313. }
  314. }
  315. Some(element)
  316. }
  317. /// Create a dynamic text node using [`Arguments`] and the [`ScopeState`]'s internal [`Bump`] allocator
  318. pub fn text_node(&'src self, args: Arguments) -> DynamicNode<'src> {
  319. DynamicNode::Text(VText {
  320. value: self.raw_text(args),
  321. id: Default::default(),
  322. })
  323. }
  324. /// Allocate some text inside the [`ScopeState`] from [`Arguments`]
  325. ///
  326. /// Uses the currently active [`Bump`] allocator
  327. pub fn raw_text(&'src self, args: Arguments) -> &'src str {
  328. args.as_str().unwrap_or_else(|| {
  329. use bumpalo::core_alloc::fmt::Write;
  330. let mut str_buf = bumpalo::collections::String::new_in(self.bump());
  331. str_buf.write_fmt(args).unwrap();
  332. str_buf.into_bump_str()
  333. })
  334. }
  335. /// Convert any item that implements [`IntoDynNode`] into a [`DynamicNode`] using the internal [`Bump`] allocator
  336. pub fn make_node<'c, I>(&'src self, into: impl IntoDynNode<'src, I> + 'c) -> DynamicNode {
  337. into.into_vnode(self)
  338. }
  339. /// Create a new [`Attribute`] from a name, value, namespace, and volatile bool
  340. ///
  341. /// "Volatile" referes to whether or not Dioxus should always override the value. This helps prevent the UI in
  342. /// some renderers stay in sync with the VirtualDom's understanding of the world
  343. pub fn attr(
  344. &'src self,
  345. name: &'static str,
  346. value: impl IntoAttributeValue<'src>,
  347. namespace: Option<&'static str>,
  348. volatile: bool,
  349. ) -> Attribute<'src> {
  350. Attribute {
  351. name,
  352. namespace,
  353. volatile,
  354. mounted_element: Default::default(),
  355. value: value.into_value(self.bump()),
  356. }
  357. }
  358. /// Create a new [`DynamicNode::Component`] variant
  359. ///
  360. ///
  361. /// The given component can be any of four signatures. Remember that an [`Element`] is really a [`Result<VNode>`].
  362. ///
  363. /// ```rust, ignore
  364. /// // Without explicit props
  365. /// fn(Scope) -> Element;
  366. /// async fn(Scope<'_>) -> Element;
  367. ///
  368. /// // With explicit props
  369. /// fn(Scope<Props>) -> Element;
  370. /// async fn(Scope<Props<'_>>) -> Element;
  371. /// ```
  372. pub fn component<'child, P>(
  373. &'src self,
  374. component: fn(Scope<'child, P>) -> Element<'child>,
  375. props: P,
  376. fn_name: &'static str,
  377. ) -> DynamicNode<'src>
  378. where
  379. P: Properties + 'child,
  380. 'src: 'child,
  381. {
  382. let vcomp = VProps::new(component, P::memoize, props);
  383. // cast off the lifetime of the render return
  384. let as_dyn: Box<dyn AnyProps<'child> + '_> = Box::new(vcomp);
  385. let extended: Box<dyn AnyProps<'src> + 'src> = unsafe { std::mem::transmute(as_dyn) };
  386. DynamicNode::Component(VComponent {
  387. name: fn_name,
  388. render_fn: component as *const (),
  389. static_props: P::IS_STATIC,
  390. props: RefCell::new(Some(extended)),
  391. scope: Cell::new(None),
  392. })
  393. }
  394. /// Create a new [`EventHandler`] from an [`FnMut`]
  395. pub fn event_handler<T>(&'src self, f: impl FnMut(T) + 'src) -> EventHandler<'src, T> {
  396. let handler: &mut dyn FnMut(T) = self.bump().alloc(f);
  397. let caller = unsafe { BumpBox::from_raw(handler as *mut dyn FnMut(T)) };
  398. let callback = RefCell::new(Some(caller));
  399. EventHandler {
  400. callback,
  401. origin: self.context().id,
  402. }
  403. }
  404. /// Create a new [`AttributeValue`] with the listener variant from a callback
  405. ///
  406. /// The callback must be confined to the lifetime of the ScopeState
  407. pub fn listener<T: 'static>(
  408. &'src self,
  409. mut callback: impl FnMut(Event<T>) + 'src,
  410. ) -> AttributeValue<'src> {
  411. // safety: there's no other way to create a dynamicly-dispatched bump box other than alloc + from-raw
  412. // This is the suggested way to build a bumpbox
  413. //
  414. // In theory, we could just use regular boxes
  415. let boxed: BumpBox<'src, dyn FnMut(_) + 'src> = unsafe {
  416. BumpBox::from_raw(self.bump().alloc(move |event: Event<dyn Any>| {
  417. if let Ok(data) = event.data.downcast::<T>() {
  418. callback(Event {
  419. propagates: event.propagates,
  420. data,
  421. });
  422. }
  423. }))
  424. };
  425. AttributeValue::Listener(RefCell::new(Some(boxed)))
  426. }
  427. /// Create a new [`AttributeValue`] with a value that implements [`AnyValue`]
  428. pub fn any_value<T: AnyValue>(&'src self, value: T) -> AttributeValue<'src> {
  429. // safety: there's no other way to create a dynamicly-dispatched bump box other than alloc + from-raw
  430. // This is the suggested way to build a bumpbox
  431. //
  432. // In theory, we could just use regular boxes
  433. let boxed: BumpBox<'src, dyn AnyValue> =
  434. unsafe { BumpBox::from_raw(self.bump().alloc(value)) };
  435. AttributeValue::Any(RefCell::new(Some(boxed)))
  436. }
  437. /// Inject an error into the nearest error boundary and quit rendering
  438. ///
  439. /// The error doesn't need to implement Error or any specific traits since the boundary
  440. /// itself will downcast the error into a trait object.
  441. pub fn throw(&self, error: impl Debug + 'static) -> Option<()> {
  442. if let Some(cx) = self.consume_context::<Rc<ErrorBoundary>>() {
  443. cx.insert_error(self.scope_id(), Box::new(error));
  444. }
  445. // Always return none during a throw
  446. None
  447. }
  448. /// Mark this component as suspended and then return None
  449. pub fn suspend(&self) -> Option<Element> {
  450. let cx = self.context();
  451. cx.suspend();
  452. None
  453. }
  454. /// Store a value between renders. The foundational hook for all other hooks.
  455. ///
  456. /// Accepts an `initializer` closure, which is run on the first use of the hook (typically the initial render). The return value of this closure is stored for the lifetime of the component, and a mutable reference to it is provided on every render as the return value of `use_hook`.
  457. ///
  458. /// When the component is unmounted (removed from the UI), the value is dropped. This means you can return a custom type and provide cleanup code by implementing the [`Drop`] trait
  459. ///
  460. /// # Example
  461. ///
  462. /// ```
  463. /// use dioxus_core::ScopeState;
  464. ///
  465. /// // prints a greeting on the initial render
  466. /// pub fn use_hello_world(cx: &ScopeState) {
  467. /// cx.use_hook(|| println!("Hello, world!"));
  468. /// }
  469. /// ```
  470. #[allow(clippy::mut_from_ref)]
  471. pub fn use_hook<State: 'static>(&self, initializer: impl FnOnce() -> State) -> &mut State {
  472. let cur_hook = self.hook_idx.get();
  473. let mut hooks = self.hooks.try_borrow_mut().expect("The hook list is already borrowed: This error is likely caused by trying to use a hook inside a hook which violates the rules of hooks.");
  474. if cur_hook >= hooks.len() {
  475. hooks.push(Box::new(UnsafeCell::new(initializer())));
  476. }
  477. hooks
  478. .get(cur_hook)
  479. .and_then(|inn| {
  480. self.hook_idx.set(cur_hook + 1);
  481. let raw_ref = unsafe { &mut *inn.get() };
  482. raw_ref.downcast_mut::<State>()
  483. })
  484. .expect(
  485. r#"
  486. Unable to retrieve the hook that was initialized at this index.
  487. Consult the `rules of hooks` to understand how to use hooks properly.
  488. You likely used the hook in a conditional. Hooks rely on consistent ordering between renders.
  489. Functions prefixed with "use" should never be called conditionally.
  490. "#,
  491. )
  492. }
  493. }