如何解决Erlang:qlc:info引发错误,而qlc:eval则不-为什么?
| 作品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,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().
我不明白为什么。在一个更复杂的查询中发现了此错误,由于该错误,我无法解释和分析。
解决方法
即使帖子很旧,我还是想了解这种行为。如果我的理解有问题,请纠正我。
考虑代码中的以下更改
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,Ref = make_ref().
#Ref<0.0.0.25>
2> qlc:info(qlc:q([{Val1} || {Ref1,(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>.
和pidNewPid = <0.34.0>.
会给出语法错误,它们只能是绑定到变量的值,并且编译器无法解释/解析它们。因此,在这种情况下会导致错误。