位集不支持多条件过滤，本质是多个位集的布尔组合；std::bitset因编译期定长、栈溢出风险及无法向量化而低效；应使用对齐的uint64_t数组+AVX指令实现O(k)级AND/OR与CTZ索引提取。
位集本身不支持“多条件过滤”——它只存 0/1，没有字段、没有结构；所谓“多条件”，本质是多个独立位集的布尔组合（AND/OR/NOT），关键在如何高效执行这些位运算并提取结果索引。
std::bitset 无法用于动态多条件过滤
它大小必须编译期确定，std::bitset 占用 125KB 栈空间，超大容量直接编译失败或栈溢出；更严重的是，它不暴露底层存储指针，无法做跨位集的批量位运算（如 &、|），也不能与 SIMD 指令对接。你没法把两个 std::bitset 按字对齐做向量化 AND，只能逐字迭代，性能断崖式下跌。
常见错误是试图用多个 std::bitset + 手动循环做“条件交集”，比如：
for (size_t i = 0; i < bs1.size(); ++i) {
if (bs1[i] && bs2[i] && !bs3[i]) res.push_back(i);
}这看似直观，但对千万级位宽，哪怕只有千分之一的 1，也要遍历全部位 —— 时间复杂度 O(N)，不是 O(k)。
立即学习“C++免费学习笔记（深入）”；
手写 uint64_t 数组位集 + 向量化 AND/OR 实现
核心是让多个位集内存布局完全一致（按 64 位对齐、连续存储），才能用单条 AVX2 指令一次处理 256 位（32 字节）。
- 每个位集用
std::vector<uint64_t></uint64_t>存储，capacity()和size()分开管理，避免 resize 时重拷贝 - 所有位集统一用相同 word 数：
n_words = (total_bits + 63) / 64，不足部分补 0 - AND 过滤直接用
_mm256_and_si256（AVX2）或_mm512_and_epi64（AVX-512），比标量循环快 8–16 倍 - 务必对齐分配：用
aligned_alloc(32, ...)或std::aligned_allocator，否则 AVX 指令触发 #GP 异常
示例片段（AND 两个位集）：
void bitwise_and(const uint64_t* a, const uint64_t* b, uint64_t* out, size_t n_words) {
size_t i = 0;
#if defined(__AVX2__)
for (; i + 4 <= n_words; i += 4) {
__m256i va = _mm256_loadu_si256((const __m256i*)(a + i));
__m256i vb = _mm256_loadu_si256((const __m256i*)(b + i));
_mm256_storeu_si256((__m256i*)(out + i), _mm256_and_si256(va, vb));
}
#endif
for (; i < n_words; ++i) out[i] = a[i] & b[i];
}从 AND 结果中快速提取索引（O(k) 而非 O(N)）
得到过滤后的位图（仍为 uint64_t[]）后，不能用 for (int i = 0; i 扫描——那是给稀疏数据挖的坑。
正确做法是：对每个非零 word，用硬件 CTZ 指令逐个剥出置位索引：
-
__builtin_ctzll(word)（GCC/Clang）或_tzcnt_u64(word)（MSVC），返回最低位 1 的位置（0-based） - 每次用
word &= word - 1清除最低位 1，直到 word == 0 - 必须先判
if (word == 0) continue，否则__builtin_ctzll(0)行为未定义 - 索引偏移 =
w * 64 + ctz_result，w 是当前 word 下标
这个过程时间只和最终结果中 1 的个数 k 成正比，和总位宽无关。100 万位中只有 100 个 1？只需约 100 次 CTZ + 100 次清除，而非 100 万次判断。
多条件组合的实际约束与取舍
AND 条件越多，结果越稀疏，索引提取越快；但 OR 条件会破坏稀疏性，且无法用 CTZ 链式剥取——OR 后的 word 可能全 1，必须退回到逐位扫描或分段查表。
真实场景中，应优先用 AND 构建主过滤器（如 “用户在线 && 属于 A 组 && 未屏蔽”），再对小结果集做 OR 或其他逻辑（如 “城市是北京 OR 上海” 可提前预计算两个子位集再 OR）。
容易被忽略的一点：位索引是否需映射回原始 ID？如果原始数据是 64 位整数，而位图只支持 32 位索引（uint32_t），超过 42 亿就溢出——这时要么用 std::vector<uint64_t></uint64_t> 存索引，要么改用 Roaring Bitmap 等压缩结构，别硬扛。
