`
xgene
  • 浏览: 27268 次
  • 性别: Icon_minigender_1
  • 来自: 深圳
社区版块
存档分类
最新评论

《Erlang程序设计》学习笔记-第5章 顺序型编程进阶

阅读更多
第5章 顺序型编程进阶
摘自:http://hi.baidu.com/zai215837829/blog/item/7520d139b98fda3996ddd871.html

1. 所有的BIF都在erlang模块中,大部分常用的BIF都已被自动导入(也就是说还有一些不常用的没有自动导入)。

2. 二进制数据相对于元组和列表,它更加节省内存,输入输出更加高效。
3. 在书写和打印时,二进制数据用一组以<<和>>括起来的整数或字符序列的形式出现。
    如:<<5,10,20>>. <<"hello">>
    整数要在0-255之间,字符相当于其对应的ASCII码。
4. 可以通过BIF或二进制语法来构造或提取二进制数据。
5. 操纵二进制数据的BIF
    @spec list_to_binary(IoList) -> binary()
        其中IoList是一个列表,其中的元素可以是0~255的整数、二进制数据或者另外一个IoList。亦即IoList可以是一个嵌套的列表。

    @spec split_binary(Bin, Pos) -> {Bin1, Bin2}
        从Pos位置将Bin分成两部分。如果是从1开始的话,第Pos个元素被分在了Bin1中。
    @spec term_to_binary(Term) -> Bin
        可以将任何一个Erlang值转化为二进制数据。转化成的数据可以保存在文件中,通过网络发送等。(如何发送的C写的程序的话,C程序如何解析呢?)

  @spec binary_to_term(Bin) -> Term
        term_to_binary的逆函数。
    @spec size(Bin) -> Int
        返回二进制数据的长度。

6. 比特语法
    <<E1, E2, ..., En>>
    Ei = Value |            %% Size省略时整数是8位,浮点型是64位
        Value:Size |        %% Size代表单元区块的长度,有可能有多个区块(Unit),整个区块的长度Size*Unit
        Value/TypeSpecifierList |
        Value:Size/TypeSpecifierList
    TypeSpecifierList是一个由连字符(-)间隔的形如End-Sign-Type-Unit的列表。

    其中@type End = big | little | native    默认值是big
    @type Sign = signed | unsigned        默认值是unsigned
    @type Type = integer | float | binary    默认值是integer
    @Unit = 1|2|...|255        当Type是integer或float时,Unit的默认值是1; 当Type是binary,Unit的默认值是8

7. 测试本机的整数表示法:
    {<<16#12345678:32/big>>, <<16#12345678:32/little>>, <<16#12345678:32/native>>, <<16#12345678:32>>}

8. 如果I是一个整数,<<I:32>>可以将I转换一个32位长的二进制数据。

9. apply(Mod, Func, [Arg1, Arg2, ..., ArgN])调用Mod模块中的Func函数,Arg1~ArgN是Func的参数。apply的好处是可以动态改变模块和函数。

10. 预定义属性:(-record()和-include()不是属性)
    -module(modname).    %% 模块名要与文件名一致,这个属性必须是文件的第一个属性
    -import(Mod, [Name1/Arity1, Name2/Arity2, ...]).     %% 从Mod模块中导入函数
    -export([Name1/Arity1, Name2/Arity2, ...]).    %% 从当前模块中导出函数。
    -compile(Options).    %% 向编译器选项列表中添加Options。Options是一个编译器选项或者一个编译器选项列
表(在compile模块手册中)
                            调试程序时可以用-compile(export_all).导出当前模块的所有函数。
    -vsn(Version).    %%Version可以是任何形式的文字项。

11. 用户定义属性语法:-SomeTag(Value). SomeTag必须是原子,Value必须是文字项。

12. Mod:module_info()返回一个与编译模块相关的所有元数据的属性列表。
    Mod:module_info(attributes)则返回与文件相关的特定属性的列表。
    还有Mod:module_info(exports), Mod:module_info(imports), Mod:module_info(compile)。

13. Mod:module_info/0, Mod:module_info/1是编译器在编译源文件时自动加入到模块中的函数。(我想可能在模块加载时有用。)

14. 可以用beam_lib:chunks("test.beam", [attributes])来看一下模块的属性信息。这个函数可以在没有加载模块时对模块进行分析并提取属性。

15. 块表达式:以逗号分隔一个串表达式,其值是最后一个表达式的值。在语法中需要一个表达式,而我们却要多个表达式的时候,可以用一下。
    begin
        Expr1,
        ...,
        ExprN
    end

16. 布尔类型:erlang中没有独立的布尔类型,通常用原子true和false来代替吧。
17. 布尔表达式:
    逻辑非:    not B1
    逻辑与:    B1 and B2
    逻辑或:    B1 or B2
    逻辑异或:    B1 xor B2

18.编译预处理:命令compile:file(M, ['p'])可以对M.erl文件进行预处理,处理完后输出M.P文件,这个文件中存入所有经过扩展的宏和所有已经手插入的包含文件。

19. 转义符:在字符串(也就是列表)或使用单引号的原子中,可以使用转义字符。

20. 在 erlang中,任何可以被求出值的东西都被称作表达式。这就意味着catch, if, try...catch等都是表达式。而类似记录和模块属性等,这些不能被求值的都不是表达式。表达式序列是一系统以逗号分隔的表达式,这些表达式应该紧 接放置在->之后,表达式序列的值是最后一个表达式的值。

21. 函数引用(与C中的函数指针相似):
方法一:fun LocalFunc/Arity
方法二:fun Mod:RemoteFunc/Arity

如:lists:map(fun square/1, L). 再如:lists:map(fun x1:square/1, L).

22. 包 含文件:-include(Filename),这个语法可以包含扩展名为.hrl的包含文件。FileName应该包含一个绝对或者相对路径。 -include_lib(name),这个语法可以引入库的包含文件,如:-include_lib("kernel/include /file.hrl").

23. 列表操作符++和--:

A++B意味着把A和B加起来,把B附加到A上生成一个新的列表。
A--B从列表A中删除列表B。删除的意思是B中的所有元素都要从A中删除。注意,如果符号X在B中出现K次,那么在A中只会按顺序删除K个X。
++也可以用在模式匹配中。如:f("begin"++T) ->...,这个模式会被扩展为[$b, $e, $g, $i, $n|T]


24. 宏:
宏定义的语法:
-define(Constant, Replacement).
-define(Func(Var1, Var2, ..., VarN), Replacement).
    在代码中使用宏:?MacroName

25. 系统预定义宏:
    ?FILE 扩展为当前文件名
    ?MODULE 扩展为当前模块名
    ?LINE 扩展为当前行

26. 宏的流程控制
    -undef(Macro).    取消宏定义,在这个语句后不能再调用这个宏
    -ifdef(Macro).    只有Macro被定义后,才对该行以下的代码进行运算。
    -ifndef(Macro).       只有在不定义Macro的情况下,才对该行以下的代码进行运算。
    -else.    只能在ifdef或ifndef后出现
    -endif.    标记if的结束。

27. c(m1, Options)命令可以在编译代码时向编译器传输一些选项,如c(test, {d, debug}).在编译test.erl时定义一上debug宏,这样在代码中的ifdef(debug)就为true了。



28. 模式匹配操作符
    func1([{tag, {one, A}=Z1, B}=Z2|T}]) ->
            f(..., Z2, ...),
            g(..., Z1, ...),
        ...
    其中Z1相当于{one, A}, 而Z2相当于{tag, {one, A}, B}

29. 数值类型:erlang中的数值类型包括整型和浮点型
    三种表示整数的方法:
    (1). 传统语法:12, -234
    (2). K进制语法:K#Digits, 2#00101010, 16#af6bfa23
    (3). $语法:$C代表C的ASCII码,也可以是转义字符,如:$/n.
    浮点数:1.0, 3.14159, -2.3e+6, 23.56E-27
    erlang中可表示的浮点数的范围是-10的323次幂~10的308次幂。

30. 操作符优先级:
    :
    #
    (unary)+, (unary)-, bnot, not
    /, *, div, re, band, and
    +, -, bor, bxor, bsl, bsr, or, xor
    ++, --
    ==, /=, =<, >=, >, =:=, =/=
    andalso
    orelse

31. 进程字典:erlang的每一个进程都有自己的私有数据存储,叫做进程字典。进程字典是由一系列键值对组成的关联数组,像C++的map
    可以使用下面的BIF来操纵进程字典:
    @spec put(Key, Value) -> OldValue.    %% 如果没有之前关联过的值,则返回原子undefined。
    @spec get(Key) -> Value.        %% 如果没有这个Key,则返回原子undefined。
    @spec get() -> [{Key, Value}].
    @spec get_keys(Value) -> [Key].
    @spec erase(Key) -> Value.        %% 如果没有这个Key,则返回原子undefined。
    @spec erase() -> [{Key, Value}]
    尽是避免使用进程字典,因为进程字典不是非破坏性赋值。
    有一种情况可以,那就是使用进程字典来存储“一次性写入”变量。如果一个键与一个值仅绑定一次而且不再修改。

32. 引用:引用是一个全局唯一的Erlang值,可以用BIF make_ref()来创建引用。好像有点像全局唯一标识。

33. 短路布尔表达式:
    Expr1 orelse Expr2    %% 如果Expr1结果为false,才会对Expr2求值
    Expr1 andalso Expr2    %% 如果Expr1结果为true,才会对Expr2求值

    在A or B和A and B中,无论什么情况A和B都会被求值。

34. 比较表达式
    X>Y
    X<Y
    X=<Y    %% X小于等于Y, 这个很奇怪
    X>=Y
    X == Y    %% 用于数值类型
    X /= Y    %% 用于数值类型
    X =:= Y    %% X全等于Y
    X =/= Y    %% X不全等于Y
    不同的类型也能比较
    number<atom<reference<fun<port<pid<tuple<list<binary

35. ==和/=在比较整数和浮点数时可以对两边的数值进行类型转换。而=:=和=/=确不会。
    如:1.0 == 1(true) 1.0 =:= 1(false)
    另外,由此产生的一个问题是,如果我们定义了一个函数F=fun(12)->...end. 那么当我们调用F(12.0)时会出错。
36. 下划线变量:如果一个变量只出现一次,以后没有被使用过,编译时会出现警告。如果不想看到这个警告的话,可以将其命令为一个以下划线开头的变量_VarName.
分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics