在C++里做字符串清洗，核心思路其实很直接：先把白名单字符集建立起来，然后快速过滤掉不合规的字符。但具体怎么实现更优雅、更高效，这里面有不少门道值得深究。先说几个关键判断：用std::unordered_set来构建白名单，查找复杂度是O(1)；处理ASCII字符场景，char类型完全够用；而原地清洗的最佳拍档是读写双指针，而不是新建字符串或erase-remove惯用法。
好，咱们从构建白名单字符集开始聊起。
白名单字符集如何用 std::unordered_set 高效构建
直接用 std::unordered_set 来存储白名单字符，效率比每次遍历字符串查表高得多。构造时传入初始列表即可，后续查找就是平均O(1)的代价，避免了重复计算。
需要注意的是：如果白名单里含有Unicode字符（比如UTF-8的多字节编码），char就不够用了——这时必须按字节序列处理，或者改用std::string_view配合手动解析。但大多数场景下，像ASCII控制符、字母数字、下划线、点、连字符这类字符，用char就绰绰有余。
代码示例：
std::unordered_setallow{'a','b','c','0','1','2','_','.'};
- 别用
std::set——插入和查找都是O(log n)，而unordered_set平均O(1) - 初始化列表长度不超过128时，现代编译器会做优化；超过的话建议显式调用
reserve：allow.reserve(256) - 如果白名单固定且极小（≤32个字符），也可以考虑位图（比如
std::uint32_t mask[8]），但这样可读性差、调试困难，除非经过真实压测证明这里是性能瓶颈，否则不推荐
原地清洗用双指针，别新建字符串
原地清洗的核心思想就是“读写双指针”：一个指针扫源串（read），另一个指针标定有效字符的写入位置（write）。每遇到一个合法字符，就拷贝到 write 位置并递增指针；遇到非法字符直接跳过。最后用 str.resize(write) 截断多余部分。
这种做法比 erase(remove_if(...)) 更可控——后者底层可能触发多次内存移动，而且无法复用同一个buffer做逻辑检查。
代码片段示例：
size_t write = 0;
for (size_t read = 0; read < str.size(); ++read) {
if (allow.count(str[read])) {
str[write++] = str[read];
}
}
str.resize(write);
- 务必先检查
str.empty()再进入循环，避免空字符串下str[0]越界——虽然std::string的operator[]对空字符串会返回'\0'，但后果依赖实现，不安全 - 不要用
str.at(i)——它带边界检查开销，而且会抛异常，清洗场景完全用不上 - 如果还需要记录删除了多少非法字符（比如做审计），把计数逻辑写在if外部，别干扰write指针的逻辑
非法字符检查要提前abort，别等清洗完再验
清洗和检查其实是两个正交需求：清洗是要“让字符串变干净”，检查是要“确认它是否原本就合规”。很多业务场景要求“发现非法字符立刻报错”，而不是默默把非法字符过滤掉再返回结果。
因此最好的做法是把它们拆成两个函数：一个纯检查（bool contains_only(const std::string& s, const std::unordered_set），一个清洗（void sanitize_inplace(...)）。检查函数遇到第一个非法字符就返回false，不会遍历完整字符串。
- 检查函数里用
std::find_if_not配合lambda会更简洁，但要小心lambda捕获allow时用const引用，避免意外复制 - 如果检查失败后还需要知道非法字符的位置，返回
size_t（比如首个非法字符的索引）会比返回bool更实用 - 别在清洗函数里顺手做检查——逻辑耦合，违反单一职责原则，也会影响内联和编译器优化
性能陷阱：频繁调用时白名单别重复构造
如果清洗逻辑在tight loop里被高频调用（比如对网络包逐字段做过滤），每次都构造一个新的 std::unordered_set 会产生不小的开销。白名单如果不变，应将其定义为静态局部变量或类成员来缓存。
静态局部变量是最轻量的做法：
void sanitize_user_input(std::string& s) {
static const std::unordered_set allow = {'a','z','A','Z','0','9','_','-','.'};
// ... 双指针逻辑
}
- 首次调用时才会初始化，C++11起保证线程安全
- 别用
static std::unordered_set再加一个单独初始化函数——多线程环境下初始化顺序不好控制allow; - 如果白名单会根据配置动态变化（比如不同API接口需要不同的规则），那就得用
const std::unordered_set参数传入，不要试图在函数内部做缓存&
还有一个容易被忽略的点：白名单字符集如果包含空格、制表符、换行符这类不可见字符，调试时肉眼很难识别。建议在单元测试里用十六进制打印非法字符的值，而不是只打印 std::cout 了事。
