解释字符串修剪功能

Question

我遇到了下面的代码，但在理解代码方面需要一些帮助。假设字符串 s 两边都有空格。

string trim(string const& s){
   auto front = find_if_not(begin(s), end(s), isspace);
   auto back = find_if_not(rbegin(s), rend(s), isspace);
   return string { front, back.base() };
}

作者说 back 指向最后一个空格的末尾，而 front 指向第一个非空白字符。所以 back.base() 被调用了，但我不明白为什么。

return 语句后面的字符串后面的花括号代表什么？

Answer 1

大括号是新的 C++11 初始化。

.base() 和反向迭代器

.base() 是取回底层迭代器（back 是一个reverse_iterator），以便从有效范围内正确构造新字符串。

一张图片。字符串的正常迭代器位置（关于rend() 的工作原理，它比这稍微复杂一点，但无论如何在概念上......）

        begin                                 end
          v                                    v
        -------------------------------------
        | sp | sp | A | B | C | D | sp | sp |
        -------------------------------------
      ^                                   ^
    rend                                rbegin

一旦你的两个 find 循环完成，这些迭代器在这个序列中的结果将被定位在：

                  front
                    v
        -------------------------------------
        | sp | sp | A | B | C | D | sp | sp |
        -------------------------------------
                                ^
                              back

如果我们只使用那些迭代器并从中构造一个序列（我们不能，因为它们不匹配类型，但无论如何，假设我们可以），结果将是“从 A 开始复制，停止在 D" 但它不会在结果数据中包含 D。

输入反向迭代器的back() 成员。它返回前向迭代器类的非反向迭代器，它位于后向迭代器“旁边”的元素处；即

                  front
                    v
        -------------------------------------
        | sp | sp | A | B | C | D | sp | sp |
        -------------------------------------
                                    ^
                               back.base()

现在当我们复制我们的范围 { front, back.base() } 时，我们从 A 开始复制并在第一个空格处停止（但不包括它），因此包括我们会错过的 D。 p>

它实际上是一段漂亮的小代码，顺便说一句。

一些额外的检查

在原始代码中添加了一些基本检查。

为了与原始代码的精神保持一致（C++1y/C++14 用法），添加了一些对空字符串和纯空格字符串的基本检查；

string trim_check(string const& s)
{
  auto is_space = [](char c) { return isspace(c, locale()); };
  auto front = find_if_not(begin(s), end(s), is_space);
  auto back = find_if_not(rbegin(s), make_reverse_iterator(front), is_space);
  return string { front, back.base() };
}