Erlang中的匹配模式總結

更新時間：2015年01月04日 11:47:01 投稿：junjie

這篇文章主要介紹了Erlang中的匹配模式總結,本文講解了賦值時匹配、流程控制中的匹配、消息傳遞匹配等內(nèi)容,需要的朋友可以參考下

一、賦值時匹配

原子匹配

atom    = atom                        % atom

another = another                     % another

atom    = another                     % exception error

變量匹配

復制代碼代碼如下:

Var = 2.                              % 2

Var = 3 - 1.                          % 2

Var = 1.                              % exception error

元組匹配

復制代碼代碼如下:

Attr = {name, sloger}.                % {name, sloger}

{name, Name} = Attr.                  % {name, sloger}

Name.                                 % sloger

列表匹配

復制代碼代碼如下:

Langs = [perl, python, ruby, erlang].

[Head | Tail] = Langs.

Head.                                 % perl

Tail.                                 % [python, ruby, erlang]

參數(shù)匹配

復制代碼代碼如下:

sum([]) -> 0;
sum([H|T]) -> H + sum(T).

sum([1, 2, 3]). % 6

記錄匹配

復制代碼代碼如下:

%% record(post, {title, slug, body, author}).

Post = #post{title = "Pattern Match in Erlang",
             slug = "pattern-match-in-erlang",
             body = "Bla bla bla...",
             author = sloger}.

#post{title = Title, slug = Slug} = Post.

Title. % "Erlang 中的模式匹配總結"
Slug. % "summary-of-pattern-match-in-erlang"

比特匹配

復制代碼代碼如下:

Red = 5.
Green = 23.
Blue = 200.

Color = <<Red:5, Green:6, Blue:5>>.

<<R1:5, G1:6, B1:5>> = Color.

R1.                                   % 5
G1.                                   % 23
B1.                                   % 200

二、流程控制中的匹配

if

復制代碼代碼如下:

if
    Pattern1 [when Guard1] -> Expression1;
    Pattern2 [when Guard2] -> Expression2;
    %% and so on ...
    _                      -> Expression3           % 匹配所有其它結果
end.

case

復制代碼代碼如下:

case Expression of
    Pattern1 [when Guard1] -> Expression1;
    Pattern2 [when Guard2] -> Expression2;
    %% and so on ...
    _                      -> Expression3
end.

try catch

復制代碼代碼如下:

try FunctionOrExpressions of
    Pattern1 [when Guard1] -> Expression1;
    Pattern2 [when Guard2] -> Expression2
    %% and so on ...
catch
    ExType:ExPattern1 [when ExGuard1] ->
        ExExpression1;
    ExType:ExPattern2 [when ExGuard2] ->
        ExExpression2;
    %% and so on ...
    _:_ -> DefaultExExpression               % _:_ 匹配所有異常
after
    AfterExpressions
end

消息傳遞匹配

復制代碼代碼如下:

loop() ->

    receive

        {From, {rectangle, Width, Height}} ->

            From ! {self(), Width * Height},

            loop();

        {From, {circle, R}} ->

            From ! {self(), 3.14 * R * R},

            loop();

        {From, _Other} ->

            From ! {self(), {error, unknown_shape}}

            loop()

    end.

Pid = spawn(fun loop/0).

Pid ! {self(), {rectangle, 10, 5}}.         % {Pid, 50}

Pid ! {self(), {circle, 4}}.                % {Pid, 50.24}

Pid ! {self(), {square, 10}}.               % {Pid, {error, unknown_shape}}