C++高频知识总结 p2

高频知识

1.智能指针

包含在头文件中，shared_ptr，unique_ptr，weak_ptr；

auto_ptr：

auto_ptr事实上是一个类，在构造对象时获取对象的管理权，
无需考虑释放动态内存开辟的空间，在析构函数中直接释放，不会出现内存泄漏的问题。它不支持拷贝构造与赋值，但不会报错。

缺陷：
1.一个指针变量指向的空间不能由两个auto_ptr管理，不然会析构两次，使程序崩溃。（不推荐使用）
2.auto_ptr的拷贝构造，将源指针的管理权交给目标指针，会使得源指针悬空，解引用是会出现很多问题
3.auto_ptr不能用来管理数组，析构函数中用的是delete

unique_ptr：

“唯一”拥有其所指对象，同一时刻只能有一个unique_ptr指向给定对象（通过禁止拷贝语义、只有移动语义来实现）。

相比与原始指针unique_ptr用于其RAII的特性，使得在出现异常的情况下，动态资源能得到释放。unique_ptr指针本身的生命周期：从unique_ptr指针创建时开始，直到离开作用域。离开作用域时，若其指向对象，则将其所指对象销毁(默认使用delete操作符，用户可指定其他操作)。unique_ptr指针与其所指对象的关系：在智能指针生命周期内，可以改变智能指针所指对象，如创建智能指针时通过构造函数指定、通过reset方法重新指定、通过release方法释放所有权、通过移动语义转移所有权。

#include <iostream>
#include <memory>

int main() {
    {
        std::unique_ptr<int> uptr(new int(10));  //绑定动态对象
        //std::unique_ptr<int> uptr2 = uptr;  //不能賦值
        //std::unique_ptr<int> uptr2(uptr);  //不能拷貝
        std::unique_ptr<int> uptr2 = std::move(uptr); //轉換所有權
        uptr2.release(); //释放所有权
    }
    //超過uptr的作用域，內存釋放
}

shared_ptr：

shared_ptr多个指针指向相同的对象。shared_ptr使用引用计数，每一个shared_ptr的拷贝都指向相同的内存。每使用他一次，内部的引用计数加1，每析构一次，内部的引用计数减1，减为0时，自动删除所指向的堆内存。shared_ptr内部的引用计数是线程安全的，但是对象的读取需要加锁。

但是，shared_ptr也有一个致命的缺点，就是会出现循环引用
Shared_ptr 会出现循环引用的情况，week_ptr——为了解决循环引用的问（和shared_ptr配合使用）。

2.vector删除元素

链接: vector删除元素.
如果直接遍历删除会导致迭代器失效，不能正确删除元素，可以采用以下方法：

1. 重置迭代器为begin，但是这样写增加时间复杂度：

for (vector<int>::iterator it = nums.begin(); it != nums.end();) {
    if (*it == 2) {
        nums.erase(it);
        it = nums.begin();
    } else {
        ++it;
    }
}

2.让it指向下一个元素
我们发现erase函数的返回值是指向当前被删除元素的下一个元素的迭代器。那么我们把这个返回值赋值给it：

for (vector<int>::iterator it = nums.begin(); it != nums.end();) {
    if (*it == 2) {
        it = nums.erase(it);
    } else {
        ++it;
    }
}

3.利用迭代器删除元素

（1）对于关联容器（如map，set，multimap，multiset），删除当前的iterator，仅仅会使当前的iterator失效，只要在erase时，递增当前的iterator即可。这是因为map之类的容器，使用了红黑树来实现，插入，删除一个结点不会对其他结点造成影响。使用方式如下例子：set valset = { 1,2,3,4,5,6 };
可以删除，但是删除时需要iterator++。

1.	set<int>::iterator iter;  
2.	for (iter = valset.begin(); iter != valset.end(); )  
3.	{  
4.	     if (3 == *iter)  
5.	          valset.erase(iter++);  
6.	     else  
7.	          ++iter;  
8.	}  

（2）对于序列式容器（如vector，deque，list等），删除当前的iterator（所指向的元素）会使后面所有元素的iterator都失效。这是因为vector，deque使用了连续分配的内存，删除一个元素导致后面所有的元素会向前移动一个位置。不过erase方法可以返回下一个有效的iterator。使用方式如下,例如：vector val = { 1,2,3,4,5,6 };
可以删除，但是iterator失效，erase会自动返回下一个有效的迭代器。

1.	vector<int>::iterator iter;  
2.	for (iter = val.begin(); iter != val.end(); )  
3.	{  
4.	     if (3 == *iter)  
5.	          iter = val.erase(iter);     //返回下一个有效的迭代器，无需+1  
7.	      else  
8.	          ++iter;  
9.	}  

4.纯虚函数

纯虚函数是在基类中声明的虚函数，它在基类中没有定义，但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后加“=0”　virtual void funtion1()=0
引入原因：　　
1、为了方便使用多态特性，我们常常需要在基类中定义虚拟函数。　　
2、在很多情况下，基类本身生成对象是不合情理的。例如，动物作为一个基类可以派生出老虎、孔雀等子类，但动物本身生成对象明显不合常理。　　
为了解决上述问题，引入了纯虚函数的概念，将函数定义为纯虚函数。

5.函数指针

链接: C/C++ 函数指针.
函数指针是指向函数的指针变量。 因此“函数指针”本身首先应是指针变量，只不过该指针变量指向函数。

扩展：函数指针和指针函数的区别？

他们只是名字比较像。函数指针是指向函数的指针变量。本质是一个指针。
而指针函数是返回值为指针的一个函数，本质是一个函数。

声明方法：
返回值类型 ( * 指针变量名) ([形参列表]);

int func(int x); /* 声明一个函数 */
int (*f) (int x); /* 声明一个函数指针 */
f=func; /* 将func函数的首地址赋给指针f */

或者：

f = &func;

6.类成员函数的函数指针

转载：C++ 类成员函数的函数指针
成员方法函数指针语法：

void(ClassA::*Ctest)() = ClassA::&Ctest;