C++ boost库总结精编版文档格式.docx

1、第3章 内存管理1. scoped_ptr类似auto_ptr，但其一旦获得对象的管理权，你就无法再从它那里取回来。该智能指针只希望在本作用域里使用，不希望被转让。auto_ptr有意设计成所有权的自动转让，scoped_ptr有意设计成所有权的无法转让。scoped_ptr和auto_ptr均不能作为容器元素。2. scoped_array包装的是new产生的指针，并调用的是delete。往往是用来和C代码保持兼容，一般不推荐使用3. 无论是编译器还是程序员都很难区分出new和new分配的空间，错误的运用delete将导致资源异常4. 在C+历史上曾经出现过无数的引用计数型智能指针实现，但没

2、有一个比得上boost:shared_ptr，在过去、现在和将来，它都是最好的5. shared_ptr支持的转型有：static_pointer_cast、const_pointer_cast、dynamic_pointer_cast，返回的结果是shared_ptr，并能保证这些指针的引用计数正确6. 用shared_ptr可以消除代码中显示的delete，用make_shared、allocate_shared可以消除代码中显示的new7. 桥接模式（bridge）是一种结构型设计模式，它把类的具体实现细节对用户隐藏起来，以达到类之间的最小耦合关系。在具体编程实践中桥接模式也被称为pim

3、pl或者handle/body惯用法，它可以将头文件的依赖关系降到最小，减少编译时间，而且可以不使用虚函数实现多态8. get_deleter（shared_ptr，不具有普通指针的行为。它最大的作用在于协助shared_ptr工作，像旁观者那样观测资源的使用情况11. weak_ptr被设计为与shared_ptr共同工作，可以从一个shared_ptr或者另一个weak_ptr对象构造，获得资源的观测权。但weak_ptr没有共享资源，它的构造不会引起指针引用计数的增加。同样，在weak_ptr析构时也不会导致引用计数的减少，它只是一个静静的观察者12. 获得this指针的shared_p

4、tr，使对象自己能够产生shared_ptr管理自己：class T : public enable_shared_from_this, then shared_ptr shared_from_this（）.13. intrusive_ptr是一个侵入式的引用计数型指针。当对内存占用的要求非常严格，或现存代码已经有了引用计数机制时可以考虑。一般情况不推荐使用。14. pool为固定块大小的类似malloc的原生内存分配器，支持数组式分配，一般情况下不必对分配的内存调用free（）。只分配原生内存，不调用构造函数，回收不调用析构函数，最好不要用于对象。15. singleton_pool和poo

5、l接口完全一致，但为单件线程安全，同样要求编译期指定要分配的原生内存块大小16. object_pool为特定类型的对象池，不支持数组式分配，支持对象分配和对象原生内存分配17. pool_alloc和fast_pool_allocator是boost提供的两个STL分配器。除非有特别需求，我们应该总使用STL实现自带的内存分配器。使用定制的分配器需要经过仔细的测试，以保证它与容器可以共同工作。18. 内存管理是C+程序开发中永恒的话题，因为没有GC，小心谨慎的管理内存等系统资源是每一个C+程序员都必须面对的问题第4章 实用工具1. private继承自noncopyable可以编译时禁止对象

6、拷贝语法2. C+静态强类型的优点有时候反而是阻碍程序员生产力的“缺陷”3. typeof库使用宏模拟了C+0X中的typedef和auto关键字，可以减轻书写繁琐的变量类型声明工作，简化代码。对于用户自定义类型需要手工用宏注册。（语法并没那么好看，不准备使用）4. optional使用“容器”语义，包装了“可能产生无效值”的对象，实现了“未初始化”的概念（Nullable）5. optional make_optional（bool condition, T const& v）用来简单构建optional对象，但不能处理optional的情况。（此乃鸡肋）6. optional str（in

7、_place（string就地创建），而不需拷贝临时对象，避免大对象的拷贝开销7. 用于初始化的assign库（仅限于STL标准容器，通过重载“+=”和“,”运算符实现）：#include using namespace boost;vector v; v += 1,2,3,4,5,6*6;set s; s += cpp, java;map m; m += make_pair（1, one）, make_pair（2, 2）;8. assign还支持insert（）、push_front（）、push_back（）（通过重载“（）”实现）： push_back（v）（1）（2）（3）（4）（5

