Erlang Parameterized Module

転載:http://www.cnblogs.com/me-sa/archive/2012/02/16/Erlang0037.html
Parameterized ModuleをOOPに巻き込まずにErlangの構文特性として使用すると、より理解できるかもしれません:)
Erlang Parameterized Moduleとは何ですか?何の役に立つの?どうやって実現したの?使えますか?いつ使いますか.
 
 
多くの人と同じように私もmochiwebプロジェクトからparameterized moduleのアプリケーションを初めて見ました.mochiwebプロジェクトのアドレス:http://code.google.com/p/mochiweb/

-module(mochiweb_request, [Socket, Method, RawPath, Version, Headers]).
-author('[email protected]').

-include_lib("kernel/include/file.hrl").
-include("internal.hrl").

-define(QUIP, "Any of you quaids got a smint?").

当時は分からなかった-module(mochiweb_request,[Socket,Method,RawPath,Version,Headers]).このやり方をどう呼ぶかさえ分からない.形式的にmoduleとしか記述できないattributeは、検索エンジンでErlang module attributeの手がかりに従って検索し、Stack Overflowの次の質問でより多くの手がかりを見つけた:Erlang:module attribute-Stack Overflow
何ですか.何の役に立つの?
まず、このようなErlangプログラミングの実践は「Erlang module attribute」ではなく、Parameterized Module(abstract module)と呼ばれていることを明らかにしなければならない.この方法を提案した論文はここにある.http://www.erlang.se/workshop/2003/paper/p29-carlsson.pdfこの論文ではParameterized Erlangの簡単な紹介を見ることができます.
 A parameterized, or abstract module, is a module with free variables, much like a lambda expression (or\fun expression"). A lambda expression evaluates to a closure,which is a functional value and can be applied like any function. Similarly, an abstract module can be instantiated to yield a module instance,which can be used in a qualied function call just like any module name.
論文で述べた問題ドメインはあまり共鳴をもたらさず、オープンソースプロジェクトの実践Parameterized Moduleがもたらした最大の利点は、モジュールインスタンスがすべての状態とパラメータが方法のパラメータを通じて伝達される必要がなく、一部の状態を自分で維持することである.次に、Parameterized Moduleがどのように使用されているか、ステータスがどのように維持されているかを見てみましょう.
どう使いますか.どうやって実現したの?
最も簡単なParameterized Moduleの例を新規作成します.

-module(p,[Name,ID]).
-compile(export_all).
test() ->
       {Name,ID}.
dump(Data) ->
      Data.

 
簡単にするために普通のmoduleを再構築します.
 

-module(p2).
-compile(export_all).

test(Name,ID) ->
       {Name,ID}.
dump(Data) ->
      Data.

コンパイル後の呼び出し:

Eshell V5.9  (abort with ^G)
1> P=p:new(zen,23).
{p,zen,23}
2> P:test().
{zen,23}
3> P:dump(12).
12
4> p:dump(12).
** exception error: undefined function p:dump/1

 

%%    Function cal
1> list_to_tuple([a,b,c]).
{a,b,c}
2> tuple_to_list({a,b,c}).
[a,b,c]
3>
4> F={lists,append}.
{lists,append}
5> F([1,2],[3,4]).
[1,2,3,4]
6> fun lists:append/2([a,b],[c,d]).
[a,b,c,d]
7>

 
上記のコードは、まずpモジュールのインスタンスを作成し、P:test()を呼び出す.パラメータは入力されていませんが、Name、IDの出力が表示されます.その後、p:dump(12)を直接呼び出す.の時に異常を投げ出しました:undefined function p:dump/1;これにより、pモジュールのmodule_を表示できます.info,案の定,{dump,2}dumpのパラメータは2つに表記されている!!!

5> p:module_info().
[{exports,[{new,2},
           {instance,2},
           {test,1},
           {dump,2},   %  dump      
           {module_info,0},
           {module_info,1}]},
{imports,[]},
{attributes,[{vsn,[214441158221151374600508513707091486952]},
              {abstract,[true]}]},
{compile,[{options,[error_summary]},
           {version,"4.8"},
           {time,{2012,2,16,7,23,32}},
           {source,"/ligaoren/src/p.erl"}]}]
6> 

dumpパラメータ数が変化すること
ひとまず置いて、もっと基礎的な問題を明らかにしましょう.Parameterized Moduleは自分で一部の状態を維持していますが、この部分の状態はどこにありますか.
私たちの最初の行P=p:new(zen,23).pモジュールのインスタンスが作成されました.このインスタンスはどのようなものですか.{p,zen,23}これがP.すなわちインスタンス化の結果が実際に{モジュール+状態}を返す構造である.いくつかの実験を続けてみましょう

7>  P2=p:new(zen,23).    
{p,zen,23}
8> P2=:= P.
true
9> {p,zen,34}:test().
{zen,34}

いいでしょう、パラメータが同じ2つのインスタンスも同じで、同じ構造のtuple{p,zen,34}をモジュール名として呼び出し{p,zen,34}:test()を使用します.効果と作成p:new(zen,34).例は同じです.
p 2モジュールのメタデータを比較します.

11> p2:module_info().
[{exports,[{test,2},
           {dump,1},
           {module_info,0},
           {module_info,1}]},
{imports,[]},
{attributes,[{vsn,[248741352456702936001456553656546909458]}]},
{compile,[{options,[error_summary]},
           {version,"4.8"},
           {time,{2012,2,16,7,26,8}},
           {source,"/ligaoren/src/p2.erl"}]}]

pモジュール比p 2モジュールの違いが見えます.

導出の方法は多くなった{new,2},{instance,2}

モジュールattributesが1つ増えた{abstract,[true]}

明らかにこのような情報が少なすぎて、私たちはこの2つのモジュールのCore Erlangコードをコンパイルして、内部の実現の違いを見てみましょう!p 2モジュールは比較的規則的で、基本的には予想通りの内容です.

module 'p2' ['dump'/1,
          'module_info'/0,
          'module_info'/1,
          'test'/2]
    attributes []
'test'/2 =
    %% Line 10
    fun (_cor1,_cor0) ->
     %% Line 11
     {_cor1,_cor0}
'dump'/1 =
    %% Line 13
    fun (_cor0) ->
     _cor0
'module_info'/0 =
    fun () ->
     call 'erlang':'get_module_info'
         ('p2')
'module_info'/1 =
    fun (_cor0) ->
     call 'erlang':'get_module_info'
         ('p2', _cor0)
end

pモジュールに含まれる情報量は比較的大きく、以前のすべての問題の答えがほとんど含まれています.

module 'p' ['dump'/2,
         'instance'/2,
         'module_info'/0,
         'module_info'/1,
         'new'/2,
         'test'/1]
    attributes ['abstract' =
              ['true']]
'new'/2 =
    fun (_cor1,_cor0) ->
     apply 'instance'/2
         (_cor1, _cor0)
'instance'/2 =
    fun (_cor1,_cor0) ->
     {'p',_cor1,_cor0}
'test'/1 =
    %% Line 11
    fun (_cor0) ->
     case _cor0 of
       <THIS = {_cor2,Name,ID}> when 'true' ->
           %% Line 12
           {Name,ID}
       ( <_cor1> when 'true' ->
          ( primop 'match_fail'
                ({'function_clause',_cor1})
            -| [{'function_name',{'test',1}}] )
         -| ['compiler_generated'] )
     end
'dump'/2 =
    %% Line 15
    fun (_cor1,_cor0) ->
     case <_cor1,_cor0> of
       <Data,THIS = {_cor4,Name,ID}> when 'true' ->
           %% Line 16
           Data
       ( <_cor3,_cor2> when 'true' ->
          ( primop 'match_fail'
                ({'function_clause',_cor3,_cor2})
            -| [{'function_name',{'dump',2}}] )
         -| ['compiler_generated'] )
     end
'module_info'/0 =
    fun () ->
     call 'erlang':'get_module_info'
         ('p')
'module_info'/1 =
    fun (_cor0) ->
     call 'erlang':'get_module_info'
         ('p', _cor0)
end

上のTHIS:

-module(q,[Name]).
-compile(export_all). 
dump()-> THIS.

Erlang Shell   :
2> Q=q:new(zen).
{q,zen}
3> Q:dump().
{q,zen}

 
インスタンスの作成プロセスは、実際に{module,State}を構築した構造であると判断し、検証しました.

'new'/2 =
    fun (_cor1,_cor0) ->
     apply 'instance'/2
         (_cor1, _cor0)
'instance'/2 =
    fun (_cor1,_cor0) ->
     {'p',_cor1,_cor0}  %%GOTCHA!!!!!

上に残っているdumpパラメータの問題はこれで明らかになりました.コード実装を見てください.

'dump'/2 =
    %% Line 15
    fun (_cor1,_cor0) ->
     case <_cor1,_cor0> of
       <Data,THIS = {_cor4,Name,ID}> when 'true' ->
           %% Line 16
           Data
       ( <_cor3,_cor2> when 'true' ->
          ( primop 'match_fail'
                ({'function_clause',_cor3,_cor2})
            -| [{'function_name',{'dump',2}}] )
         -| ['compiler_generated'] )
     end

つまり、最後のパラメータはモジュールの例で、実験してみましょう.

6> p:dump(12,{p,zen,23}).
12

GOTCHA!!!