Erlang中的模式不匹配

Question

我正在打这个电话：

add(Login, Pass, Role) ->
  gen_server:call(?SERVER, {add, Login, Pass, Role}).

我希望它匹配：

handle_call(State, {add, Login, Pass, Role}) ->
  io:format("add ~n"),
  Db = State#state.db,
  case lists:keyfind(Login, 1, Db) of
    false->
      io:format("add - reg new ~n"),
      {reply, registered, State#state{db=[{Login, erlang:md5(Pass), Role, ""}|Db]}};
     {Key, Result}-> 
      {reply, invalid_params, Db}  
  end.

但它总是去：

handle_call(_Request, _From, State) ->
  io:format("undef ~n"),
  Reply = ok,
  {reply, Reply, State}.

怎么了？

Answer 1

这种行为似乎是有效的，

handle_call 有这样的规格：

-spec(handle_call(Request :: term(), From :: {pid(), Tag :: term()},
    State :: #state{}) ->
  {reply, Reply :: term(), NewState :: #state{}} |
  {reply, Reply :: term(), NewState :: #state{}, timeout() | hibernate} |
  {noreply, NewState :: #state{}} |
  {noreply, NewState :: #state{}, timeout() | hibernate} |
  {stop, Reason :: term(), Reply :: term(), NewState :: #state{}} |
  {stop, Reason :: term(), NewState :: #state{}}).

如果你可以看看这里 http://erlang.org/doc/man/gen_server.html#Module:handle_call-3

此外，对于 otp 默认行为，最好首先使用模板。对于 gen_server 例如https://gist.github.com/kevsmith/1211350

干杯！

Answer 2

在使用gen_server 行为的模块中，handle_call 回调函数应采用三个参数。但是，您已经定义了两个不同的函数，handle_call/2 和 handle_call/3。 （在 Erlang 中，具有相同名称但采用不同数量参数的函数被视为不同的函数。）

由于gen_server 模块仅查找handle_call/3 而忽略handle_call/2，因此始终调用您的“undef”函数。

要解决此问题，请将函数更改为采用（忽略的）第二个参数，并将请求放在首位，将状态放在最后：

handle_call({add, Login, Pass, Role}, _From, State) ->

将end.改为end;——.分隔不同的函数，而;分隔同一函数的不同子句。