“头部不匹配”是什么意思？编译器错误是什么意思？

Question

我尝试编写代码来打印 Z 字符。

zzzzzzz
     z
    z
   z
  z
 z
zzzzzzz

但是当我编译这段代码时，它抛出了

D:\erlang\graphics>erlc zeez2.erl
d:/erlang/graphics/zeez2.erl:19: head mismatch
d:/erlang/graphics/zeez2.erl:6: function zeez/3 undefined

I can't fix this 错误。我没有发现我的能力有什么问题。
有没有人请推荐我一下。
谢谢。

-module(zeez2).
-export([main/0]).

main() ->
    L = 8,
    zeez( false ,1, L). % line 6

zeez(true, M,M) ->
    init:stop();

zeez(false, M, N) ->
    io:format("~p~n", [zeez(z, N-M)] ),
    zeez(M rem N =:= 0, M + 1, N );

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N );

zeez(space, M) ->
    io:format("~p~n", ["-" ++ zeez(space, M-1)] );

zeez(space, 0) ->
    "Z";

zeez(z, M) ->
    io:format("~p~n", ["Z" ++ zeez(z, M-1)] );

zeez(z,0) ->
    "Z".

Answer 1

问题是你混淆了 2 个函数：

zeez/2 和 zeez/3

如果你通过以句号而不是分号结束 zeez/3 函数来终止它，它应该编译：

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N );                      <-- should end with .

错误消息的意思是，'嘿我“在 zeez/3 中，你添加了一个 2 元数子句，wtf？”

Answer 2

您尝试定义两个函数，第一个具有 3 个参数 (zeez/3)，另一个具有 2 个参数 (zeez/2)。头不匹配错误是因为上一行的 zeez/3 函数应该以“.”结尾。

即，因为您已经用“;”结束了前一个 zeez/3 函数，所以它期望以下声明是 zeez/3 的另一个匹配项：

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N ).

zeez(space, M) ->
    io:format("~p~n", ["-" ++ zeez(space, M-1)] );

您还应该注意，编译器将向您发出有关“...前一个子句”的警告由于 zees(space, 0) 和 zeez(space, M) 的顺序，第 xxx 行始终匹配”。您应该将 zees(space, 0) 放在 zeez(space, M) 之前，因为它更具体。