柯里化闭包为动态sql引擎提供参数分步捕获、作用域隔离与链式延迟求值范式,使sql意图显性化、可复用、可预测;通过语义函数(如wherelike)、层级链式调用、自然收尾机制及闭包快照复用,实现高可读、类型安全、防注入的sql构建。

闭包实现的柯里化本身不直接生成 SQL,但它为构建**高可读、可组合、类型安全(在 JS 中体现为结构清晰)的动态 SQL 引擎**提供了关键范式支撑:参数分步捕获 + 作用域隔离 + 链式延迟求值。真正可读的动态 SQL 引擎,核心不在拼字符串,而在让“SQL 意图”显性化、可复用、可预测。
用柯里化把 SQL 片段变成“语义函数”
传统拼接容易写成:where name like '%'+val+'%' and status = '+status——意图模糊、易错、难测试。
用柯里化 + 闭包,可定义语义明确的构造子:
- whereLike:接收字段名 → 返回一个等待值的函数 → 最终返回 { type: 'like', field, value }
- whereIn:接收字段名 → 返回等待数组的函数 → 返回 { type: 'in', field, values }
- orderBy:接收字段 → 返回等待方向的函数 → 返回 { type: 'order', field, dir: 'asc' | 'desc' }
每个函数都通过闭包记住字段名等静态信息,只暴露下一步该填什么,阅读时一眼看懂“接下来要定什么”。
用嵌套闭包实现 SQL 子句层级隔离
真实 SQL 有明确结构:SELECT → FROM → WHERE → GROUP BY → ORDER BY。柯里化天然支持这种分层:
- 顶层
sql()返回一个对象,含.select()、.from()等方法 -
.select(...fields)不立即拼串,而是闭包保存字段列表,返回新对象,继续链式调用 -
.where(cond)接收一个条件函数(如whereLike('name')),该函数本身也是柯里化结果,闭包锁定字段,只待值 - 每一层返回的新对象都持有独立闭包环境,WHERE 不会污染 SELECT 的字段,GROUP BY 不干扰 ORDER BY 方向
代码像这样可读:
sql().select('id', 'name').from('users').where(whereLike('email'))('admin@').orderBy('created_at')('desc')用参数累积+length 判断实现“自然收尾”
最终执行不是靠 .build() 或 .toString() 这类魔法方法,而是让最后一个柯里化函数“自动触发编译”:
- 所有构造子内部统一维护
args = []数组,每次调用追加参数 - 当
args.length === expected(比如 whereLike 期望 1 个值),就不再返回函数,而是返回带完整上下文的条件对象 - 顶层
sql()在收到所有子句对象后,按固定顺序(SELECT/FROM/...)安全拼接,且每个子句对象自带类型标记,避免字符串注入风险
用户无需记忆“哪一步该调用 build”,只要把逻辑填完,最后一步自然产出可执行 SQL 或参数化语句。
复用与定制靠闭包“快照”而非配置对象
想复用“查活跃用户”的逻辑?不用写 config 对象或模板字符串:
const activeUsers = sql().from('users').where(whereEq('status'))('active')- 这个
activeUsers是一个闭包函数,已记住 from 表和 where 条件 - 后续可直接
activeUsers.select('id', 'name').orderBy('login_time')('desc')—— 新增部分不破坏原有约束 - 每个复用点都是独立作用域,
activeUsers和deletedUsers互不影响
可读性来自“所见即所得”:变量名是语义,调用链是结构,闭包是保障这份语义不被意外覆盖的屏障。










