SolidJS中createMemo与异步资源依赖的双重执行问题解析

引言

在SolidJS应用开发中，createMemo是一个常用的响应式工具函数，用于创建派生状态。然而，当它与异步资源（createResource）结合使用时，开发者可能会遇到一个看似违反直觉的行为——memo函数会被执行两次，其中第一次执行时资源还处于pending状态。本文将深入分析这一现象的原因、SolidJS的设计哲学以及解决方案。

问题现象

当开发者使用createMemo依赖createResource创建的异步资源时，即使外层已经用Show组件包裹并检查资源状态，memo函数仍会在资源加载完成前执行一次。例如：

const [myObject] = createResource(() => Number(params.id), fetchData);
const srcPlugin = createMemo(() => {
  // 第一次执行时myObject()为undefined
  return myObject()?.sourceId;
});

核心机制解析

SolidJS的响应式执行模型

SolidJS采用了一种"推送-拉取"混合的响应式模型，其核心特点包括：

1. 即时计算：所有响应式计算（包括createMemo）在声明时会立即执行一次
2. 依赖追踪：在执行过程中自动追踪依赖关系
3. 批量更新：状态变化后统一调度更新

双重执行的根本原因

当createMemo依赖异步资源时，会发生以下执行流程：

1. 初始化阶段：

   • createResource立即启动异步请求
   • createMemo同步执行第一次计算（此时资源pending）

2. 异步完成阶段：

   • 资源加载完成，触发响应式更新
   • createMemo检测到依赖变化，执行第二次计算

与React的差异对比

与React的useMemo不同，SolidJS的createMemo不区分同步/异步上下文：

特性	SolidJS createMemo	React useMemo
初始执行	立即执行	立即执行
异步处理	不自动等待	自动等待
执行次数	至少一次	条件性执行

解决方案与实践建议

1. 显式状态检查

const srcPlugin = createMemo(() => {
  if (myObject.state !== "ready") return;
  return context.sourcePlugins.get(myObject().sourceId);
});

2. 使用惰性计算模式

Solid Primitives库提供了createLazyMemo，它实现了真正的惰性求值：

import { createLazyMemo } from "@solid-primitives/memo";

const srcPlugin = createLazyMemo(() => {
  return myObject()?.sourceId;
});

3. 自定义缓存函数

可以封装一个高阶函数来实现条件性计算：

function createConditionalMemo<T>(fn: () => T) {
  let lastValue: T;
  return () => {
    const newValue = fn();
    if (newValue !== undefined) {
      lastValue = newValue;
    }
    return lastValue;
  };
}

SolidJS 2.0的改进方向

SolidJS团队正在2.0版本中重新设计响应式系统，主要改进包括：

1. 更精细的调度控制：允许计算函数声明其依赖性质（同步/异步）
2. 惰性求值优化：减少不必要的中间计算
3. 更智能的依赖追踪：区分静态和动态依赖关系

总结

SolidJS当前版本中createMemo的双重执行行为是其响应式系统设计的有意为之，虽然可能带来一些开发上的不便，但也确保了响应式的一致性和可预测性。开发者可以通过状态检查或惰性计算模式来解决实际问题。随着SolidJS 2.0的演进，这一问题有望得到更优雅的解决方案。

理解这些底层机制有助于开发者更好地驾驭SolidJS的响应式系统，构建更高效的应用程序。