模式匹配是 Erlang 的根基，它被用于从数据结构中提取值，控制函数内部的流程，在并行程序中给进程发消息，选择处理那些消息。
上篇只是简单描述了一点 Erlang 语言中模式匹配的基本用法——从数据结构中提取值，我们将在本篇深入模式匹配的一些根植于 Erlang 编程语言内部的用法。
case 表达式
case Expression of
Pattern1 [when Cuard1] -> Seq1;
Pattern2 [when Cuard2] -> Seq2;
...
end
case 的执行过程：首先执行 Experssion 表达式，假设其值为 Value，然后将 Value轮流与 Pattern1（可能会带有可选的关卡 Guard1）、Pattern2 等进行模式匹配，知道成功。一旦成功匹配，对应的表达式 Seq 就会执行，而 Seq 表达式的执行结果就是这个 case 表达式的值，若无 Pattern 匹配成功，将会发生异常错误。 此外 Erlang 进行异常处理的 try...catch 表达式基本相当于 case 表达式的加强版，在 case 之后加上 catch 和 after 就相当于 try...catch 表达式。
函数
% func.erl
-module(func).
-export([area/1]).
area({rectangle, Width, Height}) ->
Width * Height;
area({square, Side}) ->
Side * Side;
area({triangle, Bottom, Hight}) ->
1/2 * Bottom * Hight;
area({circle, Radius}) ->
3.1415 * Radius * Radius.
模块声明和导出声明在最前面，不是要讨论的内容所以这里略过。
如上面代码所示，在文件中声明了一个函数 area 用来求一些平面几何体的面积，他有以分号分隔的四个子句，最后的子句以句号加空格结束。每个子句都有一个头部和一个主体，两者用箭头（->）分隔。头部包含一个函数名，后接一个或多个模式，主体包含一个表达式。这些子句会在头部里的模式与调用函数的参数成功匹配时执行，而这些子句会根据他们在函数定义里出现的顺序进行匹配。
下面我将实际操作一下，首先新建 func.erl 文件如下：
func
写好代码，并保存之后，执行 $ erl 进入 Erlang 的 Shell 环境，执行 > c(func). 编译 Erlang 代码，如下图所示：
Result
我们看到，第 2、3、4、5 条命令，分别调用了 area/1 函数，并成功执行，但第 6、7 条却调用失败，并抛出了不匹配的异常错误，这说明函数调用也是一种模式匹配。
简单并发
客户端-服务器架构是 Erlang 的中心，这里的所谓的 CS 架构和我们平常理解的 CS 架构不太一样，在这里客户端和服务器这两个词是指这两种进程所扮演的角色：客户端总是通过向服务器发送一个请求来发起计算，而服务器计算后生成回复，然后发送一个响应给客户端。
% area_server
-module(area_server).
-export([init/0, area/2, loop/0]).
init() -> spawn(area_server, loop, []).
area (Pid, What) -> rpc(Pid, What).
% 封装了向服务器发送请求和等待响应的代码
rpc(Pid, Request) ->
Pid ! {self(), Request},
receive
{Pid, Response} ->
Response
end.
loop() ->
receive
{From, {rectangle, Width, Height}} ->
From ! {self(), Width * Height},
loop();
{From, {square, Side}} ->
From ! {self(), Side * Side},
loop();
{From, {triangle, Bottom, Hight}} ->
From ! {self(), 1/2 * Bottom * Hight},
loop();
{From, {circle, Radius}} ->
From ! {self(), 3.1415 * Radius * Radius},
loop()
end.
基本的并发函数
- Pid = spawn(Mod, Fun, Args)
创建一个新的并发进程来执行 apply(Mod, Fun, Args)，这个新进程和调用进程（父进程）并列运行。spawn 返回一个 Pid（进程标识符）。
- Pid ! Message
向进程标识符为 Pid 的进程发送消息 Message，消息的发送是异步的，发送方并不等待，而是会继续之前的工作。
- receive...end
接收发送给某个进程的消息。
当某个消息到达该进程之后，系统会尝试将它与 receive 表达式中的各种模式分别匹配，若没有匹配的模式，消息就会被保存起来供以后处理，进程则开始等待下一条消息。
在这里将不会介绍并发编程的细节，因为主题是模式匹配，以后会详细解释。
那么运行一下上面的代码：
RUN
网友评论