字符串减法实为安全的路径前缀裁剪，需确保前缀是完整路径段（以/为边界），而非简单字符删除；推荐用C++20 starts_with+substr校验后裁剪，或用std::filesystem::path::lexically_relative实现语义化处理。
什么是字符串减法：不是运算符重载，而是路径前缀裁剪
“字符串减法”在 C++ 里没有内置语义，用户真正需要的，是给定一个完整路径 "/a/b/c/file.txt" 和一个前缀 "/a/b"，得到裁剪后的相对路径 "c/file.txt"。这本质是安全的前缀移除，不是简单 erase(0, n)，必须确保前缀是完整路径段（以 / 边界），否则会切错，比如把 "/ab/c" 错切成 "c"。
用 std::string::starts_with() + substr() 安全裁剪（C++20 起）
这是最直观、不易出错的方式，前提是已确认前缀合法（非空、以 / 开头、不以 / 结尾或结尾是单独 /）：
std::string remove_prefix(const std::string& path, const std::string& prefix) {
if (path.starts_with(prefix)) {
size_t pos = prefix.length();
// 确保前缀后紧跟 '/' 或到达末尾，避免部分匹配
if (pos == path.length() || path[pos] == '/') {
return path.substr(pos == path.length() ? pos : pos + 1);
}
}
return path; // 未匹配，返回原串
}- 必须检查
path[pos] == '/'，否则"/a/b"会错误裁掉"/a/bc/d"的开头 - 如果
prefix以/结尾（如"/a/b/"），pos + 1会跳过末尾斜杠，结果更干净；若不以/结尾，则手动加+1跳过分隔符 - C++17 及以前需用
path.compare(0, prefix.size(), prefix) == 0替代starts_with
用 std::filesystem::path 做语义化路径操作（推荐用于真实路径）
如果输入确实是文件系统路径（而非任意字符串），std::filesystem::path 能自动处理边界、规范化和平台差异：
std::string remove_prefix_fs(const std::string& path, const std::string& prefix) {
std::filesystem::path p(path), pre(prefix);
if (p.is_absolute() && pre.is_absolute() && p.has_relative_path()) {
auto rel = p.lexically_relative(pre);
if (!rel.empty() && !rel.is_absolute()) {
return rel.string();
}
}
return path;
}-
lexically_relative()返回相对路径，天然规避“切半截目录名”的风险 - 它会自动处理冗余
./、../和双斜杠，比如"/a//b/./c"→"/a/b/c" - 注意：Windows 下盘符（
C:）必须一致，否则lexically_relative()返回path本身 - 若前缀不在路径祖先链中（如前缀是
/x，路径是/a/b），结果不可预期，应提前用p.has_root_path() && p.root_path() == pre.root_path()排查
手写循环匹配：兼容旧标准且可控细节
当不能用 C++20 或 <filesystem>（如嵌入式环境），可手动逐段比对路径段：
立即学习“C++免费学习笔记（深入）”；
std::string remove_prefix_manual(const std::string& path, const std::string& prefix) {
size_t i = 0, j = 0;
while (i < path.length() && j < prefix.length()) {
if (path[i] != prefix[j]) return path;
if (path[i] == '/' && i > 0 && j == prefix.length() - 1) {
// prefix 以 / 结尾，且 path 此处也是 /，说明匹配完成
return path.substr(i + 1);
}
if (path[i] == '/' && j && prefix[j-1] != '/') {
// path 到达新段，但 prefix 还没结束 → 不匹配
break;
}
++i; ++j;
}
if (j == prefix.length() && (i == path.length() || path[i] == '/')) {
return i == path.length() ? "" : path.substr(i + 1);
}
return path;
}- 关键点在于：只在
/处做段边界判断，不依赖字符串长度硬切 - 要同时处理
prefix以/结尾（如"/a/b/"）和不结尾（如"/a/b"）两种情况 - 空路径、根路径
"/"、重复斜杠//都需测试覆盖，容易漏掉边界条件
路径裁剪看着简单，但真正的坑都在“看起来应该能切”的边缘 case 里——比如前缀末尾有没有 /、路径是否含 ..、跨平台路径分隔符。别图快直接 find + substr，先明确你处理的是“字符串”还是“路径语义”。
