• Erlang 位串和二进制数据

    http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=25876834&id=3300393

    因为在本人工作中，服务端Erlang和客户端的flash通信都是发送二进制数据（协议）来通信，Erlang处理起来二进制数据真的很方便，在空余时间查看和翻译了Erlang的二进制相关一些说明文档，当然里面也有根据自己的经验和知识理解的地方。

    在二进制解析部分，其实还有很多好的例子。还有就是Erlang的二进制实际应用的例子，下次会再分享的，翻译不到位的地方，还请多多指正，原文地址
     

    点击(此处)折叠或打开

    1. Erlang 位串和二进制数据
    3.     位串（bitstring）是由一些有比特（bit，理解为‘位’）组成，不要求包含的比特数量能够整除8，如果恰好能够整除8的话，那么这个位串就是个binary。
    5. 位串中的每一个位都位于确定的一个段中，一个段由一串连续的位组成（段之间没有界限），如首位是第一个段，紧接着就是第二个段。
    7. 下面的例子演示了二进制数据的构造，匹配，还有如何获取和使用二进制数据中的元素。
    9. 1. 一些简单的例子
    10. 例一：
    11.     一个二进制数据由一组常量或者简单字符串构成
    12. Bin11 = <<1, 17, 42>>,
    13. Bin12 = <<"abc">>
    14. 产生的二进制数据大小为3，binary_to_list(Bin11)计算结果是[1, 17, 42], binary_to_list(Bin22)计算结果是 [97, 98, 99].
    16. 例二：
    17.     类似的，一个二进制数据也可以由一组已绑定的变量构成
    18. A = 1, B = 17, C = 42,
    19. Bin2 = <<A, B, C:16>>
    20. 产生的二进制数据大小为4，binary_to_list(Bin2)计算结果是 [1, 17, 0, 42]。这里C使用了尺寸表达式（size expression）,指定了C这个段在二进制数据中占用16位，也就是两个单位长度。
    22. 例三：
    23.     二进制数据也可以进行匹配操作。假设D，E，F是自由变量，Bin2为例二中的变量：
    24.  <<D:16, E, F/binary>> = Bin2
    25. 结果 D = 273，（因为D包含了A,B两个段，二进制转换为10进制之后的结果），E = 0，F = 42（这里在我的机器上是 <<*>>,我的erlang版本比文档上的版本新）
    27. 2.注意
    28.     语法上应该要注意的地方， "B=<<1>>" 这样的写法会被erlang编译器理解为 "B =< <1>>" ，这样就会产生语法错误。正确的写法应该是 "B = <<1>>" 。
    30. 3.二进制数据各个部分介绍
    31.     位串中，每一个段都遵循通用的语法格式，如下：
    32. Value:Size/TypeSpecifierList 值:大小/类型
    33. 因为Size和TypeSpeciferList不是必须指明的，所以在书写的时候它们可以省略，下面的格式是正确的：
    34. Value
    35. Value:Size
    36. Value/TypeSpecifierList
    37. 当没有指明使用什么规范时，就使用默认值(默认规范，也可以理解为默认语法约定)。默认值会在下面解释
    38. 在构造二进制数据结构的时候，Value可以是任何表达式；在进行二进制的匹配操作时，Value必须是一个普通的单词(literal )或者变量。
    39. Size 指明该段占多少位，要是指明了 TypeSpecifierList （类型），Size表示的多少个单位长度，size必须是整数。
    40. TypeSpecifierList 由 ‘-’ 隔开的一组属性组成，可以由四个部分构成：
    41.     Type 类型，可以是 Integer, Float, Binary
    42.     Signedness 规定是无符号还是有符号
    43.     Endianness 规定字节存储序列
    44.     Unit 单位长度，必须能被Size 整除
    45. 如：
    46.     X:4/little-signed-integer-unit:8
    47.     X 的总大小是 4 * 8 = 32 bit啰
    49. 4.默认（约定）
    50.     二进制中每个段的数据类型默认是整型，默认的类型不依赖于值，即便值是一个单词。
    51. 类似的， "<<3.14>>" 的类型也是整型，不是浮点型。
    52.   默认的大小（Size）由类型决定，整型是8，浮点是64，如果是binary类型的话就是该binary的整个长度。在匹配操作中，只有最后一段数据使用默认大小才是合法的，其他位置的数据段必须指定大小。
    53.   默认的单位长度，整型和浮点都是1，binary是8.
    54.   默认是无符号
    55.   默认的字节序列是大头排列
    57. 5.构造一个binary 和 位串（bitstring）
    58.     构造二进制的语法和创建列表和元组不一样，如果参数错误的话，会爆出 “badarg”的错误。
    59.     一个二进制可以由一个或多个段构成，0个段 “<<>>”表示大小为零的二进制数据（很多时候，我们会发空     的二进制作为触发没个事件的信号）。
    60.    <<Bin/binary,Bitstring/bitstring>>
    61.     这样一个数据，Bin的大小一定是8比特的整数倍，而Bitstring的大小一定是1的整数倍。
    62.     下面的数据：
    63.     <<X:1, Y:6>> 
    64.     可以成功构造一个大小为7bit的位串，特别的提出一点：
    65.     <<X+1:8>> 是错误的，应该写作：
    66.     <<(X+1):8>>
    67.     <<"hello">> 等价于 <<$h,$e,$l,$l,$o>> ,前者在语法上比后者更加便利（语法糖）
    68. 6.二进制数据的匹配操作
    69.     匹配操作的时候，记住Size一定是一个整数或者绑定的变量（值为整数），如
    70.     foo(N, <<X:N,T/binary>>) ->
    71.     {X,T}.
    72.     这样是错误的，因为在编译的时候，N作为Size还没有绑定。
    73.     正确的做法：
    74.     foo(N, Bin) ->
    75.        <<X:N,T/binary>> = Bin,
    76.        {X,T}.
    77. 7.获取一个二进制和位串的剩余部分
    78.     foo(<<A:8,Rest/binary>>) -> 
    79.        Rest的大小一定能整除8
    80.     foo(<<A:8,Rest/bitstring>>) ->
    81.        Rest的大小没有严格限制了
    83. 8.位串解析（Bit String Comprehensions）
    84.     位串解析类似列表解析，是一种非常高效的产生新的位串的方法，一般语法如下：
    85.     << BitString || Qualifier1,...,QualifierN >>
    86.     BitString一个合法的位串表达式，Qualifier是位串生成器或者过滤器
    87.     一般的生成器（如列表解析里面），通常写作：
    88.       Pattern <- ListExpr. 
    89.     而位串生成器写作：
    90.      BitstringPattern <= BitStringExpr. 
    91.     当然了，这里BitStringExpr 肯定一个合法的位串表达式
    92.     
    93.     过滤器是一个返回true或false的表达式
    94.     具体的例子：
    95.     << << (X*2) >> || <<X>> <= << 1,2,3 >> >>.
    96.     <<2,4,6>>
    100. 1.BIF：
    101. BIF：（built-in function）内建函数，是erlang语言的组成部分。是erlang虚拟机中的基本操作。

    102. tuple_to_list/1将元组转换为列表，time/0返回当前时间的时，分，秒。
      1> tuple_to_list({12,cat,”ddd”}).
      [12,cat,"ddd"]
      3> time().
      {12,35,57}

      2.二进制数据：
      一种数据类型，用来实现原始数据的高速存储。节省内存，输入输出更加高效。书写打印时，二进制数据以一个整数或者字符序列的形式出现，两端分别用尖括号括起来。其中的整数，每一个都要在0-255之间，如果二进制数据是可以打印的字符串，shell将显示字符串形式，否则会显示一串整数。

      @spec 描述函数的参数和返回类型。类型标注，不是erlang代码而是注释文档的一部分，shell中不能使用这些标注。erlang中的模块声明也是注释的一部分。

      erlang通过BIF来构造二进制数据或者从中提取数据，或者通过比特语法来完成这一过程。
      @spec list_tbo_inary(IoList) -> binary()
      @spec split_binary(Bin,Pos) -> {Bin1,Bin2}
      @spec term_to_binary(Term) -> Bin
      @spec binary_to_term(Bin) -> Term
      list_tbo_inary将IoList中所有东西转换为一个二进制数据。split_binary在pos位置将二进制数据分割成两个部分。下面两个是互逆。

      4> Bin1 = <<1,2,3>>.
      <<1,2,3>>
      5> Bin2 = <<4,5>>.
      <<4,5>>
      6> Bin3 = <<6>>.
      <<6>>
      7> list_to_binary([Bin1,1,[2,3,Bin2],4|Bin3]).
      <<1,2,3,1,2,3,4,5,4,6>>
      12> split_binary(<<1,2,3,1,2,3,4,5,4,6>>,4).
      {<<1,2,3,1>>,<<2,3,4,5,4,6>>
      14> term_to_binary({11,’333a’,use}).
      <<131,104,3,97,11,100,0,4,51,51,51,97,100,0,3,117,115,101>>
      15> binary_to_term(<<131,104,3,97,11,100,0,4,51,51,51,97,100,0,3,117,115,101>>).
      {11,’333a’,use}
      返回二进制数据字节长度
      16> size(<<1,2,3,4>>).
      4
      3.比特语法
      比特语法：一种模式匹配语法，用于二进制数据中的比特进行封包和解包工作。
      比特语法是模式匹配的一种扩展。编写底层代码时，常会需要对比特级别的二进制数据进行封包解包，会体现比特语法的便捷，比特语法针对协议编程而设计（erlang的看家本领 哇塞）。
      16bit色彩的封包解包

      19> Red = 2.
      2
      20> Green = 54.
      54
      21> Blue = 20.
      20
      22> Men = <<Red:5,Green:6,Blue:5>>.
      <<22,212>>
      23> Mem = <<Red:5,Green:5,Blue:5>>.
      <<21,84:7>>
      24> <<R1:5,G1:6,B1:5>> = Men.
      <<22,212>>
      25> R1.
      2
      27> G1.
      54
      28> B1.
      20

      可以看到是用：进行匹配，冒号前是数据，后是所占的比特数。

      比特语法表达式

      嗯，这里讲比特语法格式:

      比特语法的形式：<<>>或者<<E1,E2,E3,E4,…,En>>。Ei有四种形式：

      Ei = Value | Value:Size | Value/TypeSpecifierList | Value:Size/TypeSpecifierList

      二进制数据中总比特数恰好被8整除（二进制数据中每个字节都是8bit）。Value必须是一个绑定变量、文本串或者一个返回值的整数。浮点数、二进制数据的表达式。Size必须为一个整型或者整型绑定变量，不能是自由变量。整型默认Size为8，浮点型为64，二进制则为本身长度。SpecifierList决定字节序，取值为：

      @type End = big| little ｜native

      书上给出一个例子来了解这三种排序和默认排序，不同机器可能不同。

      37> {<<16#12345678:32/big>>,<<16#12345678:32/little>>,<<16#12345678:32/native>>,<<16#12345678:32>>}.
      {<<18,52,86,120>>,
      <<120,86,52,18>>,
      <<120,86,52,18>>,
      <<18,52,86,120>>}

      4.使用总结

      块表达式：

      begin
      Expr1,
      ….
      Exprn
      end

      块得值就是快中最后一个表达式的值，用于当代码某处只允许使用单个表达式而你要用一串表达式时。

      注释：

      只有行注释%，没有块注释。

      列表操作符++ ——：对列表进行添加和删除的中缀操作符。

      比较表达式：

      所有类型都定义了大小比较顺序：

      number<atom<reference<fun<port<pid<tuple<list<binary

      作用：可以对存储了任何类型的列表进行排序，并根据比较顺序，编写高效的数据访问代码。

      出了=:=,=/=外，其他都遵循下面规则：

      如果一个比较参数为整数，另一个浮点数， 整数在比较前需要转换成浮点数。

      如果两个比较参数都是整数或者浮点数，直接比较。。。

      ==只适用于浮点数和整数的比较。最好都用=:=。

      下划线变量：

      如果一个变量在一个字句中只被使用一次，编译器会提出警告。但以下划线开始，那么编译器不会产生警告信息。

      命名不准备使用的变量，增加可读性。方便调试。
  • 相关阅读:
    InChatter系统之服务器开发（一）
    InChatter系统开源聊天模块前奏曲
    System.Lazy<T>延迟加载
    系统的层级架构
    Android网络通信库Volley简介(转)
    switch case 忘记 break
    switch case 忘记 break
    C# Lock 解读
    JSON资料整理(转载)
    [Leetcode]253. 会议室 II（数组/堆）
  • 原文地址：https://www.cnblogs.com/fvsfvs123/p/4241194.html
Copyright © 2020-2023  润新知