C++STL容器扩容的效率问题

C++STL容器扩容的效率问题

这里以STL中的vector容器举个例子，vector初始化时的容量是比较小的（在不使用reserve的情况下），当需要扩容时，需要把之前所有的元素都通过拷贝构造函数的方式拷贝到新的内存空间中，这样的效率是比较低的。

看下面这段代码：

#include<iostream>
#include<vector>
using namespace std;

class A{
public:
    int val;
    A(int n){
        val = n;
        cout<<"A construct function. val="<<val<<endl;
    }
    A(const A &a){
        val = a.val;
        cout<<"A copy construct function. val="<<val<<endl;
    }
    ~A(){
        cout<<"A destory function. val="<<val<<endl;
    }
}; 



int main(){
    vector<A> vec;
    cout<<"----------"<<endl;
    for(int i=0;i<10;i++){
        cout<<"加入第"<<i+1<<"个元素："<<endl;
        vec.emplace_back(i+1);
    }
    return 0;
}

运行输出的结果为：

----------
加入第1个元素：
A construct function. val=1
加入第2个元素：
A construct function. val=2
A copy construct function. val=1
A destory function. val=1
加入第3个元素：
A construct function. val=3
A copy construct function. val=1
A copy construct function. val=2
A destory function. val=1
A destory function. val=2
加入第4个元素：
A construct function. val=4
加入第5个元素：
A construct function. val=5
A copy construct function. val=1
A copy construct function. val=2
A copy construct function. val=3
A copy construct function. val=4
A destory function. val=1
A destory function. val=2
A destory function. val=3
A destory function. val=4
加入第6个元素：
A construct function. val=6
加入第7个元素：
A construct function. val=7
加入第8个元素：
A construct function. val=8
加入第9个元素：
A construct function. val=9
A copy construct function. val=1
A copy construct function. val=2
A copy construct function. val=3
A copy construct function. val=4
A copy construct function. val=5
A copy construct function. val=6
A copy construct function. val=7
A copy construct function. val=8
A destory function. val=1
A destory function. val=2
A destory function. val=3
A destory function. val=4
A destory function. val=5
A destory function. val=6
A destory function. val=7
A destory function. val=8
加入第10个元素：
A construct function. val=10
A destory function. val=1
A destory function. val=2
A destory function. val=3
A destory function. val=4
A destory function. val=5
A destory function. val=6
A destory function. val=7
A destory function. val=8
A destory function. val=9
A destory function. val=10

从上述的输出可以看出，vector的初始容量为1，下一次扩容变成2，再扩容成4,…，规律都是2的幂次。

vector的每一次扩容都会调用原有函数的拷贝构造函数和析构函数，造成效率低下。较好的方法是初始化容器的时候使用reserve预先开足够大的空间。

例如：

#include<iostream>
#include<vector>
using namespace std;

class A{
public:
    int val;
    A(int n){
        val = n;
        cout<<"A construct function. val="<<val<<endl;
    }
    A(const A &a){
        val = a.val;
        cout<<"A copy construct function. val="<<val<<endl;
    }
    ~A(){
        cout<<"A destory function. val="<<val<<endl;
    }
}; 

int main(){
    vector<A> vec;
    vec.reserve(10);
    cout<<"----------"<<endl;
    for(int i=0;i<10;i++){
        cout<<"加入第"<<i+1<<"个元素："<<endl;
        vec.emplace_back(i+1);
    }
    return 0;
}

运行输出的结果为：

----------
加入第1个元素：
A construct function. val=1
加入第2个元素：
A construct function. val=2
加入第3个元素：
A construct function. val=3
加入第4个元素：
A construct function. val=4
加入第5个元素：
A construct function. val=5
加入第6个元素：
A construct function. val=6
加入第7个元素：
A construct function. val=7
加入第8个元素：
A construct function. val=8
加入第9个元素：
A construct function. val=9
加入第10个元素：
A construct function. val=10
A destory function. val=1
A destory function. val=2
A destory function. val=3
A destory function. val=4
A destory function. val=5
A destory function. val=6
A destory function. val=7
A destory function. val=8
A destory function. val=9
A destory function. val=10

移动构造函数

当STL中保存的元素中包含着无法被拷贝的资源时，例如申请的内存空间、IO资源等等。这时如果我们使用拷贝构造函数去构造新对象，需要重新申请内存，这样的效率会比较低，因此我们可以使用移动构造函数，接管原来对象的资源。