Erlang新手进阶笔记(4) - behaviour机制

之前的文章贴出来以后，没想到惊动了高手，呵呵。

mryufeng 写道

behaviour就是用来作这个的。

我是年初开始学erlang的，抽时间学习，想通过这样一个系列，对自己的学习进行一点反馈。这个系列是面对刚会erlang语法的初学者的，我打算慢慢演化一些代码，由浅入深的说明erlang的不同之处。

言归正传，我们之前写的server已经比较通用了，但是erlang有更进一步的方案。
erlang不象java那样到处都是接口和实现类，它关注的是函数，也就是逻辑，当然，只要编程就要有规约，erlang的规约是通过"模板类"实现的，这个"模板类"的正式名称叫做behaviour。

一个典型的模板类大概就像这样——

% my_behaviour.erl %
-module(my_behaviour).
-export([bingo/1]).
-export([behaviour_info/1]).

behaviour_info(callbacks) -> [{somefunc,1}];
behaviour_info(_Other) ->  undefined.

bingo(Mod) -> Mod:somefunc(ok).

我们使用这个模板类——

% my_server6.erl %
-module(my_server6).
-behaviour(my_behaviour).

Eshell V5.7.2  (abort with ^G)
1> c(my_behaviour), c(my_server6).
./my_server6.erl:3: Warning: undefined callback function somefunc/1 (behaviour 'my_behaviour')
{ok,my_server6}

显然，由于my_behaviour中通过behaviour_info申明了somefunc/1函数，所以my_server6就必须要实现这个函数了，修改一下看看——

Eshell V5.7.4  (abort with ^G)
1> c(my_behaviour), c(my_server6).
{ok,my_server6}
2> my_behaviour:bingo(my_server6).
ok

说起来并不神秘，behaviour仅仅是一个让编译器看的标记后，编译器会据此检查本模块是否已经具备要求实现的接口，否则会提示错误，这种方式非常简单的确保了系统的可靠性。

借助这个机制，我们只要保证使用了my_behaviour，模块就可以调用somefunc/1函数，它就像java中接口一样，是一种编程契约