嵌套的 std::transform 效率低吗？

如果我有一个std::string:

std::string s{"hello"};

以及一个就地修改它的循环，如下所示：

for (auto &c: s)
  c = std::toupper(c);

我可以用同等的东西替换它transform:

std::transform(s.begin(), s.end(), s.begin(),
               [](unsigned char c) -> unsigned char 
               { return std::toupper(c); });

这些片段生成相同的assembly https://godbolt.org/z/w8GsYm。他们也有类似的表现 http://quick-bench.com/oXg_a-Ak7lWlAPinBAJ-46Lt2gs.

但是，如果我有一个std::vector<std::string>:

std::vector<std::string> v {"hello", "how", "are", "you"};

并就地修改它，如下所示：

for (auto & s : v)
  for (auto &c: s)
    c = std::toupper(c);

等效变换应该是：

std::transform(std::begin(v), std::end(v), std::begin(v),
  [](auto s) {
    std::transform(std::begin(s), std::end(s), std::begin(s), 
      [](unsigned char c) -> unsigned char { return std::toupper(c); });
    return s;
});

但是，那transform版本生成的数量超过一半assembly https://godbolt.org/z/e8aBLP, and performs http://quick-bench.com/SKBPB0kVSjrGl0WZaV9xEqT96ko相应地很差，这让我感到惊讶。

Is std::transform在这种情况下不是零成本抽象，或者我只是错误地使用它？

通过引用传递和返回所有内容。否则，您将复制该字符串的多个副本。注意变化：[](auto& s) -> std::string& {

std::transform(std::begin(v), std::end(v), std::begin(v),
  [](auto& s) -> std::string& {
    std::transform(std::begin(s), std::end(s), std::begin(s), 
      [](unsigned char c) -> unsigned char { return std::toupper(c); });
    return s;
});

我在您的链接中添加了两个新的快速工作台功能。一种将输入字符串作为引用传递的字符串。另一个也通过引用返回。那是：

static void Transform2(benchmark::State& state) {
  // Code before the loop is not measured

  std::vector<std::string> v {"hello", "how", "are", "you"};
  for (auto _ : state) {
    std::transform(std::begin(v), std::end(v), std::begin(v),
    [](auto& s) {
      std::transform(std::begin(s), std::end(s), std::begin(s), 
        [](unsigned char c) -> unsigned char { return std::toupper(c); });
      return s;
    });

  }
}
BENCHMARK(Transform2);


static void Transform3(benchmark::State& state) {
  // Code before the loop is not measured

  std::vector<std::string> v {"hello", "how", "are", "you"};
  for (auto _ : state) {
    std::transform(std::begin(v), std::end(v), std::begin(v),
    [](auto& s) -> std::string& {
      std::transform(std::begin(s), std::end(s), std::begin(s), 
        [](unsigned char c) -> unsigned char { return std::toupper(c); });
      return s;
    });

  }
}
BENCHMARK(Transform3);

根据我运行基准测试时的幸运程度，Transform3 的性能几乎（有时等于）InPlace 测试实现。