Lib.rs

功能

• 混合图允许同时进行 Adapton 风格和 Incremental 风格的推送更新。有关内部机制的更多信息，您可以查看相关的博客文章。
• 在图中克隆值几乎是可选的。 map 和 then 闭包接收不可变引用，并返回拥有的值。或者，refmap 闭包接收不可变引用，并返回不可变引用。
• 仍在开发中，但应该功能正常（lol）并且速度尚可。但是，仍预期未来几年将会有重大的 API 变更。

示例

// example
use crate::{singlethread::Engine, AnchorExt, Var};
let mut engine = Engine::new();

// create a couple `Var`s
let (my_name, my_name_updater) = Var::new("Bob".to_string());
let (my_unread, my_unread_updater) = Var::new(999usize);

// `my_name` is a `Var`, our first type of `Anchor`. we can pull an `Anchor`'s value out with our `engine`:
assert_eq!(&engine.get(&my_name), "Bob");
assert_eq!(engine.get(&my_unread), 999);

// we can create a new `Anchor` from another one using `map`. The function won't actually run until absolutely necessary.
// also feel free to clone an `Anchor` — the clones will all refer to the same inner state
let my_greeting = my_name.clone().map(|name| {
    println!("calculating name!");
    format!("Hello, {}!", name)
});
assert_eq!(engine.get(&my_greeting), "Hello, Bob!"); // prints "calculating name!"

// we can update a `Var` with its updater. values are cached unless one of its dependencies changes
assert_eq!(engine.get(&my_greeting), "Hello, Bob!"); // doesn't print anything
my_name_updater.set("Robo".to_string());
assert_eq!(engine.get(&my_greeting), "Hello, Robo!"); // prints "calculating name!"

// a `map` can take values from multiple `Anchor`s. just use tuples:
let header = (&my_greeting, &my_unread)
    .map(|greeting, unread| format!("{} You have {} new messages.", greeting, unread));
assert_eq!(
    engine.get(&header),
    "Hello, Robo! You have 999 new messages."
);

// just like a future, you can dynamically decide which `Anchor` to use with `then`:
let (insulting_name, _) = Var::new("Lazybum".to_string());
let dynamic_name = my_unread.then(move |unread| {
    // only use the user's real name if the have less than 100 messages in their inbox
    if *unread < 100 {
        my_name.clone()
    } else {
        insulting_name.clone()
    }
});
assert_eq!(engine.get(&dynamic_name), "Lazybum");
my_unread_updater.set(50);
assert_eq!(engine.get(&dynamic_name), "Robo");

观察到的节点

您可以向引擎指示希望观察某个节点

engine.mark_observed(&dynamic_name);

现在当您请求它时，它将 减少频繁遍历整个图，这对于具有大型 Anchor 依赖树的场景非常有用。但是，也有一些缺点

• 每次您 get 任何 Anchor 时，所有观察到的节点都将更新。
• 如果观察到的依赖项之一是 then，则由它请求的节点可能会被重新计算，即使它们在严格意义上并不是必要的。

它有多快？

您可以在 bench 文件夹中查看一些微基准测试。这些是运行 stabilize_linear_nodes_simple 的结果，这是一个由许多 map 节点组成的线性链，每个节点将 1 添加到某个变化的输入数字。基准测试在我的 Macbook Air（Intel，2020）上针对 Anchors 0.5.0 8c9801c 运行，使用 lto = true。