OCaml位数组（Bitarray）介绍

描述 位数组（也称为 位图、位集、位串 或 位向量）是一种特殊的数组数据结构。位数组的核心是 位数组（因此得名）。位数组通常可用于以紧凑的方式对元素集进行编码（每个元素使用一个位），但它要求用户跟踪每个位编码的数据。例如，请考虑以下表示具有5个元素的类型的数据类型。

type t = | A | B | C | D of bool

该类型有 2^5 组可能的元素，它们可以很容易地用整数值（甚至单个字节！）进行编码。然而，为了利用这种紧凑的表示，用户必须编写样板代码，例如，将类型 t 的每个值映射到相应的单例（写为整数），反之亦然。这样的函数可能看起来像：

let to_int = function

| A -> 1 lsl 0 (* 1 *)

| B -> 1 lsl 1 (* 2 *)