elixir - 有更好的方法来获取前 n 个字节和字符串的其余部分吗？目前使用binary_part和String.trim_leading

Question

给定一个字符串 str = "üabc123" 和 size = 5。我想获取前 5 个字节("üabc")，以及字符串的其余部分("123")。

目前我正在做:

str = "üabc123"
size = 5
a = binary_part(str, 0, size)      # "üabc"
b = String.trim_leading(str, a)    # "123"

似乎有一种更干净的方法可以做到这一点。还有别的办法吗？

Answer 1

您可以使用二进制模式匹配

<< a::binary-size(5), b::binary >> = "üabc123"
a == "üabc"
b == "123"