为什么在变换/复制矢量的同时复制这么多

why so many copying while transforming/copying vector

本文关键字：复制 变换 为什么      更新时间：2023-10-16

为什么有这么多复制cons的调用，我预计只有最后九个？甚至根本不需要返回值优化。

struct C
{
    int _i;
    C(int i) : _i(i) {}
    C(const C& other) { cout << "copy cons from " << other._i << " to " << _i << endl; _i = other._i; }
};
int _tmain(int argc, _TCHAR* argv[])
{
    vector<int> vi{ 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    vector<C> vc;
    transform(vi.begin(), vi.end(), back_inserter(vc), 
        [](int i) 
    { 
        return C(i); 
    });
}

输出：

copy cons from 1 to - 842150451
copy cons from 1 to - 842150451
copy cons from 2 to - 842150451
copy cons from 1 to - 842150451
copy cons from 2 to - 842150451
copy cons from 3 to - 842150451
copy cons from 1 to - 842150451
copy cons from 2 to - 842150451
copy cons from 3 to - 842150451
copy cons from 4 to - 842150451
copy cons from 1 to - 842150451
copy cons from 2 to - 842150451
copy cons from 3 to - 842150451
copy cons from 4 to - 842150451
copy cons from 5 to - 842150451
copy cons from 6 to - 842150451
copy cons from 1 to - 842150451
copy cons from 2 to - 842150451
copy cons from 3 to - 842150451
copy cons from 4 to - 842150451
copy cons from 5 to - 842150451
copy cons from 6 to - 842150451
copy cons from 7 to - 842150451
copy cons from 8 to - 842150451
copy cons from 9 to - 842150451

您的向量vc必须增长几倍。每次这样做时，它都会分配一个更大的内存块，并复制原始元素。

您可以通过使用std::vector::reserve保留足够的空间来阻止它这样做。

vector<C> vc;
vc.reserve(vi.size());

从程序输出中可以看出，当一个新元素被添加到向量中时，内存会被重新分配，向量中已经存在的元素会被复制到新的位置。

您可以在运行算法之前保留足够的内存，以避免内存重新分配。

vector<C> vc;
vc.reserve( vi.size() );

在这种情况下，可以避免复制构造函数的重复调用。

但这并不是故事的全部

C类有一个转换构造函数

C(int i) : _i(i) {}

它允许通过将使用lambda表达式的算法std::transform的调用替换为算法std::copy而不使用lambda表达来简化向量vc的元素的创建。例如

std::copy( vi.begin(), vi.end(), std::back_inserter( vc ) );

但即使这样也不是故事的全部

当使用std::transform或std::copy时，会使用两个构造函数：带参数的构造函数和复制构造函数。

你可以避免使用副本解释符，从而获得更有效的结果。简单地说，用emplace_back 方法代替push_back方法更好

如何使用这种方法？

最简单的方法是使用基于范围的语句

for ( int x : vi ) vc.emplace_back( x );

它足够清晰易读。

如果你想使用标准算法，你可以写

std::for_each( vi.begin(), vi.end(), [&vc]( int x ) { vc.emplace_back( x ); } );

在这两种情况下，只会调用带有参数的构造函数，避免调用复制构造函数。

自己检查一下。：）

相关文章：