让 Referential Stability 成为 TypeScript 类型
Making Referential Stability a Type
在大型 (P)React 项目中，Referential Stability 引发的重渲染问题屡见不鲜。开发者常滥用 useMemo 和 useCallback，却因隐式的不稳定引用导致性能陷阱。我提出将稳定性意图直接编码为类型，利用 unique symbol 为对象、数组和函数打上 Stable 品牌。通过从 stableref/react 导入严格版本的 Hooks，TypeScript 能在编译期强制检查依赖项的稳定性，将错误定位到代码编写处。这不仅解决了 Context Provider 中常见的性能浪费，也为 AI 编码助手提供了明确的类型护栏，让优化契约在类型图中清晰可见。
编译器问的是‘我能否自动保留这个身份’，而 Stable<T> 说的是‘另一个组件可以将这个身份作为优化契约来使用’。