为什么 Erlang 中的模式匹配记录会抛出错误

Question

您好，我正在尝试使用 Erlang 中的记录语法将变量绑定到封闭记录及其字段之一，但我不断收到此错误：

d:/Erlang/AeRlang/rec.erl:19: 之前的语法错误：子

d:/Erlang/AeRlang/rec.erl:17: 函数 isMale/1 未定义

d:/Erlang/AeRlang/rec.erl:17: 警告：函数 maleChildren/1 是 未使用

-module(rec).
-export([makeFam/0]).

-record(man,{name,
             age,
             children=[]}).
-record(child,{
    name,
    age,
    sex
}).

makeFam()->
    #man{name="Adrian",
         age=33,
         children=[#child{name="Daniel",age=33,sex="Male"},
                   #child{name="Chris" ,sex="Male"},
                   #child{name="Anne",age=33,sex="Female"}]
        }.


fatherAndSons(Man#man{children=Ch})->{Man,[Elem|| Elem<-Ch,isMale(Elem)]}.
    
isMale(C#child{_,_,Y})->
    case Y of 
        "Male"->true;
         _ ->false
    end.

我的isMale 方法有什么问题。我将封闭结构#child 绑定到变量C，并且我也在对其字段进行模式匹配。有什么问题？

P.S：这是否与在isMale 方法中我没有指定绑定变量Y 的字段的名称有关？

Answer 1

在您的child record 中获取sex 的方式存在一些错误。您可以更改您的函数fatherAndSons/1 和isMale/1，如下所示：

fatherAndSons(Man#man{children=Ch})->{Man,[Elem|| Elem<-Ch,isMale(Elem) == true]}.

isMale(C)->
    case C#child.sex of 
        "Male"->true;
         _ ->false
    end.

或者只是删除您的isMale/1 和列表理解中的模式匹配：

fatherAndSons(Man#man{children=Ch})->
    {Man, [Elem || Elem <-Ch, Elem#child.sex == "Male"]}.

Answer 2

对于fatherAndSons/1 和isMale/1 函数，您使用错误的语法将记录匹配为函数参数。以下是一些更正的版本：

fatherAndSons(Man=#man{children=Ch}) -> {Man, [Elem || Elem <- Ch, isMale(Elem)]}.

isMale(#child{sex="Male"})-> true;
isMale(_) -> false.

在fatherAndSons/1 的函数头中，我们基本上是在说“Man 应该是一个#man 记录，我们将绑定到children 字段的Ch”。 = 运算符是匹配的，但您在 Man 绑定中缺少它。

对于isMale/1，我使用了两个子句，其中第一个子句匹配所有#child 记录，其sex 字段匹配字符串"Male"，第二个子句匹配其他任何内容。如果您想将第二个子句限制为仅匹配 #child 记录，您可以改用：

isMale(#child{sex="Male"})-> true;
isMale(#child{}) -> false.

无论哪种方式，请注意无需将记录绑定到函数头中的变量isMale/1，因为您不需要在函数体中进行绑定。