从 c++ STL之从vector的resize和reserve看vector的源码实现

 

基本用法

reserve是容器预留空间，但并不真正创建元素对象，在创建对象之前，不能引用容器内的元素，因此当加入新的元素时，需要用push_back()/insert()函数。

resize是改变容器的大小，并且创建对象，因此，调用这个函数之后，就可以引用容器内的对象了.

再者，两个函数的形式是有区别的，reserve函数之后一个参数，即需要预留的容器的空间；resize函数可以有两个参数，第一个参数是容器新的大小，第二个参数是要加入容器中的新元素，如果这个参数被省略，那么就调用元素对象的默认构造函数.

 

Test Code:

定义class：

#pragma once
#include <iostream>
#include <vector>
class checkSTDVector
{
public:
	checkSTDVector() {
		std::cout << "checkSTDVector::checkSTDVector() \n";
	}
	checkSTDVector(int a):mA(a) {
		std::cout << "checkSTDVector::checkSTDVector() No default \n";
	}
	~checkSTDVector(){
		std::cout << "checkSTDVector::~~checkSTDVector() \n";
	}

	checkSTDVector(const checkSTDVector& val) {
		std::cout << "checkSTDVector::Copy constructor! \n";
		if (this !=  &val)
		{
			this->mA = val.mA;
		}	
	}



	void Test() {
		std::cout << "mA="<<mA << std::endl;
	}
private:
	int mA = 0;
};

test1:

int main_checkSTDVector() {

	std::vector<checkSTDVector> vec;

	vec.reserve(6);//不会触发任何构造函数
	std::cout << "size=" << vec.size() << " capacity=" << vec.capacity() << std::endl;

	std::cout << "================== \n \n";

	vec.resize(3);//调用3次默认构造函数
	std::cout << "size=" << vec.size() << " capacity=" << vec.capacity() << std::endl;
	std::cout << "addr of vector=" << &vec << std::endl;
	std::cout << "addr of vector[0]=" << &vec[0] << std::endl;
	std::cout << "================== \n \n";

	/*
	调用7次默认构造函数,3次复制构造函数， 3次析构函数。
	推测：capacity需要从6变到10， 需要重新为整个vector开辟一个包括10个obj的空间(经验证，addr of vector[0]总是变化，
	addr of vector不变，因为vector对象内部存储了多个元素，可能是vector类有一个指针指向这片空间,而这片空间随着vector的
	大小的变化要不断重新分配)
	同时，保证新空间中的前三个obj与原先的相同，从而调用3次复制构造函数； 剩余的7个obj对应7次默认构造函数；

	嗯， 经过验证，如果将下面vec.resize(10) 改为vec.resize(10,checkSTDVector(1)) 则会调用10次复制构造函数，即10个新
	元素都用checkSTDVector(1)进行初始化，旧的三个全部析构掉。
	*/
	vec.resize(10);
	///vec.resize(10,checkSTDVector(1));
	vec[9].Test();//output 0
	std::cout << "size=" << vec.size() << " capacity=" << vec.capacity() << std::endl;
	std::cout << "addr of vector =" << &vec << std::endl;
	std::cout << "addr of vector[0]=" << &vec[0] << std::endl;

	std::cout << "ending ============ \n \n";
	//最后，进程退出时，调用10次析构函数。
	return 0;
}

 

test2:

int main() {

	std::vector<checkSTDVector> vec;

	/*
	原型：void resize (size_type n, const value_type& val);
	调用一次构造函数,构造出一个临时对象，然后以引用的方式传给resize函数的第二个入参，
	然后，调用10次复制构造函数，构造出10个元素；
	最后，临时对象被析构。
	*/
	vec.resize(10, checkSTDVector(1));
	vec[9].Test();
	std::cout << "size=" << vec.size() << " capacity=" << vec.capacity() << std::endl;

	std::cout << "================== \n \n";
	vec.resize(2);//调用8次析构函数！ 既resize保证了vector内部的实例的个数为其入参。
	std::cout << "size=" << vec.size() << " capacity=" << vec.capacity() << std::endl; //capacity仍然为10

	std::cout << "================== \n \n";
	vec.resize(4); //resize为4， 当前已经有2个，即再增加2个，调用2次默认构造函数
	vec[2].Test();//output 0
	vec[0].Test();//output 1

	std::cout << "ending ============ \n \n";
	//最后，进程退出时，剩余的4个元素被析构，调用四次析构函数。

	return 0;
}

 

std::vector的源码实现

<stl源码剖析>

https://www.cnblogs.com/yocichen/p/10574819.html