Flutter, Dart和Signal范式

创建 更新

最近看到很多在Flutter上实现Signals范式的项目，其实我自己也试了一下。感想是：Dart缺少太多语法特性了……真正的Signals范式需要很多胶水代码，在JS上这些胶水代码都是用代码生成器生成的，但是Dart和Flutter让这个生成器不是那么的好写，或者没法方便的用自带的特性做类似的功能。

比如说最关键的自动依赖跟踪，这是实现这个Signals的项目都有一大堆胶水代码的关键原因。举个JSX的例子：

1
<Hello name={isWorld() ? "world" : name}/>

会被转译成类似下面的JS代码。

1
2
3
4
5
createComponent(Hello, {
    get name() {
        return (isWorld() ? "world": name);
    }
})

这样才能做到两个功能：

  1. lazy evaluation。只有从props里面获取name时才会evaluate相应表达式；
  2. 自动依赖跟踪。通过模拟一个dynamic-scope variable，lazy evaluation可以让signal在被访问时获得这个变量的值来跟踪依赖。这个是最简单而且计算最少的实现方法（时间复杂度可以做到常数级）。

但是在Dart和Flutter Widget里面，你很难处理成这样。

为了理解这个挑战，可以考虑一下下面这样的API怎么在Dart和Flutter上实现：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
// 怎么恰当处理组件的类型？
const Hello: Component<{name: string, effectName: string}> = (props) => {
    const [isWorld, setIsWorld] = createSignal(false);

    createEffect(() => {
        if (!isWorld()) {
            console.log(props.name); // 如何跟踪这个依赖？
        }
    });

    createEffect(() => {
        console.log(props.effectName); // 如何将这个的更新与上面那个区别开？
    });

    return <div>
        <p>Hello, {isWorld() ? "World" : name}</p> {/* 这个表达式该如何处理？ */}
        <button type="button" onClick={() => setIsWorld(true)}>Toggle</button>
    </div>;
};

export default Hello;

如果你通过InheritWidget这种来代替dynamic-scope variable做（依赖跟踪），它需要在Element树向上查找，这个性能损失太大了。Dart也没有好用的proxy范式，所以很难简单的实现lazy evaluation。如果你的参数收Signal对象，那也是胶水代码的重要来源。

Getx虽然很“脏”，但是它确实充分发展了Dart和Flutter提供的东西。

如果要在Flutter上实现Signal范式，我估计有几个是必须的：