C++容器std::vector的swap()函数使用

std::vector中的常用函数:

  .clear();清空数据

  .size();当前vector容器内存储的元素的个数

  .capacity();当前vector容器重新分配内存之前所能容纳的元素数量

  .swap();函数交换

  .reserve();向系统预订一段足够的连续的空间

 

.swap用于释放内存:

  首先,vector与deque不同,其内存占用空间只会增长,不会减小。比如你首先分配了10,000个字节,然后erase掉后面9,999个,则虽然有效元素只有一个,但是内存占用仍为10,000个。所有空间在vector析构时回收。
  在用vector时,输入完一组数据处理完后,调用clear()进行清理,如果此时打印vector[0],会发现仍然输出之前vector所存的内容,但是如果调用.empty()函数又会返回1,告诉我们这个容器现在是空的,什么原因? 这是因为使用.clear()清空内容,但是没有释放内存的原因。举例如下:

 

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

int main()
{
	vector <int >a;
	cout<<a.empty()<<endl;//输出   1  代表该vector此时是空
	a.push_back(1);
	a.push_back(2);
	cout<<a[0]<<" "<<a[1]<<endl;//输出1 2
	cout<<a.empty()<<endl;//输出 0 代表该vector此时非空
	cout<<a.size()<<endl;//输出2
	cout<<a.capacity()<<endl;//输出2
	cout<<"***************"<<endl;
 
	//a[0]=NULL;a[1]=NULL; 这是赋值为0,并不清空数据,也不释放内存。
	a.clear();
	cout<<a[0]<<" "<<a[1]<<endl;//仍然输出1 2,因为没有释放内存,所以输出该地址的内容仍然与之前一样
	cout<<a.empty()<<endl;//输出1  代表该vector此时已经为空
	cout<<a.size()<<endl;//输出0,代表当前容器内存储元素个数是0,与.empty()类似,都告诉我们当前容器是空的意思
	cout<<a.capacity()<<endl;//输出2,代表当前该vector在重新分配存储空间前所能容纳的元素数量并没有改变
	cout<<"***************"<<endl;
 
	/*
	下面这五行说明,.pop_back()与.clear()起到了相同的作用,都是清空数据,但是没有释放内存
	while(!a.empty()){
		a.pop_back();
	}
	cout<<a.empty()<<endl;//输出 1 代表该vector此时已经为空
	cout<<a[0]<<" "<<a[1]<<endl;//仍然输出为 1 2,因为没有释放内存,所以输出该地址的内容仍然与之前一样
	*/
	a.push_back(4);
	cout<<a[0]<<" "<<a[1]<<" "<<a[2]<<endl;//输出 4 2 0   尽管没有释放内存,但是已经认为该vector已经被清空,所以再push_back();时,a[0]被覆盖。
	cout<<a.size()<<endl;//输出1,代表当前容器内存储元素个数是1,就是刚刚push_back();装进去的数起到的作用
	cout<<a.capacity()<<endl;//此时仍然输出2
	cout<<"***************"<<endl;

  在《effective STL》和其实很多C++文章中都有指明,用clear()无法保证内存回收。但是swap技法可以。 那么如何释放内存呢?我们用swap交换到一个新的类型的vector,将原来的a拷贝出去,然后自然销毁,而新的到的a是全新的没有存任何数据的。
具体方法如下所示:
 

vector<int>().swap(a);
//或者如下所示 加一对大括号都可以,意思一样的:
{
 std::vector<int> tmp;   
 ivec.swap(tmp);
}     
//加一对大括号是可以让tmp退出{}的时候自动析构

cout<<a.size()<<endl;//输出 0
cout<<a.capacity()<<endl;.// 输出 0
//cout<<a[1]<<endl;

 

.swap用于修剪掉多余空间:

  在一个应用中,可能会需要向一个vector中插入很多记录,比如说100000条,为了避免在插入过程中移动内存,咱实现向系统预订一段足够的连续的空间,例如:

vector<int> ivec;
ivec.reserve(100000);

  移动内存问题是解决了。但是如果后来这个vector不再需要存那么多的元素了,已经通过erase删除了。但是以前咱们预留的空间却无法被其他程序再度利用,这样会造成内存一定程度上的浪费。于是,我们利用目前的vector构造一个一模一样的vector,他并没有预留空间,于是以前预留的空间也被释放以作他用了:

ivec.swap(vector<int>(ivec)); 
// or vector<int>(ivec).swap(ivec)

此时vector占用的多余空间将被释放

或者如下所示 加一对大括号都可以,意思一样的:

  {
     std::vector<int> tmp = ivec;   
     ivec.swap(tmp);
  }     

  加一对大括号是可以让tmp退出{}的时候自动析构;使用这种方法的前提是vector从前存储了大量数据,比如10000000,经过各种处理后,现在只有100条,那么向清空原来数据所占有的空间,就可以通过这种交换技术swap技法就是通过交换函数swap(),使得vector离开其自身的作用域,从而强制释放vector所占的内存空间。对于容器的去重复操作类似:

std::vector<int> ModuleArr;
//排序
std::sort(ModuleArr.begin(), ModuleArr.end());
//去重
ModuleArr.erase(unique(ModuleArr.begin(), ModuleArr.end()), ModuleArr.end());

 

<think>好的,用户想了解C++中的std::swap函数。我需要先回想一下这个函数的基本信息。std::swapC++标准库中的一个函数模板,位于<algorithm>或<utility>头文件中。可能用户对头文件的位置不太确定,需要说明清楚。 首先,我应该解释std::swap的作用,也就是交换两个变量的值。可能需要举一个简单的例子,比如交换两个int变量的值,这样用户更容易理解。然后,要提到C++11之后的变化,比如头文件从<algorithm>移到<utility>,以及移动语义的引入,这对性能优化有帮助,特别是对于大型对象。 接下来,需要说明std::swap的实现机制。默认是使用拷贝构造和赋值操作,这可能对于复杂类型效率不高,但用户可以针对自己的类进行特化或者提供移动语义,优化交换操作。比如,可以提到std::vectorswap是如何高效实现的,直接交换内部指针,这样常数时间复杂度。 然后,可能需要区分std::swap容器自带的swap成员函数。例如,std::vector有自己的swap成员函数,和全局的std::swap有什么区别?需要指出成员函数可能更高效,而std::swap会调用移动操作或自定义特化版本。 还要注意用户可能的常见问题,比如自定义类如何优化swap,或者为什么有时候应该使用using std::swap再调用swap,而不是直接调用std::swap,这样可以利用ADL(参数依赖查找)找到更合适的重载。 另外,需要提醒用户在使用时包含正确的头文件,C++11之后应该使用<utility>,避免使用旧的头文件。同时,在泛型编程中,如何正确使用swap,比如通过using声明让编译器选择最合适的版本。 最后,可能需要给出一个代码示例,展示如何使用std::swap,以及自定义类的特化例子。不过用户没有要求代码,所以可能不需要详细写出来,但可以提到这些情况。 需要确保回答结构清晰,分点说明,帮助用户逐步理解。同时要检查是否有错误,比如头文件的位置,移动语义的支持版本,以及特化swap的正确方法。避免技术术语过多,但必要的术语需要解释清楚,比如移动语义,ADL等。 总结一下,回答的结构应该是:定义、基本用法、实现原理、优化方法、与成员函数的区别、使用注意事项,以及示例说明。这样用户能逐步了解std::swap的不同方面,满足不同层次的需求。</think>$\texttt{std::swap}$ 是 C++ 标准库中用于交换两个对象值的函数模板,以下是逐步说明: 1. **基本定义** - 位于头文件 $\texttt{<utility>}$ (C++11 起) 或 $\texttt{<algorithm>}$ (C++98) - 函数原型: ```cpp template< class T > void swap( T& a, T& b ) noexcept; ``` 2. **核心功能** - 通过三次移动构造/赋值操作交换值: $$ a \leftrightarrow b $$ - 示例: ```cpp int x = 10, y = 20; std::swap(x, y); // 结果:x=20, y=10 ``` 3. **实现原理** - 经典实现(C++11 前): ```cpp template <class T> void swap(T& a, T& b) { T temp = a; a = b; b = temp; } ``` - C++11 后优化为移动语义: $$ \text{temp} \leftarrow \text{std::move(a)} $$ $$ a \leftarrow \text{std::move(b)} $$ $$ b \leftarrow \text{std::move(temp)} $$ 4. **特化与优化** - 标准库已为 $\texttt{std::vector}$ 等容器提供高效特化版本(直接交换内部指针) - 自定义类型的优化方法: ```cpp class MyClass { public: friend void swap(MyClass& a, MyClass& b) { using std::swap; swap(a.data_, b.data_); // 递归调用最优swap } }; ``` 5. **重要特性** - **异常安全性**:被声明为 $\texttt{noexcept}$,要求类型移动操作不抛异常 - **复杂度**:对普通对象 $O(1)$,对数组 $O(n)$ - **ADL(参数依赖查找)** 优先原则: ```cpp using std::swap; swap(a, b); // 优先查找类型所在命名空间的swap ``` 6. **与成员函数对比** - 容器如 $\texttt{vector::swap}$ 直接交换内部数据指针($O(1)$ 时间复杂度) - 通用 $\texttt{std::swap}$ 可能触发三次移动操作,但对优化后的类型效率相同 **使用建议**: 1. 包含 $\texttt{<utility>}$ 头文件 2. 对自定义类型实现 $\texttt{swap}$ 特化以提高性能 3. 在泛型代码中使用 ADL 模式调用: ```cpp template<typename T> void process(T& a, T& b) { using std::swap; swap(a, b); } ``` 此函数C++ 中实现值交换的标准方法,理解其底层机制有助于编写高效的泛型代码。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值