c – 有效积累

假设我有字符串向量,我想通过std :: accumulate连接它们.

如果我使用以下代码：

std::vector<std::string> foo{"foo","bar"};
String res=""; 
res=std::accumulate(foo.begin(),foo.end(),res,[](String &rs,String &arg){ return rs+arg; });

我可以肯定会有临时对象构造.

在this回答他们说std :: accumulate的效果是这样指定的：

所以我想知道这样做的正确方法是什么,以避免不必要的临时对象构造.

一个想法是以这种方式改变lambda：

[](String &rs,String &arg){ rs+=arg; return rs; }

在这种情况下,我认为我强制有效串联字符串并帮助编译器(我知道我shouldn’t)省略了不必要的副本,因为这应该等同于(伪代码)：

accum = [](& accum,& arg){ ...; return accum; }

因此

accum = & accum;

另一个想法是使用

accum = [](& accum,& arg){ ...; return std::move(accum); }

但这可能会导致类似于：

accum = std::move(& accum);

这看起来很可疑.

写这个的正确方法是什么,以尽量减少不必要的临时对象创建的风险？我不只是对std :: String感兴趣,我很乐意有一个解决方案,这可能适用于任何具有复制和移动构造函数/赋值的对象.

res=std::accumulate(foo.begin(),const String &arg) -> String & { return rs+=arg; });

std::string::size_type n = std::accumulate( foo.begin(),std::string::size_type( 0 ),[] ( std::string_size_type n,const std::string &s ) { return ( n += s.size() ); } );

res.reserve( n );