【模板】对于vector容器底层和空间配置器中右值引用的理解(std::move()和std::forwad())

本文通过实现简单的Allocator、vector和string容器,探讨右值引用在C++中的作用,特别是在容器底层如push_back()及空间配置器中的应用。通过使用std::move和std::forward优化拷贝构造过程,提高效率,同时介绍模板如何实现对左值和右值的自动识别,确保类型匹配和正确转发。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

【1】先简单实现一个空间配置器Allocator

template<typename T>
struct Allocator
{
   
   
	T* allocate(size_t size) 			// 负责内存开辟
	{
   
   
		return (T*)malloc(sizeof(T) * size);
	}
	void deallocate(void *p) 			// 负责内存释放
	{
   
   
		free(p);
	}
	void construct(T *p, const T &val) 	// 负责对象构造
	{
   
   
		new (p) T(val); 	// 定位new
	}
	void destroy(T *p) 					// 负责对象析构
	{
   
   
		p->~T(); 			// ~T()代表了T类型的析构函数
	}
};

【2】自己实现一个简单的vector容器

/****************************************************************************
=============================================================================
注意:容器底层凡是涉及内存开辟,内存释放,对象构造和析构,都通过allocator空间配置器来实现
=============================================================================
****************************************************************************/
template<typename T, typename Alloc = Allocator<T>>

class vector
{
   
   
public:
	vector(int size = 10)
	{
   
   
		// 需要把内存开辟和对象构造分开处理
		//_first = new T[size];
		_first = _allocator.allocate(size);
		_last = _first;
		_end = _first + size;
	}
	~vector()
	{
   
   
		// 析构容器有效的元素,然后释放_first指针指向的堆内存
		// 非delete[]_first;
		for (T *p = _first; p != _last; ++p)
		{
   
   
			_allocator.destroy(p); 		// 把_first指针指向的数组的有效元素进行析构操作
		}
		_allocator.deallocate(_first); 	// 释放堆上的数组内存
		_first = _last = _end = nullptr;
	}
	vector(const vector<T> &rhs)	//拷贝构造函数
	{
   
   
		int size = rhs._end - rhs._first;
		//非_first = new T[size];
		_first = _allocator.allocate(size);
		int len = rhs._last - rhs._first;
		
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值