(1)面向对象编程(OOP)与泛型编程(GP)之间的区别:
OOP试图将datas与methods关联在一起,为此在OOP中,将数据与操作放置在同一个类中,同时设定了类之间的继承关系。
GP则是将datas与methods分离。例如sort没有被定义为类内的成员函数,而是将其归入STL的算法中,作为一个全局函数存在。算法和容器之间利用迭代器进行关联。
采用GP编码:
<1>Containers和Algorithms彼此之间不存在交叉,两者可以单独进行开发,只需要利用Iterator进行沟通即可。
<2>Algorithms可以通过Iterators确定其操作范围,并且可以通过Iterators取用Container中的元素。
在上述例子中,可以看出两个max函数一个使用了编译器自带的<操作,而另一个使用仿函数comp自定义比较规则。对于所有Algorithms,其中最终涉及元素本身的操作,无非就是比较大小。由于上述函数利用了模板,因此应当注意所传入的类型T应当能够支持进行相对应的比较操作,否则则需要对比较操作运算符进行重载。
对于操作符重载应该注意:并不是所有的操作符都能够被重载。重载之后的操作符函数可以被作为一个全局函数,也可以被作为一个成员函数。
(2)模板
<1>类模板:注意其关键字template。其中的T类型不确定,在模板被使用时确定其具体类型。
<2>函数模板:其关键字template。在使用时,编译器会对函数模板进行实参推导,确定模板中T的具体类型。
<3>成员模板
(3)模板的特化
特化可以被分为全特化与偏特化。
<1>一个被泛化的模板为:
template
struct A{…..}
经过全特化后为:
template<>struct A{…..}
template<>struct A{…..}
<2>偏特化也被称为局部特化。
template
class vector{......};
实施偏特化后:
template
class vector{......};
上述偏特化为个数的偏特化。
template
struct A{…..};
能够接受任意类型的type。将其进行范围的偏特化,使其只能够接受固定类型的type。
template
struct A{…..};
template
struct A{…..};
(4)分配器allocators
分配器所分配内存是使用operator new()和malloc()函数完成容器所需要的内存的分配。
通过上图可以看出,通过分配器所分配的内存比实际所需要的内存数量要大,其中包括cookie等额外所分配的控件。所需要分配的控件越小,则其所额外分配的内存在总体内存中所占用的比例越大。本周课堂上所比较的几种编译器只是以::operator new和::operator delete完成allocate()和deallocate(),没有任何特殊的设计.。
可以利用allocator()完成临时对象的创建。
int* p = allocator().allocate(512,(int*)0);
其中必须指定所分配的内存的大小。同时在进行内存释放时:
allocator().deallocate(p,512);
释放内存时必须同时给出所分配的内存数目。
在G4.9所附带的标准库中,有许多extention allocators(附加类型的分配器)。
其中__pool_alloc就是G2.9中的alloc。
(5)List
list容器是一种双向的链表,因此其节点除了存放数据之外,还存在一个向前的指针和一个向后的指针。
template
struct __list_node{
typedef void* void_pointer;
void_pointer prev;
void_pointer next;
T data;
}
由此可知list容器的迭代器的结构如下:
template
struct __list_iterator{
typedef T value_type;
typedef Ptr pointer;
typedef Ref reference;
……
}
除了vector和array之外。其余容器的迭代器都应当是一个class,也就是一个智能指针。
迭代器的++++和----操作:
前++为:
self& operator++()
{
node= (link_type)((*node).next);
return *this;
}
后++为:
self operator++(int)
{
self tmp = *this; //记录原值
++*this; //进行操作
return tmp;//返回原值
}
本次编程作业中要求打印中间元素:
Index = (ListData.size()) / 2;
for(iList = ListData.begin(); iList != ListData.end();++++iList)
{
----Index;
if(Index == 0)
{
cout<< "中间元素为:" << *iList << endl ;
break;
}
}
使用++++能够得到正确的节点值,而++得到的是正确节点的前一个节点值。
(6)Traits
iterator需要遵循的原则
std::rotate(__first,__middle,__last,std::iterator_category(__first));
在上例中,rotate()需要知道iterators的三个associated types。
iterators必须有能力回答algorithms的提问。这样的提问在C++标准库开发过程中设计了五种:category:种类;difference_type;距离;value_type:值类型;reference;pointer。
如果iterator不是一个class,也就是说此时iterator是一个原生指针,这时的iterator被称为退化的。
Iterator Traits用以分离class iterators和non—class iterators。
(7)容器vector
Vector容器的容积以二倍增长的形式增长。
Vector容器的迭代器就是一个原生指针。
(8)容器array
Array在C++11后,被添加至容器中。定义一个array必须指定其长度,一旦定义,array无法自动变更容积。
(9)forward_list容器
作者:游在路上的鱼
链接:http://www.jianshu.com/p/2ad200d9a018
來源:简书
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。