内存分配和释放

STL中有两个分配器,一级分配器和二级分配器,默认使用二级分配器,使用二级分配器分配大内存时会调用一级分配器去执行,一级分配器使用malloc和free分配和释放内存。如果分配小内存那么二级分配器会从内存池中进行查找,防止malloc/free的开销。

为了了解原理,不深挖细节,只实现一级分配器也是可以的:

  1. class first_level_alloc {
  2. public:
  3.     static void* allocate(size_t n) {
  4.         void* result = malloc(n); //直接使用malloc
  5.         //todo: out of memory handler
  6.         return result;
  7.     }
  8.     static void deallocate(void* p, size_t) {
  9.         free(p); //直接使用free
  10.     }
  11. };

一级分配器,直接调用malloc和free分配和释放内存。这里也没有处理分配失败的情况。

为了方便使用定义一个包装类:

  1. template <typename T, typename Alloc>
  2. class simple_alloc {
  3. public:
  4.     static T* allocate(size_t n) {
  5.         return (0 == n) ? nullptr : static_cast<T *>(Alloc::allocate(n * sizeof(T)));
  6.     }
  7.     static T* allocate() {
  8.         return static_cast<T *>(Alloc::allocate(sizeof(T)));
  9.     }
  10.     static void deallocate(T *p, size_t n) {
  11.         if (0 != n) {
  12.             Alloc::deallocate(p, n * sizeof(T));
  13.         }
  14.     }
  15.     static void deallocate(T *p) {
  16.         Alloc::deallocate(p, sizeof(T));
  17.     }
  18. };

对外使用这个包装类模板参数T指定要分配的对象类型,Alloc指定分配器,因为没有实现二级分配器,所以都是指定为一级分配器first_level_alloc。

对象的构造和析构

定义如下三个函数:

  1. template <typename T>
  2. inline void construct(T* p, const T& value) {
  3.     new(p) T(value); //placement new
  4. }
  5. template <typename T>
  6. inline void destroy(T *p) {
  7.     p->~T();
  8. }
  9. //todo:low efficiency
  10. template <typename ForwardIterator>
  11. inline void destroy(ForwardIterator first, ForwardIterator last) {
  12.     for (; first != last; ++first) {
  13.         destroy(&*first);
  14.     }
  15. }
  1. void construct(T* p, const T& value):在p指向的位置用value拷贝构造T对象并返回。这里用到了placement new。
  2. void destroy(T *p):析构p指向处的T对象。
  3. void destroy(ForwardIterator first, ForwardIterator last):析构[first, last)区间的对象。这里没有考虑效率,直接使用for循环调用destroy。STL库中使用模板特例化,根据迭代器指向的类型有没有trivial destructor,执行不同的特例化版本。如果有trivial destructor,比如内置类型,那么什么也不用做。如果有non-trivial destructor才调用上述的那个版本。

traits要解决的问题

假如算法中要声明“迭代器所指类别”的变量,该怎么办?

内嵌类别声明解决非指针迭代器的情况

  1. template <typename T>
  2. struct MyIter { //模拟迭代器类型
  3. typedef T value_type; //内嵌类别声明
  4. T* ptr;
  5. MyIter(T* p = 0) :ptr(p) {}
  6. T& operator*() const {
  7. return *ptr;
  8. }
  9. };
  10. template <typename I>
  11. typename I::value_type //返回类型为迭代器指向的类型
  12. func(I ite) { //该函数传入一个指针,返回指针指向的值。
  13. return *ite;
  14. }
  15. int main() {
  16. MyIter<int> ite(new int(8));
  17. cout << func(ite);
  18. }

MyIter模拟迭代器,T是迭代器所指的类型,通过在迭代器内typedef T value_type;后,就能用MyIter::value_type定义T类型的变量。

上面的方法解决了一部分问题,但是普通指针也是迭代器类型,我们没办法给指针应用上面的方法。比如上面的func,如果我们传入一个指针,肯定无法通过编译。

使用模板特例化解决普通指针的情况

  1. template <typename T>
  2. struct MyIter {
  3. typedef T value_type;
  4. T* ptr;
  5. MyIter(T* p = 0) :ptr(p) {}
  6. T& operator*() const {
  7. return *ptr;
  8. }
  9. };
  10. template <typename I>
  11. struct iterator_traits { //针对普通迭代器的模板类
  12. typedef typename I::value_type value_type;
  13. };
  14. template <typename I>
  15. struct iterator_traits<I*> { //针对指针类型的模板特例化
  16. typedef I value_type;
  17. };
  18. template <typename I>
  19. typename iterator_traits<I>::value_type
  20. func(I ite) { //该函数返回迭代器或这种指向的值
  21. return *ite;
  22. }
  23. int main() {
  24. MyIter<int> it(new int(8));
  25. int* ip = new int(8);
  26. std::cout << func(ip) << std::endl;
  27. std::cout << func(it);
  28. }

这里定义了一个模板类iterator_traits,实际使用时iterator_traits<I>::value_type就是迭代器I所指的类型,如果是迭代器是指针类型,那么匹配的是itetraor_traits的特例化,iterator_traits<I>::value_type依然可以得到指针所指类型。

所以所谓的traits就是一个模板类和一系列模板特例化。通过这个模板类可以得到指针或者迭代器的相关类型。

同时如果一个迭代器类型如果想要和traits类配合使用需要在其内部通过typedef定义value_type类型。

迭代器相应类别

