STD：：累计C++20版本

Question

我试图理解这段代码，但我不明白为什么这个版本

for (; first != last; ++first) 
    init = std::move(init) + *first;

比这快

for (; first != last; ++first)
    init += *first;

template<class InputIt, class T>
T accumulate(InputIt first, InputIt last, T init)
{
    for (; first != last; ++first) {
        init = init + *first;
    }
    return init;
}

在C++20之后它变成了

template<class InputIt, class T>
constexpr // since C++20
T accumulate(InputIt first, InputIt last, T init)
{
    for (; first != last; ++first) {
        init = std::move(init) + *first; // std::move since C++20
    }
    return init;
}

我只是想知道，使用std：：move是否有任何真正的改进。

编辑2

#include <utility>
#include <chrono>
#include <iostream>

using ck = std::chrono::high_resolution_clock;

std::string
test_no_move(std::string str) {

    std::string b = "t";
    int count = 0;

    while (++count < 100000)
        str = std::move(str) + b;   // Without std::move

    return str;
}

std::string
test_with_move(std::string str) {

    std::string b = "t";
    int count = 0;

    while (++count < 100000)        // With std::move
        str = str + b;

    return str;

}

int main()
{
    std::string result;
    auto start = ck::now();
    result = test_no_move("test");
    auto finish = ck::now();

    std::cout << "Test without std::move " << std::chrono::duration_cast<std::chrono::microseconds>(finish - start).count() << std::endl;

    start = ck::now();
    result = test_with_move("test");
    finish = ck::now();

    std::cout << "Test with std::move " << std::chrono::duration_cast<std::chrono::microseconds>(finish - start).count() << std::endl;

    return 0;
}

Answer 1

对于具有非平凡move语义的类型，它可能更快。考虑累积std::vector 足够长的字符串：

std::vector<std::string> strings(100, std::string(100, ' '));

std::string init;
init.reserve(10000);
auto r = accumulate(strings.begin(), strings.end(), std::move(init));

对于不带std::move的累加,

std::string operator+(const std::string&, const std::string&);

将被使用。在每次迭代中，它将为产生的字符串分配堆上的存储，以便在下一次迭代时丢弃它。

std::string operator+(std::string&&, const std::string&);

without std::move
n_allocs = 199

with std::move
n_allocs = 0

对于像int这样的内置类型，move只是一个拷贝--没有什么可以移动的。对于优化的构建，很可能会得到完全相同的程序集代码。如果您的基准测试显示任何速度提高/下降，很可能您没有正确地进行（没有优化、噪声、代码优化掉了，等等）。