8、）;list insert（s）（3.14）（0.618）（1.732）; insert（m）（1, ）（2, two9. assign也可以将“（）”和“,”混用：push_back（v）, 1, 2, 3, 4, 5;push_back（v）（6）, 7, 64 / 8, （9）, 10;deque m1 = map_list_of（1, 2）（3, 4）（5, 6） m2 = map_list_of（1, 12. assign tuple_list_of用户初始化元素类型为tuple的容器13. assign repeat（）可以重复生成值，repeat_fun（）可以重复无参函数或仿函

9、数，range（）则可以从序列中取出部分或全部： v = list_of（1）.repeat（3, 2）（3）（4）（5）; / v = 1,2,2,2,3,4,5multiset ms; insert（ms）.repeat_fun（5, &ran）.repeat（2, 1）, 10; / ms = x,x,x,x,x,1,1,10 push_front（d）.range（v.begin（）, v.begin（） + 5）; / d=3,2,2,2,114. assign支持8个STL标准容器（vector、string、deque、list、set、multiset、map、multimap

10、），对容器适配器（stack、queue、priority_queue）则需要通过to_adapter（）：stack stk = （list_of（1）, 2, 3）.to_adapter（）;queue q = （list_of（）.repeat（2, C#）.to_adapter（）;priority_queue pq = （list_of（1.414）, 1.732）.to_adapter（）;15. assign也支持部分不在STL中的非标准容器slist、hash_map、hash_set，因为其符合标准容器定义，同时也支持大部分boost容器：array、circular_buf

11、fer、unordered等16. assign list_of（）嵌套： v = list_of（list_of（1）（2） list_of（list_of（3）（4）;v += list_of（5）（6）, list_of（7）（8）;17. assign ref_list_of（）、cref_list_of（）、ptr_push_back（）、ptr_list_of（）还支持以引用或指针来构造初始化：int a = 1, b = 2, c = 3; v = ref_list_of（a）（b）（c）;18. boost:swap是对std:swap的增强，并且扩充了对数组的支持：int a

12、110; std:fill_n（a1, 10, 5）;int a210;file_n（a2, 10, 20）;boost:swap（a1, a2）;19. 单件boost:details:pool:singleton_default在main之前进行构造，支持继承或非继承形式（最恨main之前的事情了）20. 单件boost:serialization:singleton在main之前进行构造，支持继承或非继承形式。继承方式更彻底一些，非继承方式不影响原有代码21. boost:tribool三态bool，indeterminate（tribool）可判断一个三态bool是否处于不确定状态22

13、. 选择optional还是tribool：如果返回值可能是无效的，那么就是optional，如果返回值总是确定的，但可能无法确定其意义，那么就用tribool（最多自己随手定义个enum状态，为了这点需求需要记住这一堆名称和细节！23. using namespace std:rel_ops; 则一旦为类定义了operator=和、=的功能。boost operators库提供了对该功能的增强，使用时只需继承自这些类并提供指定的operator重载即可获得附送的重载：1. equality_comparable：要求提供=，可自动实现!=，相等语义2. less_than_comparabl

14、e要求提供=3. addable要求提供+=，可自动实现+4. subtractable要求提供-=，可自动实现-5. incrementable要求提供前置+，可自动实现后置+6. decrementable要求提供前置-，可自动实现后置-7. equivalent，可自动实现=，等价语义8. totally_ordered：全序概念，组合了equality_comparable和less_than_comparable9. additive：可加减概念，组合了addable和subtractable10. multiplicative：可乘除概念，组合了multipliable和divia

15、ble11. arithmetic：算术运算概念，组合了additive和multiplicative12. unit_stoppable：可步进概念，组合了incrementable和decrementable13. public dereferenceable解引用操作符，要求提供operator*，可自动实现operator-。P为operator-返回类型，一般为T*14. public indexable下标操作符，I为下标类型，要求能够与类型T做加法操作，通常为int；R是operator的返回值类型，通常是一个类型的引用。要求提供operator+（T, I），将自动实现oper

