让函数继续走

用空 list 停下，用头尾模式处理下一项。

01 · 先看完整例子

复制整段到 erl shell

先看 [] 子句，再看 [Head | Tail] 子句。不要一口追完整条调用链。

Erlang

%% 清掉前几课留在 shell 里的变量
f().

%% Double 保存函数；Loop 只供函数内部递归
Double =
  fun Loop([]) ->
        [];
      Loop([Head | Tail]) ->
        [Head * 2 | Loop(Tail)]
  end.

%% 用外面的名字调用函数
Double([1, 2, 3]).

先对照结果

Double([1, 2, 3]) 得到 [2, 4, 6]。
每次调用时，list 都缩短一个元素。
到 Loop([]) 时返回 []，递归停止。

02 · 回头拆代码

从第一行往下读

输入 [1, 2, 3] 时，Head 是 1，Tail 是 [2, 3]。
当前一层准备 1 * 2，剩余工作变成 Loop([2, 3])。
Loop 只在这段 fun 内部可见；shell 从外面用变量 Double 调用整个函数。
分号表示后面还有一个 fun 子句；最后一个子句后直接接 end.。
最后匹配空 list 子句并返回 []；各层结果再依次接回去。

03 · 认清新符号

符号不是暗号

fun Loop([]) ->

创建带内部名字 Loop 的匿名函数；第一个子句接住空 list。

Loop([Head | Tail]) ->

第二个子句拆出当前元素与剩余元素。

[Head * 2 | Loop(Tail)]

放入当前结果，再让 Loop 处理更短的 Tail。

04 · 代码里的概念

把名字和意思对上

递归

函数在自己的定义中再次调用自己。

函数子句

同一个函数的不同入口。每个入口接住一种参数形状。

停止条件

不再调用自己的情况。这个例子走到空 list 就返回。

05 · 再说清楚

这些写法为什么有用

Erlang 常用递归处理 list：函数处理第一个元素，再把剩余 list 交给自己。

递归必须有停止条件。对于 list，空 list [] 是自然终点。

一个函数可以有几个子句。Erlang 从上往下找形状合适的子句。这里第一个接住空 list，第二个接住 [Head | Tail]。

06 · 自己改一次

合上答案，动手

补出 AddOne 函数，让 list 中每个数字加 1。

练习起点

%% 清掉旧变量，便于反复练习
f().

%% 停止条件保持不变
AddOne =
  fun Loop([]) ->
        [];
      Loop([Head | Tail]) ->
        [____ | Loop(Tail)]
  end.

%% 调用后检查结果
AddOne([2, 3, 4]).

目标结果： AddOne([2, 3, 4]) 得到 [3, 4, 5]。

卡住了，再看提示

当前元素的新值是 Head + 1。

运行过以后，再看一种答案

一种答案

%% f() 只属于 shell，不要写进 .erl 文件
f().

%% AddOne 是外部调用名，Loop 是内部递归名
AddOne =
  fun Loop([]) ->
        [];
      Loop([Head | Tail]) ->
        [Head + 1 | Loop(Tail)]
  end.

%% 应得到 [3,4,5]
AddOne([2, 3, 4]).

想一想：这段递归在哪里停下？

输入变成空 list 时，Loop([]) -> [] 直接返回，不再调用自己。

带走

记住三句

1
递归把大问题缩成更小的同类问题。
2
缺少 [] 子句时，这个例子会走到空 list 后报 function_clause；问题不缩小，递归才可能一直继续。
3
先找停止条件，再读递归子句。

本课结束代码也跑过一次，就把这一课收好。