diffing.rs 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804
  1. #![allow(unused, non_upper_case_globals)]
  2. //! Diffing Tests
  3. //!
  4. //! These tests only verify that the diffing algorithm works properly for single components.
  5. //!
  6. //! It does not validated that component lifecycles work properly. This is done in another test file.
  7. use dioxus::{prelude::*, DomEdit};
  8. use dioxus_core as dioxus;
  9. use dioxus_core_macro::*;
  10. use dioxus_html as dioxus_elements;
  11. mod test_logging;
  12. fn new_dom() -> VirtualDom {
  13. const IS_LOGGING_ENABLED: bool = false;
  14. test_logging::set_up_logging(IS_LOGGING_ENABLED);
  15. VirtualDom::new(|cx| rsx!(cx, "hi"))
  16. }
  17. use DomEdit::*;
  18. /// Should push the text node onto the stack and modify it
  19. #[test]
  20. fn html_and_rsx_generate_the_same_output() {
  21. let dom = new_dom();
  22. let (create, change) = dom.diff_lazynodes(
  23. rsx! ( div { "Hello world" } ),
  24. rsx! ( div { "Goodbye world" } ),
  25. );
  26. assert_eq!(
  27. create.edits,
  28. [
  29. CreateElement {
  30. root: 1,
  31. tag: "div"
  32. },
  33. CreateTextNode {
  34. root: 2,
  35. text: "Hello world"
  36. },
  37. AppendChildren { many: 1 },
  38. AppendChildren { many: 1 },
  39. ]
  40. );
  41. assert_eq!(
  42. change.edits,
  43. [SetText {
  44. text: "Goodbye world",
  45. root: 2
  46. },]
  47. );
  48. }
  49. /// Should result in 3 elements on the stack
  50. #[test]
  51. fn fragments_create_properly() {
  52. let dom = new_dom();
  53. let create = dom.create_vnodes(rsx! {
  54. div { "Hello a" }
  55. div { "Hello b" }
  56. div { "Hello c" }
  57. });
  58. assert_eq!(
  59. create.edits,
  60. [
  61. CreateElement {
  62. root: 1,
  63. tag: "div"
  64. },
  65. CreateTextNode {
  66. root: 2,
  67. text: "Hello a"
  68. },
  69. AppendChildren { many: 1 },
  70. CreateElement {
  71. root: 3,
  72. tag: "div"
  73. },
  74. CreateTextNode {
  75. root: 4,
  76. text: "Hello b"
  77. },
  78. AppendChildren { many: 1 },
  79. CreateElement {
  80. root: 5,
  81. tag: "div"
  82. },
  83. CreateTextNode {
  84. root: 6,
  85. text: "Hello c"
  86. },
  87. AppendChildren { many: 1 },
  88. AppendChildren { many: 3 },
  89. ]
  90. );
  91. }
  92. /// Should result in the creation of an anchor (placeholder) and then a replacewith
  93. #[test]
  94. fn empty_fragments_create_anchors() {
  95. let dom = new_dom();
  96. let left = rsx!({ (0..0).map(|_f| rsx! { div {}}) });
  97. let right = rsx!({ (0..1).map(|_f| rsx! { div {}}) });
  98. let (create, change) = dom.diff_lazynodes(left, right);
  99. assert_eq!(
  100. create.edits,
  101. [CreatePlaceholder { root: 1 }, AppendChildren { many: 1 }]
  102. );
  103. assert_eq!(
  104. change.edits,
  105. [
  106. CreateElement {
  107. root: 2,
  108. tag: "div"
  109. },
  110. ReplaceWith { m: 1, root: 1 }
  111. ]
  112. );
  113. }
  114. /// Should result in the creation of an anchor (placeholder) and then a replacewith m=5
  115. #[test]
  116. fn empty_fragments_create_many_anchors() {
  117. let dom = new_dom();
  118. let left = rsx!({ (0..0).map(|_f| rsx! { div {}}) });
  119. let right = rsx!({ (0..5).map(|_f| rsx! { div {}}) });
  120. let (create, change) = dom.diff_lazynodes(left, right);
  121. assert_eq!(
  122. create.edits,
  123. [CreatePlaceholder { root: 1 }, AppendChildren { many: 1 }]
  124. );
  125. assert_eq!(
  126. change.edits,
  127. [
  128. CreateElement {
  129. root: 2,
  130. tag: "div"
  131. },
  132. CreateElement {
  133. root: 3,
  134. tag: "div"
  135. },
  136. CreateElement {
  137. root: 4,
  138. tag: "div"
  139. },
  140. CreateElement {
  141. root: 5,
  142. tag: "div"
  143. },
  144. CreateElement {
  145. root: 6,
  146. tag: "div"
  147. },
  148. ReplaceWith { m: 5, root: 1 }
  149. ]
  150. );
  151. }
  152. /// Should result in the creation of an anchor (placeholder) and then a replacewith
  153. /// Includes child nodes inside the fragment
  154. #[test]
  155. fn empty_fragments_create_anchors_with_many_children() {
  156. let dom = new_dom();
  157. let left = rsx!({ (0..0).map(|_| rsx! { div {} }) });
  158. let right = rsx!({
  159. (0..3).map(|f| {
  160. rsx! { div { "hello: {f}" }}
  161. })
  162. });
  163. let (create, change) = dom.diff_lazynodes(left, right);
  164. assert_eq!(
  165. create.edits,
  166. [CreatePlaceholder { root: 1 }, AppendChildren { many: 1 }]
  167. );
  168. assert_eq!(
  169. change.edits,
  170. [
  171. CreateElement {
  172. tag: "div",
  173. root: 2,
  174. },
  175. CreateTextNode {
  176. text: "hello: 0",
  177. root: 3
  178. },
  179. AppendChildren { many: 1 },
  180. CreateElement {
  181. tag: "div",
  182. root: 4,
  183. },
  184. CreateTextNode {
  185. text: "hello: 1",
  186. root: 5
  187. },
  188. AppendChildren { many: 1 },
  189. CreateElement {
  190. tag: "div",
  191. root: 6,
  192. },
  193. CreateTextNode {
  194. text: "hello: 2",
  195. root: 7
  196. },
  197. AppendChildren { many: 1 },
  198. ReplaceWith { root: 1, m: 3 }
  199. ]
  200. );
  201. }
  202. /// Should result in every node being pushed and then replaced with an anchor
  203. #[test]
  204. fn many_items_become_fragment() {
  205. let dom = new_dom();
  206. let left = rsx!({
  207. (0..2).map(|_| {
  208. rsx! { div { "hello" }}
  209. })
  210. });
  211. let right = rsx!({ (0..0).map(|_| rsx! { div {} }) });
  212. let (create, change) = dom.diff_lazynodes(left, right);
  213. assert_eq!(
  214. create.edits,
  215. [
  216. CreateElement {
  217. root: 1,
  218. tag: "div"
  219. },
  220. CreateTextNode {
  221. text: "hello",
  222. root: 2
  223. },
  224. AppendChildren { many: 1 },
  225. CreateElement {
  226. root: 3,
  227. tag: "div"
  228. },
  229. CreateTextNode {
  230. text: "hello",
  231. root: 4
  232. },
  233. AppendChildren { many: 1 },
  234. AppendChildren { many: 2 },
  235. ]
  236. );
  237. assert_eq!(
  238. change.edits,
  239. [
  240. CreatePlaceholder { root: 5 },
  241. ReplaceWith { root: 1, m: 1 },
  242. Remove { root: 3 },
  243. ]
  244. );
  245. }
  246. /// Should result in no edits
  247. #[test]
  248. fn two_equal_fragments_are_equal() {
  249. let dom = new_dom();
  250. let left = rsx!({
  251. (0..2).map(|_| {
  252. rsx! { div { "hello" }}
  253. })
  254. });
  255. let right = rsx!({
  256. (0..2).map(|_| {
  257. rsx! { div { "hello" }}
  258. })
  259. });
  260. let (_create, change) = dom.diff_lazynodes(left, right);
  261. assert!(change.edits.is_empty());
  262. }
  263. /// Should result the creation of more nodes appended after the old last node
  264. #[test]
  265. fn two_fragments_with_differrent_elements_are_differet() {
  266. let dom = new_dom();
  267. let left = rsx!(
  268. { (0..2).map(|_| rsx! { div { }} ) }
  269. p {}
  270. );
  271. let right = rsx!(
  272. { (0..5).map(|_| rsx! (h1 { }) ) }
  273. p {}
  274. );
  275. let (_create, changes) = dom.diff_lazynodes(left, right);
  276. log::debug!("{:#?}", &changes);
  277. assert_eq!(
  278. changes.edits,
  279. [
  280. // create the new h1s
  281. CreateElement { tag: "h1", root: 4 },
  282. CreateElement { tag: "h1", root: 5 },
  283. CreateElement { tag: "h1", root: 6 },
  284. InsertAfter { root: 2, n: 3 },
  285. // replace the divs with new h1s
  286. CreateElement { tag: "h1", root: 7 },
  287. ReplaceWith { root: 1, m: 1 },
  288. CreateElement { tag: "h1", root: 8 },
  289. ReplaceWith { root: 2, m: 1 },
  290. ]
  291. );
  292. }
  293. /// Should result in multiple nodes destroyed - with changes to the first nodes
  294. #[test]
  295. fn two_fragments_with_differrent_elements_are_differet_shorter() {
  296. let dom = new_dom();
  297. let left = rsx!(
  298. {(0..5).map(|f| {rsx! { div { }}})}
  299. p {}
  300. );
  301. let right = rsx!(
  302. {(0..2).map(|f| {rsx! { h1 { }}})}
  303. p {}
  304. );
  305. let (create, change) = dom.diff_lazynodes(left, right);
  306. assert_eq!(
  307. create.edits,
  308. [
  309. CreateElement {
  310. root: 1,
  311. tag: "div"
  312. },
  313. CreateElement {
  314. root: 2,
  315. tag: "div"
  316. },
  317. CreateElement {
  318. root: 3,
  319. tag: "div"
  320. },
  321. CreateElement {
  322. root: 4,
  323. tag: "div"
  324. },
  325. CreateElement {
  326. root: 5,
  327. tag: "div"
  328. },
  329. CreateElement { root: 6, tag: "p" },
  330. AppendChildren { many: 6 },
  331. ]
  332. );
  333. assert_eq!(
  334. change.edits,
  335. [
  336. Remove { root: 3 },
  337. Remove { root: 4 },
  338. Remove { root: 5 },
  339. CreateElement { root: 7, tag: "h1" },
  340. ReplaceWith { root: 1, m: 1 },
  341. CreateElement { root: 8, tag: "h1" },
  342. ReplaceWith { root: 2, m: 1 },
  343. ]
  344. );
  345. }
  346. /// Should result in multiple nodes destroyed - with no changes
  347. #[test]
  348. fn two_fragments_with_same_elements_are_differet() {
  349. let dom = new_dom();
  350. let left = rsx!(
  351. {(0..2).map(|f| {rsx! { div { }}})}
  352. p {}
  353. );
  354. let right = rsx!(
  355. {(0..5).map(|f| {rsx! { div { }}})}
  356. p {}
  357. );
  358. let (create, change) = dom.diff_lazynodes(left, right);
  359. assert_eq!(
  360. create.edits,
  361. [
  362. CreateElement {
  363. root: 1,
  364. tag: "div"
  365. },
  366. CreateElement {
  367. root: 2,
  368. tag: "div"
  369. },
  370. CreateElement { root: 3, tag: "p" },
  371. AppendChildren { many: 3 },
  372. ]
  373. );
  374. assert_eq!(
  375. change.edits,
  376. [
  377. CreateElement {
  378. root: 4,
  379. tag: "div"
  380. },
  381. CreateElement {
  382. root: 5,
  383. tag: "div"
  384. },
  385. CreateElement {
  386. root: 6,
  387. tag: "div"
  388. },
  389. InsertAfter { root: 2, n: 3 },
  390. ]
  391. );
  392. }
  393. /// should result in the removal of elements
  394. #[test]
  395. fn keyed_diffing_order() {
  396. let dom = new_dom();
  397. let left = rsx!(
  398. {(0..5).map(|f| {rsx! { div { key: "{f}" }}})}
  399. p {"e"}
  400. );
  401. let right = rsx!(
  402. {(0..2).map(|f| rsx! { div { key: "{f}" }})}
  403. p {"e"}
  404. );
  405. let (create, change) = dom.diff_lazynodes(left, right);
  406. assert_eq!(
  407. change.edits,
  408. [Remove { root: 3 }, Remove { root: 4 }, Remove { root: 5 },]
  409. );
  410. }
  411. /// Should result in moves, but not removals or additions
  412. #[test]
  413. fn keyed_diffing_out_of_order() {
  414. let dom = new_dom();
  415. let left = rsx!({
  416. [0, 1, 2, 3, /**/ 4, 5, 6, /**/ 7, 8, 9].iter().map(|f| {
  417. rsx! { div { key: "{f}" }}
  418. })
  419. });
  420. let right = rsx!({
  421. [0, 1, 2, 3, /**/ 6, 4, 5, /**/ 7, 8, 9].iter().map(|f| {
  422. rsx! { div { key: "{f}" }}
  423. })
  424. });
  425. let (_, changes) = dom.diff_lazynodes(left, right);
  426. log::debug!("{:?}", &changes);
  427. assert_eq!(
  428. changes.edits,
  429. [PushRoot { root: 7 }, InsertBefore { root: 5, n: 1 }]
  430. );
  431. }
  432. /// Should result in moves only
  433. #[test]
  434. fn keyed_diffing_out_of_order_adds() {
  435. let dom = new_dom();
  436. let left = rsx!({
  437. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  438. rsx! { div { key: "{f}" }}
  439. })
  440. });
  441. let right = rsx!({
  442. [/**/ 8, 7, 4, 5, 6 /**/].iter().map(|f| {
  443. rsx! { div { key: "{f}" }}
  444. })
  445. });
  446. let (_, change) = dom.diff_lazynodes(left, right);
  447. assert_eq!(
  448. change.edits,
  449. [
  450. PushRoot { root: 5 },
  451. PushRoot { root: 4 },
  452. InsertBefore { n: 2, root: 1 }
  453. ]
  454. );
  455. }
  456. /// Should result in moves onl
  457. #[test]
  458. fn keyed_diffing_out_of_order_adds_2() {
  459. let dom = new_dom();
  460. let left = rsx!({
  461. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  462. rsx! { div { key: "{f}" }}
  463. })
  464. });
  465. let right = rsx!({
  466. [/**/ 7, 8, 4, 5, 6 /**/].iter().map(|f| {
  467. rsx! { div { key: "{f}" }}
  468. })
  469. });
  470. let (_, change) = dom.diff_lazynodes(left, right);
  471. assert_eq!(
  472. change.edits,
  473. [
  474. PushRoot { root: 4 },
  475. PushRoot { root: 5 },
  476. InsertBefore { n: 2, root: 1 }
  477. ]
  478. );
  479. }
  480. /// Should result in moves onl
  481. #[test]
  482. fn keyed_diffing_out_of_order_adds_3() {
  483. let dom = new_dom();
  484. let left = rsx!({
  485. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  486. rsx! { div { key: "{f}" }}
  487. })
  488. });
  489. let right = rsx!({
  490. [/**/ 4, 8, 7, 5, 6 /**/].iter().map(|f| {
  491. rsx! { div { key: "{f}" }}
  492. })
  493. });
  494. let (_, change) = dom.diff_lazynodes(left, right);
  495. assert_eq!(
  496. change.edits,
  497. [
  498. PushRoot { root: 5 },
  499. PushRoot { root: 4 },
  500. InsertBefore { n: 2, root: 2 }
  501. ]
  502. );
  503. }
  504. /// Should result in moves onl
  505. #[test]
  506. fn keyed_diffing_out_of_order_adds_4() {
  507. let dom = new_dom();
  508. let left = rsx!({
  509. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  510. rsx! { div { key: "{f}" }}
  511. })
  512. });
  513. let right = rsx!({
  514. [/**/ 4, 5, 8, 7, 6 /**/].iter().map(|f| {
  515. rsx! { div { key: "{f}" }}
  516. })
  517. });
  518. let (_, change) = dom.diff_lazynodes(left, right);
  519. assert_eq!(
  520. change.edits,
  521. [
  522. PushRoot { root: 5 },
  523. PushRoot { root: 4 },
  524. InsertBefore { n: 2, root: 3 }
  525. ]
  526. );
  527. }
  528. /// Should result in moves onl
  529. #[test]
  530. fn keyed_diffing_out_of_order_adds_5() {
  531. let dom = new_dom();
  532. let left = rsx!({
  533. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  534. rsx! { div { key: "{f}" }}
  535. })
  536. });
  537. let right = rsx!({
  538. [/**/ 4, 5, 6, 8, 7 /**/].iter().map(|f| {
  539. rsx! { div { key: "{f}" }}
  540. })
  541. });
  542. let (_, change) = dom.diff_lazynodes(left, right);
  543. assert_eq!(
  544. change.edits,
  545. [PushRoot { root: 5 }, InsertBefore { n: 1, root: 4 }]
  546. );
  547. }
  548. #[test]
  549. fn keyed_diffing_additions() {
  550. let dom = new_dom();
  551. let left = rsx!({
  552. [/**/ 4, 5, 6, 7, 8 /**/].iter().map(|f| {
  553. rsx! { div { key: "{f}" }}
  554. })
  555. });
  556. let right = rsx!({
  557. [/**/ 4, 5, 6, 7, 8, 9, 10 /**/].iter().map(|f| {
  558. rsx! { div { key: "{f}" }}
  559. })
  560. });
  561. let (_, change) = dom.diff_lazynodes(left, right);
  562. assert_eq!(
  563. change.edits,
  564. [
  565. CreateElement {
  566. root: 6,
  567. tag: "div"
  568. },
  569. CreateElement {
  570. root: 7,
  571. tag: "div"
  572. },
  573. InsertAfter { n: 2, root: 5 }
  574. ]
  575. );
  576. }
  577. #[test]
  578. fn keyed_diffing_additions_and_moves_on_ends() {
  579. let dom = new_dom();
  580. let left = rsx!({
  581. [/**/ 4, 5, 6, 7 /**/].iter().map(|f| {
  582. rsx! { div { key: "{f}" }}
  583. })
  584. });
  585. let right = rsx!({
  586. [/**/ 7, 4, 5, 6, 11, 12 /**/].iter().map(|f| {
  587. rsx! { div { key: "{f}" }}
  588. })
  589. });
  590. let (_, change) = dom.diff_lazynodes(left, right);
  591. log::debug!("{:?}", change);
  592. assert_eq!(
  593. change.edits,
  594. [
  595. // create 11, 12
  596. CreateElement {
  597. tag: "div",
  598. root: 5
  599. },
  600. CreateElement {
  601. tag: "div",
  602. root: 6
  603. },
  604. InsertAfter { root: 3, n: 2 },
  605. // move 7 to the front
  606. PushRoot { root: 4 },
  607. InsertBefore { root: 1, n: 1 }
  608. ]
  609. );
  610. }
  611. #[test]
  612. fn keyed_diffing_additions_and_moves_in_middle() {
  613. let dom = new_dom();
  614. let left = rsx!({
  615. [/**/ 4, 5, 6, 7 /**/].iter().map(|f| {
  616. rsx! { div { key: "{f}" }}
  617. })
  618. });
  619. let right = rsx!({
  620. [/**/ 7, 4, 13, 17, 5, 11, 12, 6 /**/].iter().map(|f| {
  621. rsx! { div { key: "{f}" }}
  622. })
  623. });
  624. // LIS: 4, 5, 6
  625. let (_, change) = dom.diff_lazynodes(left, right);
  626. log::debug!("{:#?}", change);
  627. assert_eq!(
  628. change.edits,
  629. [
  630. // create 13, 17
  631. CreateElement {
  632. tag: "div",
  633. root: 5
  634. },
  635. CreateElement {
  636. tag: "div",
  637. root: 6
  638. },
  639. InsertBefore { root: 2, n: 2 },
  640. // create 11, 12
  641. CreateElement {
  642. tag: "div",
  643. root: 7
  644. },
  645. CreateElement {
  646. tag: "div",
  647. root: 8
  648. },
  649. InsertBefore { root: 3, n: 2 },
  650. // move 7
  651. PushRoot { root: 4 },
  652. InsertBefore { root: 1, n: 1 }
  653. ]
  654. );
  655. }
  656. #[test]
  657. fn controlled_keyed_diffing_out_of_order() {
  658. let dom = new_dom();
  659. let left = rsx!({
  660. [4, 5, 6, 7].iter().map(|f| {
  661. rsx! { div { key: "{f}" }}
  662. })
  663. });
  664. let right = rsx!({
  665. [0, 5, 9, 6, 4].iter().map(|f| {
  666. rsx! { div { key: "{f}" }}
  667. })
  668. });
  669. // LIS: 5, 6
  670. let (_, changes) = dom.diff_lazynodes(left, right);
  671. log::debug!("{:#?}", &changes);
  672. assert_eq!(
  673. changes.edits,
  674. [
  675. // move 4 to after 6
  676. PushRoot { root: 1 },
  677. InsertAfter { n: 1, root: 3 },
  678. // remove 7
  679. // create 9 and insert before 6
  680. CreateElement {
  681. root: 5,
  682. tag: "div"
  683. },
  684. InsertBefore { n: 1, root: 3 },
  685. // create 0 and insert before 5
  686. CreateElement {
  687. root: 6,
  688. tag: "div"
  689. },
  690. InsertBefore { n: 1, root: 2 },
  691. ]
  692. );
  693. }
  694. #[test]
  695. fn controlled_keyed_diffing_out_of_order_max_test() {
  696. let dom = new_dom();
  697. let left = rsx!({
  698. [0, 1, 2, 3, 4].iter().map(|f| {
  699. rsx! { div { key: "{f}" }}
  700. })
  701. });
  702. let right = rsx!({
  703. [3, 0, 1, 10, 2].iter().map(|f| {
  704. rsx! { div { key: "{f}" }}
  705. })
  706. });
  707. let (_, changes) = dom.diff_lazynodes(left, right);
  708. log::debug!("{:#?}", &changes);
  709. assert_eq!(
  710. changes.edits,
  711. [
  712. CreateElement {
  713. root: 6,
  714. tag: "div"
  715. },
  716. InsertBefore { n: 1, root: 3 },
  717. PushRoot { root: 4 },
  718. InsertBefore { n: 1, root: 1 },
  719. ]
  720. );
  721. }