erlang - 将二进制文件分成 block 的更好方法，最好使用位串理解

Question

我正在尝试用更优雅的东西替换以下函数:

split_packet(_, <<>>) ->
    [];
split_packet(Size, P) when byte_size(P) < Size ->
    [ P ];
split_packet(Size, P) ->
    {Chunk, Rest} = split_binary(P, Size),
    [ Chunk | split_packet(Size, Rest) ].

(我现在这不是尾递归——希望保持简单，此外，在较新的 Erlang 版本中它与性能无关紧要)

示例输出:

1> split_packet(3, <<1,2,3,4,5,6,7,8>>).
[<<1,2,3>>,<<4,5,6>>,<<7,8>>]

使用列表推导式的优雅解决方案将是更可取的，因为其结果将使用列表推导式进一步处理，然后可以将其包装在一个推导式中。

我试过了

[ X || <<X:Size/binary>> <= P ].

但是如果 Size 不是 byte_site(P) 的倍数，这会留下最后一个 block :

2>  [ X || <<X:3/binary>> <= <<1,2,3,4,5,6,7,8>> ].
[<<1,2,3>>,<<4,5,6>>]

Answer 1

坦率地说，我看不出您当前的版本有什么问题。正如您所说，您不能使用二进制/列表理解来做到这一点，因为最后一个片段将被丢弃。

我唯一能想到的就是重新排序子句以首先匹配最常见的情况:

split_packet(Size, P) when byte_size(P) >= Size->
    {Chunk, Rest} = split_binary(P, Size),
    [Chunk|split_packet(Size, Rest)];
split_packet(_Size, <<>>) ->
    [];
split_packet(_Size, P)  ->
    [P].