解析QSQL语句时where子句出现额外enlist的原因探究

现象展示 #

解析单条件的QSQL查询时，parse返回的where子句部分会出现双重enlist的嵌套结构：

q)show x: parse "select from t where a=1"
?
`t
,,(=;`a;1)                     / 这里是双重enlist的结果
0b
()

验证匹配情况：

q)x[2]~enlist (=;`a;1)         / 预期单层enlist匹配，结果不成立
0b

q)x[2]~enlist enlist (=;`a;1)  / 实际需双重enlist才匹配
1b

原因说明 #

Q的函数式查询中，?函数的第二个参数（对应where子句）要求是条件的集合——也就是一个列表，每个元素是单个查询条件的三元组（比如(=;a;1)`）。

当SQL查询只有单个条件时，parse会先把单个条件三元组enlist成单元素列表（enlist(=;a;1)），再对这个列表整体做一次enlist，最终生成,,(=;a;1)（即enlist enlist(=;a;1)）的结构。这是parse`工具对SQL风格查询的标准化解析逻辑，确保where子句始终符合“条件集合”的格式定义。

执行报错的原因 #

函数式查询?的第二个参数只接受单层条件列表，每个元素是合法的条件三元组：

q)t:([]a:1 2);

q)?[`t;enlist(=;`a;1);0b;()]  / 单层enlist，符合参数要求，执行成功
a
-
1

如果用双重enlist，会把条件三元组包裹成嵌套两层的列表（(((=;a;1)))），不符合?`函数的参数类型规范，直接触发类型错误：

q)?[`t;enlist enlist(=;`a;1);0b;()]
'type
  [0]  ?[`t;enlist enlist(=;`a;1);0b;()]
       ^

内容的提问来源于stack exchange，提问作者kgf3JfUtW