C++中std::basic_string的size_type与迭代器的关系及erase使用疑问

你觉得“xpos可以直接替换iterator传给erase接口”完全是视觉错觉——你根本没把xpos传进那个需要迭代器的erase版本里。

std::string的erase并不是只有接收两个迭代器的单一接口，它为了适配不同使用习惯，一共提供三类完全独立的重载，编译期会严格根据传入的参数类型做匹配，不同重载之间的参数没有任何通用转换关系：

• 字符串专属索引版：basic_string& erase(size_type pos = 0, size_type count = npos)
  这是std::string自己设计的便捷接口，专门接收代表字符索引的size_type（也就是xpos，find方法的返回值），逻辑是从偏移量pos开始，删除最多count个字符，直到删完指定长度或者字符串末尾。
• 单迭代器通用版：iterator erase(const_iterator position)
  适配STL序列容器的通用规范，接收一个指向待删除字符的迭代器。
• 双迭代器通用版：iterator erase(const_iterator first, const_iterator last)
  就是你在文档中看到的、需要传入两个迭代器的版本，负责删除[first, last)半开区间内的所有字符。

你写的索引版本代码：

std::string s{"012345678902"};
s.erase(s.find('0'), s.find_last_of('0'));

两个参数都是纯整数类型的索引，从类型上就完全匹配上面第一个、字符串专属的索引版erase，和需要迭代器的两个重载没有任何关系。
对应到实际执行逻辑：pos值为0（第一个'0'的索引），count值为10（最后一个'0'的索引），也就是从索引0开始删除10个字符，最终剩下末尾的'0'和'2'，输出02。
你写的迭代器版本代码：

auto it = std::find(s.begin(), s.end(), '0');
auto rit = std::find(s.rbegin(), s.rend(), '0');
s.erase(it, rit.base()-1);

两个参数都是迭代器类型，才会匹配到第三个、双迭代器的通用版erase，它的删除区间是从字符串开头迭代器，到最后一个'0'的下一个位置的迭代器，同样删掉10个字符，刚好得到和上面完全一样的输出。

输出结果一致只是测试用例的巧合，本质上xpos和iterator是完全不同的两类东西：

• xpos（size_type）本质是无符号整数，代表字符相对字符串首地址的偏移量，可以直接打印、做任意整数运算，本身没有绑定容器的合法性校验。
• iterator是封装了定位逻辑的类类型，合法性和所属容器强绑定，没有内置的数值语义，不能直接当整数打印、也不能跨容器混用。
  如果真的尝试把xpos当迭代器传给双迭代器版本的erase，编译器会直接报错找不到匹配的函数，根本没法通过编译。换个测试场景就能立刻看到差异：索引版erase如果传入的count超过剩余字符长度，会自动删到字符串末尾；但迭代器版erase如果传入的迭代器超出字符串范围，会直接触发未定义行为。

内容的提问来源于stack exchange，提问作者Simon Z.