【Erlang】九、递归函数

递归

1. 概念

假设 函数A 是个递归函数，当我们在外部调用 函数A 时，在函数A在满足条件的情况下会一直自己调用自己
简单的说：函数自己调用自己

2. 例子

前提

我们在超市买了一些东西，当去柜台结账时，通过调用模块的函数 计算出商品的总价格

Items = [{orange,4},{apple,10},{pear,6}].

模块实现

%% 结账模块 price.erl
-module(price).
-export({sum/1}).

%% 单个商品对应的价格
itemPrice(orange) -> 0.5;
itemPrice(apple) -> 1;
itemPrice(pear) -> 0.8;

%% 递归函数1
%% 只要传递进来的列表中，有一个商品，就匹配成功
%%  |--一种商品--||--剩余商品--|	  |---计算该商品消费金额----|  |--递归调用，计算剩余商品价格--|
sum([{Item, ItemNum}|ItemList]) -> itemPrice(Item) * ItemNum + sum(ItemList);
%% 递归函数2
%% 如果传递进来的列表是个空列表，函数执行结束
sum([])	-> 0.

模块调用

> erl
> c(price).
> price:sum([{orange,4},{apple,10},{pear,6}]).
16.8

---

详解

我们详细分解下递归函数的调用
在erlangShell中调用时，函数是怎么运行的

%% 参数：[{orange,4}|{apple,10},{pear,6}]
%% 从上往下对函数 sum 进行模式匹配
%% 第一个函数匹配成功：sum([{Item, ItemNum}|ItemList])
%% Item=orange，ItemNum=4，ItemList = [{apple,10},{pear,6}]
sum([{orange,4}|{apple,10},{pear,6},{milk,3}])) ->
	%% 这里只是单纯的计算价格
	itemPrice(orange) * 4	%% 橘子2元
	%% 递归调用，计算下一个商品的价格
	+ sum([{apple,10},{pear,6}]).

%% 第一次递归调用
%% 参数：[{apple,10},{pear,6}]
%% 从上往下对函数 sum 进行模式匹配
%% 第一个函数匹配成功：sum([{Item, ItemNum}|ItemList])
%% Item=apple，ItemNum=10，ItemList = [{pear,6}]
sum([{apple,10}|{pear,6}])) ->
	%% 这里只是单纯的计算价格
	itemPrice(apple) * 10	%% 苹果10元
	%% 递归调用，计算下一个商品的价格
	+ sum([{pear,6}]).

%% 第二次递归调用
%% 参数：[{pear,6}]
%% 从上往下对函数 sum 进行模式匹配
%% 第一个函数匹配成功：sum([{Item, ItemNum}|ItemList])
%% Item=pear，ItemNum=6，ItemList = []
sum([{pear,6}|{}])) ->
	%% 这里只是单纯的计算价格
	itemPrice(pear) * 6  %% 梨4.8元
	%% 递归调用，计算下一个商品的价格
	+ sum([]).

%% 第三次递归调用
%% 参数：[]
%% 从上往下对函数 sum 进行模式匹配
%% 第一个函数匹配失败
%% 第二个函数匹配成功
sum([])	-> 0.

%% 最终结果
%% 外部调用时得到：橘子2元
%% 第一次递归调用得到：苹果10元
%% 第二次递归调用得到：梨4.8元
%% 第三次递归调用得到：结束
sum([{orange,4}|{apple,10},{pear,6},{milk,3}])) ->
	橘子2元 + 苹果10元 + 梨4.8元 + 0.