Question

我正在读取二进制文件，其中有一个结构，其中数据的第一个字节表示跟随它的数据类型。我试图通过模式匹配处理这个问题，但我遇到了麻烦。

我尝试了一些我认为可行的方法，但没有一种方法可行。您可以在下面看到我的微弱尝试：

defmodule Test do

  def build(<< 0x11, rest >>) do
    "11!"
  end

  def build(<< 0x12, rest :: size(4) >>) do
    "12!"
  end

  def build(<< type, rest >>)
  when type == 0x13 do
    "13!"
  end

  def build(bytes) do
    "Unknown!"
  end

end

[ << 0x11, 0x01, 0x02, 0x03, 0x04 >>,
  << 0x12, 0x01, 0x02, 0x03, 0x04 >>,
  << 0x13, 0x01, 0x02, 0x03, 0x04 >> ]
|> Enum.map(&Test.build/1)
|> IO.inspect
# => ["Unknown!", "Unknown!", "Unknown!"]

我希望得到：["11!", "12!", "13!"]。

这些匹配的数据都是固定大小（在这种情况下是5个总字节）。 This SO question似乎暗示我还需要指定总大小？不知道怎么做。

如果通过匹配调度方法，我最终不关心第一个字节的值，因此rest是我在每个方法体中唯一需要的东西。我错过了什么？

Answer 1

二进制模式中的每个未绑定变量默认匹配一个字节。如果要匹配任意长度的休息，则需要使用binary修饰符。

defmodule Test do
  def build(<<0x11, rest :: binary>>) do
    "11!"
  end

  def build(<<0x12, rest :: binary>>) do
    "12!"
  end

  def build(<<0x13, rest :: binary>>) do
    "13!"
  end

  def build(bytes) do
    "Unknown!"
  end
end

在方法签名中匹配二进制文件的一部分

1 个答案: