Erlang: qlc:info 抛出错误，而 qlc:eval 没有 - 为什么？

Question

有效

root@test # erl
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:4:4] [rq:4] [async-threads:0] [kernel-poll:false]

Eshell V5.8.3  (abort with ^G)
1> Tmp = ets:new(test, [bag]), Ref = make_ref(),
1> qlc:eval(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), Ref =:= Ref1])).
[]
2> qlc:info(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), Ref =:= Ref1])).
"ets:table(16400,\n          [{traverse,\n            {select,\n             [{'$1',\n               [{'=:=',{const,#Ref<0.0.0.29>},'$1'}],\n               ['$1']}]}}])"
3> halt().

无效

root@test # erl
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:4:4] [rq:4] [async-threads:0] [kernel-poll:false]

Eshell V5.8.3  (abort with ^G)
1> Tmp = ets:new(test, [bag]), Ref = make_ref(),
1> qlc:eval(qlc:q([Ref1 || {Ref1} <- ets:table(Tmp), Ref =:= Ref1])).
[]
2> qlc:info(qlc:q([Ref1 || {Ref1} <- ets:table(Tmp), Ref =:= Ref1])).
** exception error: no match of right hand side value {error,{1,erl_parse,["syntax error before: ",["Ref"]]}}
     in function  qlc:abstract/3
     in call from qlc:abstract/3
     in call from qlc:abstract/4
     in call from qlc:info/2
3> halt().

我不明白为什么。在一个更复杂的查询中发现了此错误，由于此错误，我无法解释和分析该错误。

Answer 1

尽管该帖子很旧，但我想了解这种行为。我的理解有什么不对的地方请指正。

考虑代码中的以下更改

1> Tmp = ets:new(test, [bag]), Ref = my_own_ref,
qlc:info(qlc:q([Ref1 || Ref1 <- ets:table(Tmp), (Ref1 =:= Ref) ])).
"ets:table(16400,\n          [{traverse,\n            {select,[{'$1',[{'=:=','$1
',{const,my_own_ref}}],['$1']}]}}])"
2> qlc:info(qlc:q([{Val1} || {Ref1,Val1} <- ets:table(Tmp), (Ref1 =:= Ref) ])).
"ets:match_spec_run(ets:lookup(16400, my_own_ref),\n                   ets:match
_spec_compile([{{'$1','$2'},[],[{{'$2'}}]}]))"

输出中的更改是在第二种情况下使用 match_spec_run（qlc 句柄不同）。这意味着 qlc 信息需要从 qlc 句柄获取数据的方式发生了变化。

下面的代码给出了错误

1> Tmp = ets:new(test, [bag]), Ref = make_ref().
#Ref<0.0.0.25>
2> qlc:info(qlc:q([{Val1} || {Ref1,Val1} <- ets:table(Tmp), (Ref1 =:= Ref) ])).
** exception error: no match of right hand side value
                    {error,{1,erl_parse,["syntax error before: ",["Ref"]]}}
     in function  qlc:abstract/3 (d:/workspace/test/src/qlc.erl, line 1177)
     in call from qlc:abstract/3 (d:/workspace/test/src/qlc.erl, line 1196)
     in call from qlc:abstract/4 (d:/workspace/test/src/qlc.erl, line 1142)
     in call from qlc:info/2 (d:/workspace/test/src/qlc.erl, line 445)

当调试qlc的代码时发现，对于match_spec_run相关的查询处理qlc：info使用抽象格式函数erl_parse:parse_exprs/1 获取解析树。但这种情况下的问题是 Erlang 引用没有解析树！为了简单理解 NewRef = #Ref<0.0.0.134>. 和 pid NewPid = <0.34.0>. 给出语法错误，它们只能是值绑定到变量，编译器无法解释/解析它们。因此在这种情况下会导致错误。