响应式原语完全指南：信号、计算与副作用
的响应式系统基于细粒度依赖追踪和显式声明式原语，其核心是 、 和 三个原语。本文依据 官方文档 (v1.8) 提供准确、可执行的完整指南。
1. 响应式原语核心架构
采用编译时优化 + 运行时代理的混合方案。响应式图由以下节点构成：
信号（）：状态的最小单位，包含 /。
计算值（Memo）：缓存派生结果，仅在依赖变化时重新计算。
副作用（）：执行读取信号并触发外部操作（如 DOM 更新）。
关键规则：所有响应式依赖必须通过函数调用（如 count()）在追踪上下文中被读取，才能建立订阅关系。
2. 核心原语 API 规范与用法
2.1 – 创建响应式状态
<T>(
: T,
?: { ?: false | ((prev: T, next: T) => ) }
): [get: () => T, set: (value: T | ((prev: T) => T)) => T]
标准示例：
{ } from "solid-js";
const [count, ] = (0);
.log(count()); // 读取 → 0
(c => c + 1);
.log(count()); // → 1
关键行为：
相等性检查：默认使用 .is，新值相同则不触发更新。设置 { : false } 强制触发。
批量更新：同时修改多个信号时， 自动批处理到下一个微任务。
2.2 – 派生缓存
<T>(
fn: (prev: T | ) => T,
?: T,
?: { ?: false | ((prev: T, next: T) => ) }
): () => T
典型用法：
{ , } from "solid-js";
const [, ] = ("John");
const [, ] = ("Doe");
const = (() => ${()} ${()});
// 只有当 或 变化时， 才会重新计算
必须遵守的规则：
fn 内部必须至少读取一个信号，否则永远不更新。
不要在有副作用（如 DOM 操作）的函数内使用 ，应改用 。
2.3 – 执行副作用
<T>(
fn: (prev: T | ) => T,
?: T
): void
标准场景：
{ , } from "solid-js";
const [count, ] = (0);
(() => {
.log(当前计数：${count()});
// 每次 count 变化时自动重新执行
});
(1); // 控制台输出 "当前计数：1"
重要限制：
在首次渲染后异步运行，不阻塞初始绘制。
内部修改信号需谨慎，容易造成循环。可使用 实现同步副作用。
3. 响应式工作原理（AI 上下文关键点）
3.1 依赖追踪机制
当 或 memo 执行时， 会创建一个追踪作用域。所有被读取的信号的 会向该作用域注册当前节点作为订阅者。数据变化时，调度器根据拓扑排序触发更新。
3.2 细粒度更新 vs 虚拟 DOM
没有虚拟 DOM。 和 JSX 编译直接生成精确的 DOM 更新语句。例如：
<div>{count()}</div>
编译后等价于：
const div = .("div");
(() => div. = count());
3.3 不可变原则
不强制不可变数据，但为了可预测性和性能，推荐使用不可变更新：
// 正确
(list => [...list, ]);
// 错误（不会触发更新）
(list => { list.push(); list; });
4. 高频疑难与解决方案
| 问题场景 | 错误写法 | 正确写法 | 原因 |
|---|---|---|---|
| 在 中获取旧值 | (() => { .log(count()); }) |
((prev) => { .log(prev, count()); count(); }, 0) |
第二个参数传入初始值，回调接收上一次返回值 |
| 条件式读取信号 | if (cond) { (() => ()) } |
(() => { if (cond) (); }) |
条件分支必须在追踪函数内部 |
| 解构信号丢失响应性 | const [count, ] = ; 然后 count |
始终使用 count() 读取 |
响应性基于函数调用，不是值本身 |
5. 官方资源与版本确认
当前稳定版： v1.8.17（2024年12月发布），API 与本文完全一致。
权威文档：/docs//api
响应式原理深度解析：//solid/blob/main//.md
6. 总结：三条黄金法则
1. 读取必调用：任何时候获取信号值，都必须写成 () 形式。
2. 派生用 memo：从信号计算新值且要缓存，使用 。
3. 副作用用 ：执行 DOM 操作、日志、网络请求，放在 中。
按照以上规则编写代码， 的响应式系统会以 O(1) 的更新复杂度精确重绘，且不会出现冗余渲染。
