Erlang gen_statem消息匹配异常：首次成功后续失败问题排查

问题根源：状态类型不匹配 #

首次消息处理正常，但后续报错的核心原因是状态更新时错误替换了状态的类型：

• 初始状态是#state{}类型（包含cntr等字段），处理函数依赖这个类型来访问State#state.cntr。
• 你在构造新状态时，直接返回了修改后的#cntr{}记录（NewCount = State#state.cntr#cntr{...}），并将其作为新状态传递给next_state。
• 后续消息到来时，状态机的State参数变成了#cntr{}类型，此时处理函数中State#state.cntr的写法会因为State不是#state{}记录而完全无法匹配，触发function_clause错误。

从SASL日志也能验证这一点：报错时的服务器状态是{incrCnt,{cntr,1,4}}，说明当前状态已经是纯#cntr{}记录，而非最初的#state{}。

修复方案：保持状态类型一致 #

必须始终维护状态为#state{}类型，仅修改其中的cntr字段，而非直接替换整个状态。修改后的代码如下：

% 计数器记录定义
-record(cntr, {cnt :: non_neg_integer(), iv :: non_neg_integer()}).
% 消息记录定义
-record(message, {type :: event | data, name :: atom(), value :: any() | undefined, ref :: reference(), from :: pid()}).
% incrCnt状态处理函数（修复版本）
incrCnt(cast, #message{type = event, name = ei_INCR, value = undefined, ref = _Ref, from = _From} =_Message, State) when State#state.cntr#cntr.cnt < State#state.cntr#cntr.iv ->
     io:format("Current State ~p~n", [State]),
     % 仅修改state中的cntr字段，而非替换整个状态
     NewCntr = State#state.cntr#cntr{cnt = State#state.cntr#cntr.cnt +1},
     NewState = State#state{cntr = NewCntr},
     io:format("Count so far ~p~n", [NewCntr]),
     {next_state, incrCnt, NewState};
incrCnt(cast, #message{type = event, name = ei_INCR, value = undefined, ref = _Ref, from = _From} = _Message, State) when State#state.cntr#cntr.cnt =:= State#state.cntr#cntr.iv ->
     NewCntr = State#state.cntr#cntr{cnt =  0},
     NewState = State#state{cntr = NewCntr},
     gen_func:send_event(State#state.connections#connections.eventOut#eventOut.eo_EO),
     {next_state, incrCnt, NewState}.

修复逻辑说明 #

• 先修改#cntr{}记录的cnt字段得到NewCntr。
• 基于原#state{}记录，替换其中的cntr字段得到NewState。
• 将NewState作为新状态返回，确保后续消息处理时，State始终是#state{}类型，State#state.cntr的访问逻辑能正常匹配。

内容的提问来源于stack exchange，提问作者Alberto Perri