c++学习心得

仅用于记录平时学习的心得，经常更新

迭代器

1. iterator优先于const_iterator，reverse_iterator，const_reverse_iterator，因为基本上大多数容器函数都是以iterator为参数，不支持其它三种迭代器，iterator转为const_iterator比较方便，但是反过来转换编译器就会报错，即使使用const_cast也无济于事，所以尽量还是优先使用iterator，如果真的得到了一个const_iterator，函数却需要iterator，可以使用advance和distance搭配来"转换".

using IntDeque = deque<int>;
using Iter = IntDeque::iterator;
using ConstIter = IntDeque::const_iterator;

IntDeque d;
ConstIter ci;
Iter i(d.begin());
advance(i, distance<ConstIter>(i, ci));

distance用于取得两个指向同一个容器的迭代器之间的距离
advance用于将一个迭代器移动指定的距离
注意这里distance使用了模板，需要显式指明参数类型，将两个迭代器统一看成了一种迭代器，如果指明类型，以上将是两种迭代器，模板推导出错，编译失败。
至于这种转换的效率如何，取决于迭代器是随机访问迭代器还是其它双向迭代器等。

2. reverse_iterator转成iterator的一些问题，需要明白转为iterator的目的，用于插入操作还是用于删除操作，用于插入操作比较方便，直接调用base()函数转换再插入即可，这里涉及到转换后位置下标对应的问题，需要画图说明(不会markdown画图)，网上搜base()位置的问题即可，如果涉及删除操作需要将迭代器首先递增一次再转换删除.

vector<int> v;
vector<int>::reverse_iterator ri;
v.erase((++ri).base());

3. istreambuf_iterator vs istream_iterator， 对于逐个字符的输入考虑使用istreambuf_iterator，该迭代器是直接从流的缓冲区中读去下一个字符，速度快，istream_iterator类似于>>操作符，这会忽略空格字符，而且这个迭代器会考虑很多，会检查很多异常情况，如果只是想从输入流中读取一些字符，大材小用而且效率低，如果想要禁止忽略空格可以设置

ifstream file("xxx.txt");
file.unsetf(ios::skipws);
string fileData((istream_iterator<char>(file)), istream_iterator<char>());

而直接使用istreambuf_iterator因为直接从缓冲区里读，不会忽略任何字符

ifstream file("xxx.txt");
string fileData((istreambuf_iterator<char>(file)), istreambuf_iterator<char>());

算法

1. transform

int func(int x);
vector<int> values;
vector<int> results;
transform(values.begin(), values.end(), back_inserter(results), func);

这段代码是对values的每个元素执行func函数，把结果插入到results尾部
back_inserter适用于支持push_back的容器
front_inserter适用于支持push_front的容器

2. 排序stl的选择

• 如果需要对vector, string, deque或数组中元素进行全排序，可以使用sort或者stable_sort.
• 对vector, string, deque或数组这种支持随机访问迭代器的数据结构，如果只需要找出前n个元素，并且这n个元素是有顺序的，可以使用partial_sort.
• 对vector, string ,deque或数组这种，如果只需要找出前n个元素，但是不关心这n个元素的顺序，不需要这n个元素是有序的，可以使用nth_element.
• 如果需要将一个标准序列容器中的元素按照是否满足某个特定条件区分开来，例如找出前20%的元素，可以使用partition或stable_partition
• 对于list，仍然可以使用partition和stable_partition算法，可以用list::sort替代sort和stable_sort，但是不支持partial_sort和nth_element，这种算法只支持随机访问迭代器。

3. remove函数，remove只是将要删除的元素移到了最后，并没有真正的删除，真正删除需要再调用erase.

// 一般如下调用
vector<int> v;
v.erase(remove(v.begin(), v.end(), 5), v.end());
cout << v.size();

但是list是个例外，list中的remove是真的删除，list中的unique也类似，也是真的删除元素。

模板型别推导规则

以如下形式举例
template<typename T>
void f(ParamType param);

f(expr);

共分三种情况：

• ParamType是指针或者引用但不是万能引用

template<typename T>
void f(T& param);

int x = 1; // x类型int
const int cx = x; // cx类型const int
const int &rx = x; // rx类型const int&

f(x); // T的类型是int, param类型是int&
f(cx); // T的类型是const int，param类型是const int&
f(rx); // T的类型是const int，param类型是const int&
//当ParamType是指针或引用时，引用特性在推导过程中是被忽略的。

template<typename T>
void f(const T& param);
int x = 1;
const int cx = x;
const int &rx = x;

f(x); // T的类型是int, param类型是const int&
f(cx); // T的类型是int，param类型是const int&
f(rx); // T的类型是int，param类型是const int&
//当ParamType是指针或引用时，引用特性在推导过程中是被忽略的。
// 同理，由于param已经具有const特性，所以在推导过程中const属性也会被忽略。

template<typename T>
void f(T* param);
int x = 1;
const int *px = &x;
f(&x); // T的类型int, param类型int*
f(px);  // T的类型是const int , param类型const int*

• ParamType是万能引用类型
  即

template<typename T>
void f(T&& param);
f(expr);
// 如果expr是个左值，则T和paramtype都会推导为左值引用
// 如果expr是个右值，正常推导
int x = 2;
const int cx = x;
const int& rx = x;

f(x); // x 是左值， T的类型为int&, param 为 int&
f(cx); cx : lvalue, T : const int&, param: const int&
f(rx);rx : lvalue, T: const int&, param: const int&
f(2);2: rvalue, T: int, param : int &&

• ParamType既不是指针也不是引用

template<typename T>
void f(T param); // param 为值传递
f(expr);
// 因为是值传递，所以expr的所有修饰特性都会被忽略，const, 引用，volatile等，都被忽略

int x = 2;
const int cx = x;
const int& rx = x;
f(x); // T : int, param : int
f(cx); // T : int, param : int
f(rx); // T : int , param : int