std::copy_if配合位运算掩码过滤最直接：用lambda按位测试保留元素，需reserve目标空间；超长掩码用std::vector或std::bitset；原地过滤用std::remove_if取反条件并erase尾部。
用 std::copy_if 配合位运算做掩码过滤最直接
掩码过滤本质是按位判断：每个元素对应掩码的一位，该位为 1 才保留。C++ 标准库没有专用“掩码过滤函数”，但 std::copy_if 加上一个简单的位测试 lambda 就能干净实现，无需手写循环。
常见错误是把掩码当成布尔数组传入，或误用 & 和 == 顺序（比如写成 (mask & (1 —— 这在高位时永远为 false）。
- 假设掩码是
uint32_t mask，数组索引从 0 开始，则第i个元素是否保留，取决于(mask >> i) & 1是否为真 - 若掩码类型是
std::vector<bool></bool>，就直接用mask[i]，但注意它不是真正的 bool 容器，迭代器行为特殊，不推荐用于高频过滤 - 使用
std::copy_if时，目标容器需提前预留空间（reserve），否则反复扩容影响性能
std::vector<int> arr = {10, 20, 30, 40};
uint32_t mask = 0b1011; // 保留索引 0、1、3 对应的元素
std::vector<int> filtered;
filtered.reserve(__builtin_popcount(mask)); // GCC；MSVC 用 _mm_popcnt_u32
<p>std::copy_if(arr.begin(), arr.end(), std::back_inserter(filtered),
[&, i = 0] (const auto&) mutable { return (mask >> i++) & 1; });
// filtered == {10, 20, 40}
掩码长度超过 sizeof(size_t)*8 怎么办
32 位掩码能覆盖最多 32 个元素，64 位系统上也才 64 个。实际中常遇到几百甚至上千元素要按掩码筛选，这时必须用多字节掩码结构，比如 std::vector<uint64_t></uint64_t> 或 std::bitset。
用 std::bitset 最省心：支持任意长度（编译期确定）、test(i) 安全查位、无符号整数转换也明确；但长度必须是常量表达式。运行时长度只能选 std::vector<uint64_t></uint64_t>。
立即学习“C++免费学习笔记（深入）”；
- 若掩码存为
std::vector<uint64_t> mask_words</uint64_t>，第i位对应mask_words[i / 64] & (1ULL - 别用
std::vector<bool></bool>存大掩码——它对operator[]返回 proxy 对象，无法取地址，和算法配合易出未定义行为 - 查位操作尽量用
&+ 移位，避免除法和取模；现代编译器对i / 64和i % 64能优化成位运算，但显式写i >> 6和i & 63更可靠
原地过滤（不分配新容器）用 std::remove_if 反向逻辑
如果内存敏感，想复用原数组空间，就不能用 copy_if，而要改用“标记不保留项→搬移→截断”的方式。标准做法是用 std::remove_if，但它的谓词含义是“是否要移除”，和掩码语义相反，所以得把条件取反。
- 设当前处理索引为
i，掩码第i位为 0 → 该元素要被移除 → 谓词返回true - 务必用可变 lambda 捕获索引，并在每次调用时递增；不能依赖迭代器距离（
it - begin()），因为remove_if内部会重排元素，距离失效 - 过滤后必须调用
erase删除尾部无效段，否则残留数据仍在容器内
std::vector<int> arr = {10, 20, 30, 40};
uint32_t mask = 0b1011;
<p>auto it = std::remove_if(arr.begin(), arr.end(),
[&, i = 0](const auto&) mutable {
return !((mask >> i++) & 1);
});
arr.erase(it, arr.end()); // arr == {10, 20, 40}
性能关键点：缓存友好性比位运算本身更值得优化
单次位测试开销几乎可忽略，真正拖慢的是内存访问模式。如果掩码和数组都很大，且掩码随机稀疏（比如只有 1% 的位为 1），那么 copy_if 会引发大量非连续内存读取，L1 缓存命中率骤降。
- 若允许重排结果顺序，先用掩码生成索引列表（如
std::vector<size_t> indices</size_t>），再批量读取arr[i]，能显著提升缓存局部性 - 对超大数组（GB 级），考虑分块处理：每块 4KB 或 64 行，使掩码块与数据块尽可能共页，减少 TLB miss
- Clang/GCC 在
-O2下会对简单位操作自动向量化，但前提是循环结构清晰、无别名干扰；避免在谓词里引入全局变量或虚函数调用
掩码过滤看着简单，实际最易出问题的不是语法，而是掩码位序（LSB 是索引 0 还是最高位？）、整数类型符号扩展（int 右移可能补 1）、以及跨平台位宽差异（long 在 Windows 和 Linux 上都是 4 字节，但某些嵌入式平台是 2 字节）。动手前先确认掩码约定和目标平台的 CHAR_BIT。
