字符串减法无标准定义，C++中std::string不支持operator-重载；需自定义包装类实现删除首次/全部子串或字符集合差集，注意避免无限循环、重叠匹配遗漏及空串处理。
字符串减法没有标准定义，先明确你要减什么
标准 C++ 的 std::string 不支持 - 运算符重载，因为“字符串减法”本身语义模糊：是删去子串？去掉重复字符？做集合差？还是按字节逐位相减？不先定义行为，写重载就是空中造楼。
常见实际需求有三类，对应不同实现逻辑：
- 从原串中**删除首次出现的子串**（如
"hello world" - "lo"→"hel world"） - 从原串中**删除所有匹配的子串**（如
"ababab" - "ab"→""） - 按字符集合做**差集**（如
"abcde" - "bdf"→"ace"，保留原顺序）
重载 operator- 必须在命名空间内，且至少一个参数是自定义类型
不能直接为 std::string 重载全局 operator- —— 这违反 ADL 规则，编译器会报错 error: cannot overload 'operator-' in the global namespace for type 'std::string'。
可行方案只有两个：
立即学习“C++免费学习笔记（深入）”；
- 定义一个包装类（如
String），在该类所在命名空间中重载operator- - 用
std::string作为左操作数时，必须把重载函数声明为std::string的友元（但需修改std::string定义，不可行）→ 实际不可用
所以最实用的做法是：自己写个轻量包装类，例如：
struct String {
std::string s;
String(const std::string& s) : s(s) {}
<pre class="brush:php;toolbar:false;">friend String operator-(const String& a, const std::string& b) {
auto pos = a.s.find(b);
if (pos != std::string::npos) {
return String(a.s.substr(0, pos) + a.s.substr(pos + b.size()));
}
return a;
}};
删除所有子串 vs 删除首次子串：find 循环方式决定语义
如果想删掉所有匹配项，不能只调一次 find()，得用循环或 std::regex_replace（但后者开销大）。手动循环更可控：
String operator-(const String& a, const std::string& b) {
std::string res = a.s;
size_t pos = 0;
while ((pos = res.find(b, pos)) != std::string::npos) {
res.erase(pos, b.size());
// 注意：这里不加 pos += b.size()，因为删除后新内容可能紧贴前缀（如 "aaaa" - "aa" → 删两次）
}
return String(res);
}容易踩的坑：
- 忘记更新
pos导致无限循环（erase后位置不变，find可能反复命中同一处） - 误用
pos += b.size()会跳过重叠匹配（如"abababa" - "aba"，期望删掉位置 0 和 4，但加偏移后漏掉位置 2） - 空子串
b == ""会导致find总返回 0，必须提前检查
字符集合差集要保留顺序，别用 std::set 直接遍历
如果语义是“从左串中删去右串里出现过的所有字符”，注意不是去重，而是逐字符判断是否该删：
String operator-(const String& a, const std::string& b) {
std::unordered_set<char> to_remove(b.begin(), b.end());
std::string res;
for (char c : a.s) {
if (to_remove.find(c) == to_remove.end()) {
res += c;
}
}
return String(res);
}性能提示：
- 用
std::unordered_set查找是 O(1)，总复杂度 O(n)；若用std::string::find每次查，退化为 O(n×m) - 如果
b很短（比如就几个字符），直接用std::find(b.begin(), b.end(), c)反而更快，避免哈希构造开销 - 注意大小写敏感性——没特别说明时，默认区分，别忘了加
std::tolower转换逻辑
真正麻烦的是混合语义：比如“删去子串，但只删第一次；若子串不存在，则删去所有出现在右串中的字符”。这种就得拆成多个重载函数，靠参数类型区分，而不是硬塞进一个 operator- 里。
