在字符串迭代中替换（out_of_range）

Question

我编写了一个对字符串进行百分比编码的函数，如下所示：

string percent_encode(string str)
{
  string reserved =
    // gen-delims
    ":/?#[]@"
    // sub-delims
    "!$&'()*+,;="
  ;

  for(string::iterator i = str.begin(); i < str.end(); i++) {
    int c = *i;
    // replaces reserved, unreserved non-ascii and space characters.
    if(c > 127 || c == 32 || reserved.find(*i) != string::npos) {
      std::stringstream ss;
      ss << std::hex << c;
      str.replace(i, i + 1, "%" + ss.str());
    }
  }
  return str;
}

当我为“a&b”之类的字符串调用此函数时，会引发 out_of_range 异常：

terminate called after throwing an instance of 'std::out_of_range'
  what():  basic_string::replace

我用调试器跟踪此异常并发现替换效果很好，但它以某种方式迭代超出了 end();

这就是我在观察迭代器“i”时得到的结果：

{_M_current = 0x7fc43d61bd78 "a&b"}
{_M_current = 0x7fc43d61bd79 "&b"}
{_M_current = 0x7fc43d61bd7a "b"}
{_M_current = 0x7fc43d61bd7b ""}
{_M_current = 0x7fc43d61bd7c "o = a&b\n"}
{_M_current = 0x7fc43d61bd7d " = a&b\n"}

然后它尝试替换“=”并因 out_of_range 异常而失败。 我不明白，迭代器怎么可能明显超出 end() 范围。

如果有人能向我解释这是怎么可能的，我将不胜感激，因为我在网上找不到有同样问题的人。

谢谢和问候，

真正的

编辑：

啊，我真的觉得很复杂。 x) 我现在就是这样解决的。

string percent_encode(string str)
{
  string reserved =
    // gen-delims
    ":/?#[]@"
    // sub-delims
    "!$&'()*+,;="
  ;

  std::stringstream ss;

  for(string::iterator i = str.begin(); i < str.end(); i++) {
    // encodes reserved, unreserved non-ascii and space characters.
    int c = *i;
    if(c > 126 || c == 32 || reserved.find(*i) != string::npos) {
      ss << '%' << std::hex << c;
    } else {
      ss << *i;
    }
  }

  return ss.str();
}

谢谢迭戈:)

Answer 1

replace 使当前迭代器无效，因此它可能会超出末尾。

有多种方法可以正确编写此代码。例如，生成（并返回）一个新字符串会更容易，甚至可能更高效（请注意，替换也必须将字符串的其余部分移动一个位置）。此外，还可以使用索引更新字符串长度和位置。

但是返回一个全新字符串的选项是我能想到的最好的选择。更实用:)

Answer 2

问题是您在迭代 str 时更改了它。当您更改字符串的内容时，迭代器将失效。解决方案是使用包含转换结果的字符串的另一个副本。