前面的迭代器所指类型value_type就是迭代器的相关类别之一,除了迭代器所指类型,还有几个迭代器相关类型。

  1. value_type:迭代器所指类型,上一节已经讲过了。
  2. difference type:用来表示两个迭代器之间的距离。
  3. reference type:迭代器所指类型的引用类型。
  4. pointer type:迭代器所指类型的指针类型。
  5. iterator_category:迭代器的类别。

STL-空间配置器、迭代器、traits编程技巧的更多相关文章

  1. STL空间配置器那点事

    STL简介 STL(Standard Template Library,标准模板库),从根本上说,STL是一些“容器”的集合,这些“容器”有list,vector,set,map等,STL也是算法和其 ...

  2. 【陪你系列】5 千字长文+ 30 张图解 | 陪你手撕 STL 空间配置器源码

    大家好,我是小贺. 点赞再看,养成习惯 文章每周持续更新,可以微信搜索「herongwei」第一时间阅读和催更,本文 GitHub https://github.com/rongweihe/MoreT ...

  3. 【转】STL空间配置器

    STL空间配置器(allocator)在所有容器内部默默工作,负责空间的配置和回收.STL标准为空间配置器定义了标准接口(可见<STL源码剖析>P43).而具体实现细节则由各编译器实现版本 ...

  4. stl空间配置器线程安全问题补充

    摘要 在上一篇博客<STL空间配置器那点事>简单介绍了空间配置器的基本实现 两级空间配置器处理,一级相关细节问题,同时简单描述了STL各组件之间的关系以及设计到的设计模式等. 在最后,又关 ...

  5. STL空间配置器

    1.什么是空间配置器? 空间配置器负责空间配置与管理.配置器是一个实现了动态空间配置.空间管理.空间释放的class template.以内存池方式实现小块内存管理分配.关于内存池概念可以点击:内存池 ...

  6. 咬碎STL空间配置器

    STL空间配置器 一.开场白: 给我的感觉就是,了解是空间配置器的功能,是那么的明了:在看原理,我还是很开心:接下来是360度大转变: 那么长的变量或者函数命名.那么多的宏.不爽,不过,遇上我这种二货 ...

  7. STL空间配置器解析和实现

    STL空间配置器的强大和借鉴作用不言而喻,查阅资料,发现了Dawn_sf已经对其有了极其深入和详细的描述,所以决定偷下懒借用其内容,只提供自己实现STL空间配置器的源码,具体解析内容参考:(一)STL ...

  8. STL——空间配置器(构造和析构基本工具)

    以STL的运用角度而言,空间配置器是最不需要介绍的东西,它总是隐藏在一切组件(更具体地说是指容器,container)的背后,默默工作,默默付出.但若以STL的实现角度而言,第一个需要介绍的就是空间配 ...

  9. STL空间配置器、vector、list、deque、map复习

    本文写于2017-03-03,从老账号迁移到本账号,原文地址:https://www.cnblogs.com/huangweiyang/p/6440830.html STL的六大组件:容器.算法.迭代 ...

  10. STL——空间配置器(SGI-STL)

    一. 空间配置器标准接口 参见<STL源码剖析>第二章-2.1.<memory>文件. 二.具备次配置力的SGI空间配置器 1. SGI STL的配置器与众不同,也与标准规范不 ...

随机推荐

  1. Android经常使用UI包裹 - EditText

    EditText的信息接受用户输入是最重要的Android UI包裹,您可以使用EditText.getText()获取它的文本内容. 实例:EditTextDemo 执行效果: watermark/ ...

  2. WPF的两棵树与绑定

    原文:WPF的两棵树与绑定   先建立测试基类 public class VisualPanel : FrameworkElement { protected VisualCollection Chi ...

  3. Linux Sed技巧

    删除行首空格 sed 's/^[ ]*//g' filename sed 's/^*//g' filename sed 's/^[[:space:]]*//g' filename 匹配行前或后添加空白 ...

  4. 《DELPHI赋》

    <DELPHI赋> -- 武汉NET_TO_DB DELPHI者,经典开发工具.美奂美仑之开发环境也.盖论DELPHI其身世,实为神界之神物,后借宝蓝公司之手,于1990年代,现于江湖. ...

  5. Python 函数调用性能记录

    之前用 JS 写项目的时候,项目组用的组件模式,一直感觉很不错.最近用 Python 做新项目,项目结构也延续了组件模式.一直没有对函数调用的性能作了解,今天突发奇想测试了一下,写了一些测试代码 首先 ...

  6. WPF 实现波浪浮动效果

    原文:WPF 实现波浪浮动效果 目标:实现界面图标Load时,整体图标出现上下波浪浮动效果,如下图: 前台代码: <Windowxmlns="http://schemas.micros ...

  7. Bootstrap Thumbnail

    Square Thumbnail with Image <!-- Square Thumbnail with Image --> <com.beardedhen.androidboo ...

  8. Cocos2d-x移植WP8时间CCScrollView问题

    cocos2d-x 2.2中的CCScrollView和CCTableView存在bug.导致区域裁剪错误 我是这样解决的. 在CCEGLView::setScissorInPoints里.依据不同旋 ...

  9. cocos2D-X从的源代码的分析cocos2D-X学习OpenGL(1)----cocos2D-X渲染架构

     个人原创.欢迎转载,转载请注明原文地址http://blog.csdn.net/bill_man 从本篇文章開始,将分析cocos2D-X 3.0源码,第一部分是从cocos2D-X学习OpenGL ...

  10. WPF 界面实现多语言支持 中英文切换 动态加载资源字典

    1.使用资源字典,首先新建两个字典文件en-us.xaml.zh-cn.xaml.定义中英文的字符串在这里面[注意:添加xmlns:s="clr-namespace:System;assem ...