模擬基本錯誤，Erlang

Question

我有一個錯誤，我不明白爲什麼。 所以，如果我進入：

proj:calc([{push,{num,2}},{push,{num,3}},{plus},{push,{num,4}},{mul}]).

雖然代碼：

calc(List) -> 
[Res] = lists:foldl(fun calc/2, [], List), 
Res. 

calc({plus}, [N1, N2 | Stack]) -> [N1 + N2 | Stack]; 
calc({mul}, [N1, N2 | Stack]) -> [N1 * N2 | Stack]; 
calc({push,{num,X}}, Stack) -> [X | Stack]. 

我得到的20的輸出（完美的我想要的東西，）。

但是，如果我有一個這樣的輸入：

proj:calc([{push,{num,2}},{push,{num,3}},{plus},{pop},{ret},{push,{num,4}},{mul},{pop},{ret}]).

雖然代碼：

calc(List) -> 
[Res] = lists:foldl(fun calc/2, [], List), 
Res. 

calc({plus},{pop},{ret}, [N1, N2 | Stack]) -> [N1 + N2 | Stack]; 
calc({mul},{pop},{ret}, [N1, N2 | Stack]) -> [N1 * N2 | Stack]; 
calc({push,{num,X}}, Stack) -> [X | Stack]. 

我得到一個錯誤：

exception error: no function clause matching proj:calc({pop},[5])

我是新來的二郎，那麼爲什麼會發生這種情況，我該如何解決？

Answer 1

fold，map或filter的每次迭代只消耗列表中的一個元素。這裏有三個元素代表一個操作：{plus},{pop},{ret}。您必須將其包裝在單個元組{{plus},{pop},{ret}}中，或者請記住堆棧機器在每個操作的末尾已隱式執行{pop}和{ret} - 因此可以刪除這兩個操作。

考慮到這一點，你的代碼應該閱讀的第一種方式，或者是這樣的：

calc({{plus},{pop},{ret}}, [N1, N2 | Stack]) -> [N1 + N2 | Stack]; 
calc({{mul},{pop},{ret}}, [N1, N2 | Stack]) -> [N1 * N2 | Stack]; 
calc({push,{num,X}}, Stack) -> [X | Stack]. 

而你輸入應該是：

[{push,{num,2}},{push,{num,3}},{{plus},{pop},{ret}},{push,{num,4}},{{mul},{pop},{ret}}] 

傳遞給map函數的函數必須是arity 2，這裏你在同一個函數定義中混合了arity 4和arity 2的兩個子句 - 這是不合法的。

在任何情況下，您所描述的系列都是堆疊機器固有的，無需拼寫出來。這就是爲什麼你的實現比大多數例子一直更復雜的外觀/問題。