16、ator1. 如果只关心类的等价语义，那么就用equivalent，如果想要精确的比较两个对象的值，就是用equality_comprable。相等equivalent基于=实现，而equality_comprable基于的!（xy）实现。2. 应该总对异常类是用虚继承3. struct my_exception : virtual std:exception, / 兼容C+标准异常 virtual boost:exception;typedef boost:error_info err_no;struct tag_err_str, string err_str;boost/exception

17、/all.hpptry throw my_exception（） err_no（10）; catch（my_exception& e） cout *get_error_info（e） endl; e.what（） e 4. 从exception派生的异常定义非常简单，没有实现代码，可以很容易建立起一个适合自己程序的、惊喜完整的异常类体系。只要都是用虚继承，类体系可以任意复杂。5. boost库预定义的异常类型：typedef error_info errinfo_api_function;struct errinfo_at_line_, int errinfo_at_line;struct e

18、rrinfo_file_handle_, weak_ptr errinfo_file_handle;struct errinfo_file_name_, std: errinfo_file_name;struct errinfo_file_open_mode_, std: errinfo_file_open_mode;struct errinfo_type_info_name_, std: error_info_type_info_name;struct throw_function_, char const* throw_function;struct throw_file_, char c

19、onst* throw_file;struct throw_line_, ine throw_line;6. enable_error_info（T& e），可以将已将存在的任意类型包装为boost异常类型7. throw_exception（任意异常类型），可以自动将任意异常类型包装为boost异常，还能保证线程安全8. diagnostic_information（e）可以得到任意boost异常的字符串内容描述；在catch块中调用current_exception_diagnostic_information（），则不用传参数e。（何必呢，为少写一两个字母反而要记住一个更长的名字）9.

20、catch块内的异常转型用current_exception_cast（）10. catch块内调current_exception（）得到当前异常指针的exception_ptr是线程安全的，rethrow_exception可以重新抛出异常11. UUID, Universally Unique Identifier, 128bit（16 Byte），不需要中央认证机构就可以创建全球唯一的标识符。别名GUID12. 不是所有的警告都可以忽略的，有的警告预示着可能潜在的错误13. BOOST_BINARY（111 00 1），可以实现编译器的二进制定义，但不能超过8bit第5章 字符串与文本

21、处理1. lexical_cast（X），可以实现字符串和数值类型之间的转换，但不支持高级格式控制。转换失败将抛出bad_lexical_cast异常。lexical_cast底层用C+流实现，要求目标类型支持operator、无参构造函数和拷贝构造函数2. cout format（%s:%d+%d=%dn） %sum %1 %2 %（1+2）; / sum:1+2=3format fmt（%1%+%2%） *%2%=%3%nfmt %2 %5;fmt %（2+5）*5）;cout fmt.str（）; / （2 + 5） * 5 = 353. format在提供的参数过多或过少的情况下ope

22、rator或str（）都会抛出异常4. format完全支持printf的格式化选项方式，同时还增加了新的方式：1. %|spec|%：与printf格式选项功能相同，但两边增加了竖线分隔，可以更好的区分格式化选项有普通字符2. %N%：标记第N个参数，相当于占位符，不带任何其他的格式化选项1. format因为做了很多安全检查工作，会比printf慢至少2-5倍2. format相关的高级功能：1. basic_format&bind_arg（int argN, const T& val） 把格式化字符串第argN位置的输入参数固定为val，即使调用clear（）也保持不变，除非调用clea

23、r_bind（）或clear_binds（）2. basic_format&clear_bind（int argN） 取消格式化字符串第argN位置的参数绑定3. basic_format&clear_binds（）4. basic_format& modify_item（int itemN, T manipulator） 设置格式化字符串第itemN位置的格式化选项，manipulator是一个boost:io:group（）返回的对象5. boost:group（T1 a1, ., Var const& var） 是一个最多支持10个参数的模板函数，可以设置IO流操纵器以指定格式或输入参数值1. string_algo库包括：1.