Erlang多函数子句头使用疑问：对比Haskell/Ocaml的case语法

问题描述 #

我正在学习Erlang，对使用多函数子句头的模式感到好奇。以下是示例代码：

sum_left(L, 0) -> L; 
sum_left(L, N) -> 
    [ First, Second | Rest ] = L, 
    L_ = [First + Second | Rest], 
    sum_left(L_, N - 1).

这种写法比Haskell、Ocaml等语言中单个函数声明内使用case...of的方式更为常见，后者示例如下：

% 类似Haskell/Ocaml风格的Erlang写法（非惯用）
sum_left(L, N) -> 
    case N of 
        0 -> L; 
        _ -> 
            [ First, Second | Rest ] = L, 
            L_ = [First + Second | Rest], 
            sum_left(L_, N - 1)
    end.

想知道为什么Erlang社区更偏好多函数子句的写法？

回答 #

作为长期写Erlang的开发者，我刚入门的时候也有过这个疑问——毕竟之前接触的函数式语言更常用case来做分支处理。后来慢慢发现，这其实是Erlang语言设计哲学的直接体现：模式匹配是Erlang的一等公民，多函数子句就是把这种能力用到极致的写法。

具体来说，这种写法的优势可以总结为三点：

1. 可读性直接拉满 #

每个函数子句对应一种明确的输入场景，不用嵌套在函数体里逐层找逻辑分支。比如你的sum_left，扫一眼就能清楚：

• 当第二个参数是0时，直接返回原列表；
• 当第二个参数是其他值时，执行列表头部累加的递归逻辑。

对比case写法，你得先看函数参数，再钻进函数体里找case块，逻辑层级多了一层。要是后续要加处理空列表的分支，多子句写法直接加一行sum_left([], _) -> [];就行，而case写法则要在函数体里再加一个分支，代码会越来越臃肿。

2. 更贴合Erlang的函数式理念 #

Erlang的函数强调"纯映射"——输入对应输出，尽量避免副作用。多函数子句就是把不同输入到输出的映射拆成了独立的函数定义，每个子句都是一个完整的、独立的逻辑单元。而case写法相当于把多个映射塞进同一个函数体里，显得不够"纯粹"，也不符合Erlang倡导的"让代码自我说明"的风格。

3. 和Erlang的核心特性无缝衔接 #

Erlang的模式匹配不仅用在函数子句里，还大量用在消息传递的receive语句中。比如写并发进程时，经常会看到这样的代码：

loop(State) ->
    receive
        {add, Num} -> loop(State + Num);
        {get, Pid} -> Pid ! State, loop(State);
        stop -> ok
    end.

这种receive里的模式匹配和多函数子句的思路完全一致——都是用模式匹配不同输入，再执行对应逻辑。所以多函数子句的写法其实是Erlang整个生态的惯用风格，学通了这个，写并发代码也会更顺手。

再说说和Haskell/Ocaml的差异 #

其实Haskell和Ocaml也支持多函数子句，但它们的case写法更常见，主要是因为这两种语言有更多语法特性（比如Guards、where子句）可以和case配合使用，而Erlang则更倾向于用多子句拆分所有分支逻辑。比如Haskell里你也可以写多子句的sumLeft，但很多开发者会选择用case处理复杂分支，而Erlang社区普遍认为多子句写法更清晰。

总的来说，如果你刚学Erlang，建议多练习多函数子句的写法——用久了你会发现，这种写法在处理递归、并发消息等场景时，比case写法简洁得多，也更符合Erlang的编程思维。

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