写在前面的话
从大学里面开始接触C++到现在这么长的时间，一直把自己当成C++方面的Master，且不论使用这门语言多长时间，当年狂读 毛主席说过，骄傲使人落后，这次重读C++使得我每每汗颜于此，学海无涯，人外有人。推此及彼，其实又何尝只在C++、技术邻域呢？自满因谦虚变成自信。 0. 编译C++程序时，编译器自动定义了一个预处理名字__cplusplus，而编译标准C时，自动定义名字__STDC__。另外几个比较有用的预定义名字是__LINE__(文件的当前编译行数)，__FILE__(当前被编译的文件名字)，__DATE__(编译日期)和__TIME__(编译时间)。 1. C库头文件的C++名字总是以字母C开头，后面去掉后缀.h的C名字，如 2. 静态与动态内存分配的两个主要区别：(1)静态对象是有名字的变量，可以直接进行操作，动态对象是没有名字的变量，可以通过指针间接进行操作；(2)静态对象的分配和释放由编译器自动处理，而动态对象必须由程序员显式的管理，通过new和delete两个表达式来完成。 3. 类的缺省构造函数是不需要用户提供任何参数的构造函数。 4. STL中标准数组-vector(文件 horizontal tab(水平制表符) \ vertical tab(垂直制表符) \\v backspace(退格符) \\b carriage return(回车键) \\r formfeed(进纸键) \\f alert (bell)(响铃符) \\a \\7 7. 变量和文字常量都有存储区，区别在于变量是可寻址的，对于每个变量，都有两个值与之关联：数据值，称为对象的右值，是被读取的值，文字常量和变量都可以用作右值；地址值，被称为变量的左值，是位置值，文字变量不用被用作左值。 8. 每个指针都有一个相关的类型。不同数据类型的指针之间的区别在于指针所指的对象的类型上。如果我们需要的仅仅是持有地址值，C++提供了一种特殊的指针类型：空(void *)类型指针，它可以被任何数据指针类型的地址值赋值，除了函数指针。不能操作空类型指针所指向的对象，只能传送该地址值或将它与其他地址值做比较。 9. C风格的算法循环： while(*p++){„} 10. 正确定义引用，如下： const int ival = 1024; const int *&pi_ref = &ival; // 错误，pi_ref是一个引用，它指向定义为const的int型对象的一个指针，引用不是指向常量，而是指向了一个非常量指针 const int *const &pi_ref = &ival; // OK 11. 指针和引用有两个主要区别，引用必须总是指向一个变量；如果一个引用给另外一个引用赋值，那么改变的是被引用对象而不是引用本身。 12. 布尔类型对象虽然也被看作整数类型的对象，但是它不能被声明为signed，unsigned，short或long。 13. 一个数组不能被另外一个数组初始化，也不能被赋值给另外一个数组，而且，C++不容许声明一个引用数组。 14. 数组标志符代表数组中的第一个元素的地址。它的类型是数组元素类型的指针。 int ia[10]; 第一个元素的地址: ia或者是&ia[0] 第二个元素的地址: ia+1或者是&ia[1] 15. STL中vector有两种不同的使用形式：数组习惯，即使用下标操作符，注意只能操作已经存在的成员；STL习惯，使用iterator来操作，对其解引用可以访问实际的对象，也可以通过加减来移动位置。雷同与5。 16. typedef用来为内置的或用户定义的数据类型引入助记符号。 typedef char *cstring; extern const cstring cstr; 其中cstr的类型是 char *const cstr; 17. 当一个对象的值可能会在编译器的控制或监制之外被改变时，那么该变量应该声明为volatile，编译器执行的某些例行优化不能应用在已经指定为volatile的对象上。 （注：在多线程编程时会遇到该问题） 18. pair类可以在单个对象内部把相同类型或不同类型的两个值关联起来。我们可以使用成员访问符号来访问pair中的单个元素，他们的名字为first和second。 19. 在类体外定义的内联成员函数，应该被包含在含有该类定义的头文件中。 20. setw()是一个预定义的iostream操作符，它读入的字符数最多为传递给它的参数减一。如setw(1024)，则最多读入1023个字符。 21. 标准C++头文件 22. 对于二元操作符<或者>，左右操作数的计算顺序在标准C和C++中是都是未定义的，因此计算过程必须是与顺序无关的。如ia[index++] 24. sizeof操作符的作用是返回一个对象或者类型名的字节长度，返回值类型是size_t，这是一种与机器有关的typedef定义，可以在 25. 按位非操作符(~)翻转操作数的每一位。移位操作符(<<和>>)将其左边操作数的位向左或者向右移动某些位，移到外面的位被丢弃，左移操作符从右边开始用0填充空位。右移操作符，如果是无符号数从左边开始插入0，否则它或者插入符号位的拷贝或者插入0，这由具体实现定义。按位与(&)对两个操作数的每一位进行与操作(只有两位同时为1时值才为1)。按位异或(^)操作符对两个操作数的每一位进行异或操作(只有两个含有一个1时值才为1，即两位不同值为1)。按位或(|)操作符对两个操作数的每一为进行或操作(只有两位同时为0时值才为0)。如将整数a的第27位设为1：a |= 1 << 27；将第27为设为0：a &= ~(1 << 27) ；测试第27位是否为1：a & (1 << 27)。 26. bitset类，头文件为 28. 隐式转换发生在下列情况下：1.混合类型的算术表达式，即算术转换；2.用一种类型的表达式赋值给另一种类型的对象；3.把一个表达式传递给一个函数调用，表达式的类型和形式参数的类型不相同；4.从一个 函数返回一个表达式。 29. 算术转换的两个原则：1.如果必要的话，类型总是提升为较宽的类型；2.所有含有小于整型的整值类型的算术表达式，在计算之前，其类型都会被转换为整型。 30. const_cast转换掉表达式的常量性以及volatile对象的volatile性；如const_cast 32. 两个主要的顺序容器是list和vector，另外一个顺序容器是deque；两个主要的关联容器是map和set。 33. 选择顺序容器类型的一些准则：(1)随机访问，vector比list好得多；(2)已知道元素的个数，则vector比list强；(3)如果不只是在容器两端插入和删除元素，则list比vector强很多；(4)除非需要在容器首部插入和删除元素，则vector比deque好。对于小的数据类型，vector的插入大批量数据的性能比list好很多，而大型数据时则相反，解决方案是只保留大型数据的指针。Reserve函数容许将容器的容量设置成一个显式指定的值，resize函数重新设置容器的长度；每个容器支持一组关系操作符；用户定义的类类型必须支持等于操作符，必须支持小于操作符，元素类型必须支持一个缺省值（对类类型，指缺省构造函数）。 34. 除了iterator类型，每个容器还定义了一个const_iterator类型，对遍历const容器是必需的，const_iterator容许以只读方式访问容器的底层元素。Iterator算术运算(是指加法或者减法等算术运算，而不是重载的++操作符)只适用vector或deque，而不适用于list因为list在内存中不是连续存储的。 35. string类的find函数返回一个索引类型string::size_type或者返回string::npos；find_first_of提供了被搜索字符串中任意一个字符相匹配的第一次出现，并返回它的索引位置，substr函数生成现有string对象的子串的一个拷贝，第一个参数指明开始的位置，第二个可选的参数指明子串的长度。rfind，查找最后的指定子串的出现；find_first_not_of查找第一个不与要搜索字符串的任意字符相匹配的字符；find_last_of查找与搜索字符串任意元素相匹配的最后一个字符；find_last_not_of查找字符串中的与搜索字符串任意字符全不匹配的最后一个字符。 36. tolower函数接受一个大写字符，并返回与之等价的小写字母，必须包含头文件 37. assign对把字符串进行赋值；append则类似于+=操作符；swap交换两个string的值；进行越界检查的at类似于[]操作符；compare函数提供了两个字符串的字典序比较；replace函数提供了十种方式，可以用一个或者多个字符替换字符串中的一个或多个现有的字符。 38. map定义了一个类型value_type，表示相关的键值对，用于insert函数。 39. 关联容器支持以下两个函数：find查找指定key，不存在则返回end()；count返回指定key值的出现的次数。 40. set定义了一个类型difference_type，是两个iterator相减的结果类型；inserter类用来执行插入操作。如:copy(in, eos, inserter(set1, set1.begin());因为copy执行的是赋值操作，所以使用inserter使用插入操作取代赋值操作。 41. multiset和multimap的特殊操作equal_range返回iterator对值，如:pair 43. C++中，数组永远不会按值传递，它总是传递第一个元素(准确的说是第0个)的指针。多维数组被传递为指向第0个元素的指针。如matrix[][10]等同于int (*matrix)[10]，都表示matrix是个二维数组，每行10列。而int *matrix[10]表示一个含有10指向int的指针的数组。 44. UNIX系统函数chmod改变文件的保护级别，它的函数声明在系统头文件 45. 链接指示符的第一种形式由关键字extern后跟一个字符串常量以及一个普通的函数声明构成，如extern “C” void exit();第二种形式是是多个函数声明用大括号包含再链接指示符复合语句中。链接指示符不能出现在函数中，而且放在头文件中更合适。 46. 支持命令行格式的主函数:int main(int argc, char *argv[]); 47. 指向函数的指针，如int (*pFunc)(int, int)；将取地址符作用于函数名上也能产生指向该类型的指针。 如已经存在函数定义int f1(int); int (*pf1)(int)=f1; int (*pf2)(int)=&f1;函数调用可以使用pf1(1)格式或者(*pf1)(1)格式。当一个函数名没有被调用操作符修饰时，会被解释为该类型函数的指针，如存在函数定义int f(int)；表达式f被解释为int (*)(int)。 48. 函数指针数组的定义:int (*testCases[10])();使用typedef可以使声明更易读。如typedef int (*PFV)(); PFV testCases[10];声明一个“指向函数指针数组的指针”，如PFV (*pArray)[10];调用其中函数(*pArray)[2](); 49. 函数参数的类型不能是函数类型，函数类型的参数将被自动转换为该函数类型的指针。如存在函数类型typedef int funtype(int);void sort(int, funtype);与函数定义sort(int, int(*)(int));等价。函数指针也可以作为函数返回值的类型，如int (*ff(int))(int *, int);该声明将ff声明一个函数，它有一个int的参数，它的返回值为一个指向函数的指针，类型为int (*)(int *,int)； 50. 指向C函数的指针与指向C++的函数指针类型不同，也就是：int (*fcpp)(int)与extern “C” int (*fpc)(int)类型不同。并且，当链接指示符作用一个声明上时，所有被它声明的函数都受影响，如extern “C” void f1(void (*pfParm)(int));其中pfParm也是C函数指针。因此，要实现一个含有C函数指针作为参数的C++函数，可以使用typedef，如extern “C” typedef void FC(int); C++函数 void f2(FC *pfParam); 51. 关键字extern为声明但不定义提供了一种方法，extern声明不会引起内存被分配。 52. 设计头文件时不应该含有非inline函数和对象的定义。符号常量的定义和inline函数可以被重复定义多次，在编译期间，在可能的情况下，符号常量的值会取代该名字的出现，这个过程为常量折叠。符号常量是任何const类型的对象。但是如下定义不符合 char *const buf = new char[10];因为它的值不能在编译时确定，不能定义在头文件；const char *msg =”Error”;因为msg不是常量，它是指向常量值的非常量指针，必须修改为const char *const msg=””; 53. 有三种局部对象：自动对象，寄存器对象和局部静态对象。在函数中频繁使用的变量可以使用关键字register声明为寄存器对象。 54. delete表达式只能作用于由new表达式从空闲存储区分配的指针上，如果作用于其他内存指针上，可能导致问题，但是作用于值为0的指针上，delete不会指向任何操作。 55. auto_ptr是STL提供的类模板，可以帮助程序员自动管理用new表达式动态分配的单个对象。头文件为 56. 可以创建动态的const对象，如const int *pci = new const int(1024);不能创建const对象数组，创建的const对象必须初始化。 57. 定位new表达式容许程序员要求将对象创建在已经被分配好的内存中。如：char *buf=new char [1024];Foo *pb = new (buf) Foo; 58. 可以使用未命名的namespace来声明一个局部于某一文件的实体，即该函数只在当前文件中可见。通常在实现文件中使用，这种方法是用来替换C语言中的static函数声明。 59. 重载函数，两个函数的函数名相同，但函数参数表必须不同，参数个数或参数类型不同；识别函数声明并不考虑传值参数类型是const或者volatile，即void f(int)和函数void f(const int)是同一个函数。但是如果是传地址或者传引用时，则需要考虑这两个修饰符。void f(int *)和函数void f(const int *)为不同的函数。 60. 重载函数集合中的所有函数都应该在同一个域中声明。using声明和using指示符可以使得一个名字空间的成员在另外一个名字空间可见，这对重载函数集合产生影响。using声明总是为重载函数的所有函数声明别名，如果引入一个函数在该域中已经存在并且参数表相同，则产生错误。而extern “C”链接指示符只能指定重载函数集中的一个函数。 61. 函数重载解析的三个步骤(1)确定函数调用考虑的重载函数的集合，确定函数调用中实参表的属性；(2)从重载函数集合中选择函数，该函数可以在给定的情况下用实参进行调用；(3)选择与调用最匹配的函数。在第二步中，编译器确定需要进行的参数转换，并划分等级，通常分为精确匹配；与一个类型转换匹配；无匹配。其中类型转换通常分为三组：提升、标准转换和用户定义的转换。 62. 精确匹配细节：即使一个实参必须应用一些最小的类型转换才能将其转换为相应函数参数的类型；这些最小的类型转换包括：左值到右值的转换；从数组到指针；从函数到指针的转换和限定类型转换(通常是const 和volatile类型转换)。精确匹配可以使用一个显式强制转换强行执行，这时实参类型就为转换后的类型。 45. 如果一个类提供了两个分别称为操作符new()和操作符delete()的成员函数，那么它就可以承接自己的内存管理权。类成员操作符new()的返回类型必须是void *型，并且有个size_t类型的参数。类成员操作符delete()的返回类型必须是void，并且第一个参数的类型是void *。为一个类类型定义的delete操作符，如果它是被delete表达式调用的，则它可以有两个参数，第一个仍然必须是void *,第二个必须是预定义类型size_t，该参数值被自动初始化，其值等于所需内存的字节大小。例如：void operator delete(void *, size_t);操作符new()和delete()是类的静态成员，它们被自动成为静态函数。 46. 重载针对数组分配的操作符new[]()和delete[]()的重载。new[]()操作符，返回类型是void *，并且第一个参数类型是size_t。如 void *operator new[](size_t); 当调用如下代码时：Screen *ps = new Screen[10];操作符new[]()的size_t参数被自动初始化，其值等于存放10个Screen对象的数组所需内存的字节大小。通用可以定义定位的new和delete操作符。如void *operator new(size_t, Screen *); 47. 用户自定义转换函数可以在类类型和转换函数中指定的类型之间的转换。如：operator int();关键字operator之后的名字不一定必须是内置类型的名字，可以使用typedef定义的名字或者类名称等，但是不能为数组或者函数类型。注意，没有返回值。 48. 在一个类的构造函数中，凡只带一个参数的构造函数，都定义了一组隐式转换，把构造函数的参数类型转换为该类的类型。可以使用关键字explicit来阻止编译器使用该构造函数进行隐式类型转换，但是该函数还是可以被用来执行类型转换，只要显式以强制转换。如类Number定义这样一个构造函数 Number(const SmallInt &); 有这样的函数void func(Number); 则代码在未使用explicit下可以使用SmallInt si; func(si); 在使用explicit后可以使用func(Number(si))或者func(static_cast 49. 类模板参数也可以是一个非类型模板参数，绑定给非类型模板参数的表达式必须是一个常量表达式，即它能在编译时被计算。非const对象的值不是一个常量表达式，不能被用作非类型参数的实参，但是名字空间中任何对象的地址是一个常量表达式。如int i = 5;中i不能用作非类型模板参数，但是&i可以。 50. 被定义在类模板定义之外的成员函数必须使用特殊的语法，来指明它是一个类模板的函数。如类Queue类的构造函数：template 51. 有三种友元声明可以出现在类模板中：(1)非模板友元函数或者友元类；(2)绑定的友元类模板或者函数模板。如有模板函数和模板类如下： template template template friend void foo (3)非绑定的友元类模板或者函数模板。如下代码： template template 52. 模板类成员也可以声明静态成员变量，类模板的每个实例都有自己的一组静态数据成员，静态数据成员的模板定义必须出现在类模板定义之外，定义语法类似与类模板定义外的成员函数定义语法。只有当程序使用静态数据成员时，它才从模板定义中被真正实例化。类模板的静态成员本身就是一个模板，静态数据成员的模板定义不会引起任何内存被分配，只有对静态数据成员的某个特定的实例才会分配内存。 53. 类模板的嵌套类型，当外围类被实例化时，它的嵌套类不会自动被实例化，只有当上下文环境缺省需要嵌套类的完整类型时，嵌套类才会被实例化。 54. 函数模板或者类模板可以是一个普通类的成员，也可以是一个类模板的成员，成员模板的定义类似与 一般模板的定义。而一个成员模板的定义在模板外部时，如： template template template template class Queue 模板类的特化，类似与函数模板的特化，为指定类型的做特别的处理，如 template<> class Queue 模板类的特化，支持部分特化，即，如果类模板有一个以上的模板参数，指定其中一个或者几个(非全部)的参数，称为部分特化。如： template 56. 当基类成员名在派生类中被重用时，基类的成员将被隐藏，因为基类的成员属于基类的域。对于成员函数，可以使用using声明来导入基类的成员以构成函数重载。另外一个注意事项是，派生类可以访问其基类的protected的成员，但是不能访问其他的基类成员。如代码 bool NameQuery::compare(const Query *pquery); 该函数可以访问自己基类的成员，但是无法访问pquery的protected的成员，这种形式的访问限制不适用于自己类的其他对象，也就是bool NameQuery::compare(const NameQuery *pquery)中可以访问pquery的protected成员。 57. 派生类由一个或多个基类子对象以及派生类部分构成。派生类的构造函数次序永远是(1)基类构造函数；(2)成员类对象构造函数；(3)派生类构造函数。这个次序跟构造函数初始化列表中的顺序无关。析构函数的次序正好与构造函数次序相反。 58. 当用类域操作符调用虚拟函数时，改变了虚拟机制，使得虚拟函数在编译时刻被静态解析。如Query是基类，NameQuery是派生类，代码：Query *pquery = new NameQuery(); pquery->isA(); pquery->Query::isA(); 则两个isA函数调用不同，前一个使用虚拟机制调用NameQuery的函数isA，而后一个直接调用基类的函数。有定义的纯虚拟函数也支持被静态调用。 59. 如果通过基类指针或引用调用派生类实例，则传递给它的缺省实参由基类指定的。 60. 如果用基类的指针来删除一个派生类的对象，为了能正确执行，必须把基类的析构函数设置为virtual的。 61. 虽然不能把new操作符声明为虚拟的，但是可以提供一个代理new操作符，来负责对象分配并拷贝到空闲存储区，通常成为clone，以下是一个例子：virtual Query *clone() {return new NameQuery(*this); } 62. 派生类的赋值操作符operator =调用基类的赋值操作符，可以有两个语法：(1) this->Query::operator =(rhs); (2)(*static_cast 63. 多继承中，基类构造函数被调用的顺序以类派生表中被声明的顺序为准。析构函数的调用顺序总是与构造函数顺序相反。 64. public派生被称为类型继承，派生类是基类的子类型，派生类反应了一种is-a关系；private派生被成为实现继承，派生类不直接支持基类的接口，它把基类的整个共有接口在派生类中变成private，但是它希望重用基类的实现。Protected派生把基类的所有公有成员变成protected。可以通过using指示符来还原基类的访问等级，但是不能比基类中原定的级别更严格或者更不严格。组合是一种has-a的关系，在只是简单重用实现时，可以按引用(使用一个指针)来组合，组合分为按值组合(通过类的实际对象被声明为一个成员)和按引用组合(通过类对象的引用或者指针成员)。 65. 虚拟继承是一种可替代“按引用组合”的继承机制(普通继承是按值组合)，在虚拟继承下只有一个共享的基类。通过用关键字virtual修改一个基类的声明可以将它指定为被虚拟派生。 66. 在非虚拟派生中，派生类只能显式初始化其直接基类；而在虚拟派生中，只有最终派生类可以直接调用其虚拟基类的构造函数，中间派生类对基类构造函数的调用被自动抑制了，必须由最终派生类提供。构造函数顺序上，虚拟基类在所有非虚拟基类构造前被构造。在虚拟派生下，对于虚拟基类成员的继承比“该成员后来重新定义的实例(即中间派生类重载了该成员)”的权值小，所以中间派生类的成员优先，而在非虚拟派生下则产生二义性。 67. 当一个类模板被用作基类时，必须用它完整的参数表对其进行修饰，如代码：template 68. RTTI（运行时刻类型识别），有两个操作符，dynamic_cast操作符：容许在运行时刻进行类型转换，它可以把一个类类型对象的指针转换成同一类层次结构中的其他类的指针，如果指针转换失败则结果为0，如果引用转换失败则抛出异常；typeid操作符，指出了指针或引用指向对象的实际派生类型。 69. dynamic_cast操作符一次执行两个操作，它检验所请求的转换是否有效，只有有效时才进行转换，而检验过程是发生在运行时刻。它被用来执行从基类指针到派生类指针的安全转换，是一种安全的向下转换。当用于引用时，它抛出std::bad_cast异常。 70. typeid操作符用于获取一个表达式的类型，它必须与表达式或者类型一起使用，可以是内置的类型或者类类型。可以对typeid的结果进行比较，它区分指针和对象，如class A; A a; typeid(&a)和typeid(a)不同，前者是一个指针，判断指针是typeid(A *)，后者是类对象。它其实返回一个类型为type_info的类对象，该类型定义在 71. 抛出异常：throw popOnFull(value);执行的步骤：(1)throw表达式通过调用类类型pushOnFull的构造函数创建一个该类的临时对象；(2)创建一个pushOnFull类型的异常，并传递给异常处理代码，该异常对象是第一步throw表达式创建的临时对象的拷贝；(3)在开始查找异常处理代码之前，第一步中的临时对象被销毁。 72. 派生类中虚拟函数的异常规范必须与基类的对应的虚拟函数的异常规范一样或者更严格。 73. 通常情况下，在“被抛出的异常的类型”和“异常规范中指定的类型”之间不容许进行类型转换；但是，当异常规范指定一个类类型或者类类型的指针时，则可以抛出“从该类公有继承的类类型”。 74. C++标准库中的异常层次的根类为exception，包含在头文件 75. 输出操作符<<默认对C风格的字符串(即类型const char *)做了特殊处理，如果想输出字符串的地址，必须进行强制转换。ostream_iterator和istream_iterator会简化操作。 76. 其它几种常用的输入/输出操作符：(1)get(char &ch)从输入流中提前提取一个字符，包括空白字符，它返回被应用的istream对象。对应的ostream提供了put()，写入一个字符。(2)get的第二个版本和第一个版本功能一样，只是返回值不同，它返回字符值，返回类型是int因为可能返回文件尾标志，该标志通常为-1。(3)get的第三个版本get(char *sink, streamsize size, char delimiter=’\\n’); 读取size个字符，除非遇到字符delimiter或者遇到文件尾。该函数不把delimiter字符读入，而是将该字符继续留在流中，所以必须使用ignore来丢弃该字符。(4)getline函数类似与get的第三个版本，除了它自动丢弃了delimiter字符。想确定读入了多少字符，使用gcount函数。(5)istream的read函数和ostream的write函数读取指定长度的字符，除非遇到文件尾。 77. 由于不正确的格式而导致失败，istream应该把状态标志为false，is.setstate(ios_base::fallbit);对于错误状态的iostream，提取和插入操作没有影响，但是对它的测试将为false。 78. 通过seekg和seekp函数，可以对fstream类对象重新定位(g表示为了getting字符而定位，而p表示为了putting而定义)。类似的，tellp和tellg获取当前的输出和输入流的位置。 79. 每个流对象都维护了一组条件标志，通过这些条件标志，可以监视当前流的状态：(1)当一个流遇到文件结尾，eof返回true；(2)如果试图做一个无效操作，如seek的操作超出文件尾，则bad返回true；(3)如果操作不成功，比如打开文件流对象失败或者遇到无效的输入格式，则fail返回true；(4)如果其他条件都不为true，则good()为true。显式修改流对象的条件状态有两种方式：(1)clear函数，可以把条件状态复位到一个显式的值；(2)使用setstate函数在现有的条件状态再增加一个条件。可用的条件值是ios_base::badbit, ios_base::eofbit, ios_base::failbit, ios_base::goodbit。同时rdstate函数可以读取当前状态值，返回类型是ios_base::iostate。 0. 类型转换中的提示实际上就是内置数据类型的提升，如char转换为int，bool转换为int，float转换为double等。 1. 类型转换中的标准转换有五种类型：(1)整值类型转换(不包括提升)；(2)浮点转换；(3)浮点-整值转换；(4) 指针转换和(5)bool转换。前三种转换是有潜在危险的转换。所有的标准转换都是等价的。一些注意点：0可以被转换为任何指针类型，这样创建的指针称为空指针值，同时0也可以是任何整型常量表达式。常量表达式0L及0x00都属于整值类型因此能够被转换为int *的空指针值。指针转换允许任何指针类型的实参转换成void *，但是函数指针不能用标准转换为void *。 2. 对于引用参数来说，如果实参是该引用的有效初始值，则为精确匹配，否则为不匹配。 3. 模板非类型参数代表了一个常量表达式，由一个普通的参数声明构成，表示该参数名代表了模板定义种的一个常量。在实例化时，该常量会被一个编译时已知的常量值代替。 4. 在模板中，为了支持类型表达式，必须使用typename；如typename Param::name *p;定义了一个指针p；如果不使用typename则该表达式为乘法。另外，模板函数也可以被声明为inline或extern，必须把指示符放在参数模板后。如template 5. 函数实参的推演中三种类型转换是允许的：(1)左值转换；(2)限定转换(const和volatile指示符)；(3)到一个基类的转换：如果实参是一个类，它有一个从被指定为函数参数的类模板实例化而来的基类；如下面的代码：template 6. 可以使用显式指定模板参数，模板参数被显式指定在逗号分隔的列表中，紧跟在函数模板实例的名字后面；如min 7. C++支持两种模板编译模式：包含模式和分离模式。包含模式下，在每个模板被实例化的文件中包含函数模板的定义，并且往往把定义放在头文件中；分离模式下，函数模板的声明被放在头文件中，它的定义放在另外一个实现文件中，函数模板在实现文件中的定义必须使用关键字export。 8. C++支持模板的显式实例化，在显式实例化声明所在的文件中，函数模板的定义必须被给出。如template 9. C++支持模板的显式特化定义，如：template 10. 抛出异常可通过throw表达式来实现。如抛出一个popOnEmpty(类对象)的异常，表达式为throw popOnEmpty();同时在catch子句中，为了防止大型类对象的复制，可以将catch子句的异常声明改为引用。 11. 在查找用来处理被抛出异常的catch子句时，因为异常而退出复合语句和函数定义，这个过程称为栈展开。C++保证，随着栈的展开，尽管局部类对象的生命期是因为抛出异常而结束，但是所有的析构函数将被调用。要重新抛出接受到的异常，使用语句throw;重新抛出的过程中希望对接受到的异常对象进行修改，必须将catch子句的异常声明改为引用。 12. 异常规范跟随在函数参数表之后，用throw指定，后面是异常类型表。如void pop(int &value) throw(popOnEmpty);异常规范保证不会抛出任何没有出现在异常类型表中的异常。如果在运行时抛出一个没有出现在异常类型表中的异常，则系统调用C++标准库中定义的函数unexpected，该函数直接调用了terminate函数结束程序。空的异常规范不会抛出任何异常。 13. 异常规范可以在函数声明中指出，当有异常规范的指针被初始化时，被用作右值的指针异常规范必须比用作左值 的指针规范一样或者更严格，当然，参数类型表必须相同。 14. 使用函数指针来使得template适应更多的场合。内置的函数指针声明的模板定义，代码如下: template< typename Type, bool (*Comp)(const Type&, const Type &)> const Type& min(const Type *p, Comp comp)；该方案的主要缺点是函数调用使它无法内联。使用函数对象来替代函数指针，函数对象是类实现，它重载了调用操作符，即operaotr ()函数。有两个优点：(1)如果被重载的调用操作符是inline，则编译器能执行内联编译；(2)函数对象可以拥有任意数目的额外数据来缓冲结果。改写模板使之能同时接受函数指针和函数对象(缺点是没有任何的原型检查)，template 15. 函数对象一般有三个来源，(1)系统预定义的算术、关系和逻辑函数对象，包含头文件 16. 标准库提供的函数适配器分为两类：(1)绑定器(binder)，通过把二元函数对象的一个实参绑定到一个特殊的值上，将其转换为一元函数对象，有两种绑定器，bind1st和bind2nd，分别将值绑定到第一个参数和第二个参数上；如下代码: count_if(vec.begin(), vec.end(), bind2nd(less_equal 17. 函数对象类定义的简单形式是包含一个被重载的函数调用操作符。如 class less_equal_ten { public: bool operator() (int val) {return val <= 10;} } 扩展该类，使之容许提供一个遇每个元素比较的值。如: class less_equal_value { public: less_equal_value(int val) : _val(val) {} bool operator() (int val) { return val <= _val; } private: int _val; } 使用上面这个类：count_if(vec.begin(), vec.end(), less_equal_value(25)); 另外一种拓展该类的方法，不使用构造函数，它根据被比较值对类参数化，如: template bool operator() (int val) { return val <= _val; } } 使用该模板类: count_if(vec.begin(), vec.end(), less_equal_value2<25>()); 18. 标准库提供了一组(一共是三个)插入iterator的适配器函数，它们返回特定的插入iterator：(1)back_inserter，使用容器的push_back方法替代赋值操作符；(2)front_inserter，使用容易的push_front方法替代赋值操作符；(3)inserter，使用容器的insert替代赋值操作符，它需要两个实参，容器本身以及它的一个iterator指示起始插入位置。 19. 标准库为输入和输出iostream的iterator提供支持。类istream_iterator类支持在一个istream或其派生类上的iterator操作，同理ostream_iterator支持ostream及其派生类。使用头文件 20. 标准库定义了五种iterator: (1)InputIterator，用来读取元素，不保证支持写入操作；(2)OutputIterator，用来写入元素，但不保证读入；(3)ForwardIterator，用来以某一个遍历方向向容器读或写；(4)BidirectionIterator，从两个方向读或写一个容器；(5)RandomAccessIterator，出来支持BidirectionIterator所有功能外，还提供在常数时间内访问容器的任意位置。其中(1)和(2)是最基本的两个iterator，需要这两个iterator的地方可以使用(3)(4)(5)的iterator作为替代；需要(3)的可以使用(4)(5)；能够替代(4)的只有(5)。需要(3)的常用GA有： adjacent_find(),swap_range()和replace()等；需要(4)的GA有inplace_merge(), next_permutation()和reverse()；需要(5)的GA有binary_search(),sort_heap()和nth_element()。map,set和list维护了一个(4)类型iterator，所以它们不能使用需要(5)的GA中。而vector和queue维护了(5)类型的iterator，可以使用于所有的GA。 21. 所有泛型算法的前两个实参都是一对iterator，通常成为first和last，标志出要操作容器或者内置数组中的元素范围。一些算法支持多个版本，一个用内置操作符，而第二个接受函数对象或函数指针，通常在函数名称后加上_if，比如count_if()；对修改所操作容器的算法，一般有两个版本，一个替换版本，它改变被应用的容器，另外一个返回带有这些变化的容器复本，是拷贝版本，通常在函数名称后加上_copy，如replace_copy()。头文件是 22. 泛型算法的一些限制：(1)关联容器(map或set等)在内部维护了元素的排序关系，不容许在关联容器上应用重新排序的泛型算法，如sort和partition等。(2)list不支持随机访问，所以merge, remove, reverse, sort和unique等算法最好不要使用在list上。list提供了上述这些泛型算法的成员函数。 23. 在类体外定义inline函数，可以显式在类体的声明中使用关键字inline，或者在类体外的函数定义上显式使用关键字inline，或者两者都有。但是内联函数必须在调用它的每个文本文件中被定义，所以在类体外被定义的内联函数也必须被放在类定义出现的头文件中。 24. 只有被声明为const的成员函数才能被一个const类对象调用。关键字const被放在成员函数的参数表和函数体之间，必须在声明和定义中同时指定const关键字。const函数不能修改类数据成员，但如果类中含有指针，则const函数能修改指针指向的内容。const函数可以被相同参数表的非const函数重载。volatile关键字类似于const。 25. 为了允许修改一个类的数据成员，即使是const对象的数据成员，可以吧数据成员声明为mutable。 26. 类的静态数据成员对每个类类型都只有一个拷贝，由该类类型的所有对象共享访问；它比全局对象有两个优点：(1)静态数据成员没有进入全局名字空间；(2)可以实施数据隐藏，比如设置为private的，而全局变量则不行。一般而言，静态数据成员在该类定义之外被初始化，静态成员的名字必须被其类名限定修饰，如int Account::a=90;和全局变量一样，静态数据成员也只能提供一个定义，也就是初始化不能放在头文件中。特别的是，有序型的const静态数据成员可以在类体中用常量值初始化。如 static const int Account::nameSize = 5;用常量值初始化的静态数据成员是一个常量表达式，同时该成员还必须在类定义之外被定义，即nameSize要起作用，必须在类定义再定义，可以不赋值。数组类型不属于有序，不能再类体中初始化。访问静态成员可以通过类对象使用成员访问操作符或者用被类名修饰的名字直接访问(Account::nameSize)。 27. 静态数据成员的一些独特方式的使用：(1)静态数据成员的类型可以是其所属类，而非static的数据成员只能声明为类对象的指针或者引用。如： class A { public: static Bar mem1; // 合法的。 Bar *pMem2; // 合法的 Bar mem3; // 错误 } (2)静态数据成员可以被作为类成员函数的缺省实参，而非static成员不能。 28. 静态成员函数的声明除了在类体中的函数声明前加上关键字static，以及不能声明为const或volatile之外，与非static成员函数相同。静态成员函数没有this指针。 29. 函数指针不能被赋值为成员函数的地址，即使返回类型和参数表完全匹配。成员函数指针的声明需要扩展的语法，如int (Account::*test)();声明了一个Account类，返回int的无输入参数的成员函数指针。类成员的指针必须总是通过特定的对象或指向该类类型的对象的指针来访问。如类的指针对象pobj调用test函数(pobj->*test)();或者类对象 obj调用test函数(obj.*test)();调用中必须有括号；同理，类成员的指针也必须使用特殊的语法，如typedef int Account::*member; member=&Account::size;其中member就是Account类中size的指针，使用它也必须使用指针对象或者类对象。 30. 指向类的静态成员的指针是普通的指针，包括函数指针。 31. 联合是一种特殊的类，一个联合中的数据成员在内存中的存储是相互重叠的，每个数据成员都在相同的内存地址开始，分配给联合的存储区数量是“要包含它最大的数据成员”所需的内存数。默认情况下，联合中所有数据都是public的。union不能有静态数据成员或引用成员，如果一个类类型定义了构造函数、析购函数或拷贝赋值操作符，则它不能成为union的成员类型。 32. 使用union的风险是通过一个不恰当的数据成员意外的获取到当前存储在union中的值，一般的解决方法是定义一个额外对象，来跟踪当前被存储在union中的值的类型，成为union的判别式(discriminet)。一个比较好的经验是为所有union数据类型提供一组访问函数。如：union TokenValue { int _iVal; char _cVal; } enum TokenKind { ID, Constant }; class Token{ TokenKind tok; TokenValue val; }这里的TokenKind就是判别式。union的名字是可选的，特殊的情况下union实例可以没有名字(定义在类体内部)。 33. 位域是一种特殊的类数据成员，它可以被声明用来存放特定数目的位，位域必须是有序数据类型，可以有符号，也可以无符号。位域标志符后面跟一个冒号，然后是一个常量表达式指定位数，如 unsigned int mode : 2; 位域的访问方式和数据成员相同。取地址操作符不能应用在位域上。 34. 嵌套类是指一个类在另一个类中定义。嵌套类可以通过外围类的访问控制关键字进行控制，比如设置为private可以控制嵌套类无法被直接访问。嵌套类也可以定义在外围类之外，比如ListItem的外围类是List，可以定义class List::ListItem {};这样的代码可以保护嵌套类的代码不公开。嵌套类访问外围类的非静态成员必须通过对象或指针，但可以直接访问外围类的静态成员，类型名和枚举值(假定这些成员是公有的)，类型名是一个typedef名字、枚举类型名或者一个类名。 35. 枚举值在定义枚举的域内可以被直接访问，因为枚举定义并不像类定义一样，它没有维护自己相关的域。 36. C风格的显式初始化表有两个注意缺点：(1)它只能被应用到所有数据成员都是公有的类的对象上；(2)它增加了意外和错误的可能性，比如弄错了初始化的顺序。如Data loc = { “aaa”, 0}; // struct Data的定义是int ival; char* pstr; 37. 为构造函数指定实参有三种等价形式，(1) Account acct1(“Anna Press”); (2) Account acct2 = Account(“Anna Press”); (3) Account acct3 = “Anna Press”;第三种形式只能被用于指定单个实参的情形，一般推荐使用(1)。代码Account acct4(); 其实声明了一个函数形式。 38. 使用初始化表和在构造函数内使用数据成员的赋值，两种实现的最终结果是一样的，区别取决于数据成员的类型。构造函数可以认为分为两个阶段：(1)显式或隐式的初始化阶段；(2)一般的计算阶段；计算阶段由构造函数内的所有语句构成。初始化阶段是隐式或者显式的取决于是否存在成员初始化表，隐式初始化阶段按照声明的顺序依次调用所有基类的缺省构造函数，然后是所有成员类对象的缺省构造函数。对于内置类型的成员，除了两个例外，初始化表和在构造函数内初始化在结果和性能上是等价的。两个例外是指const和引用数据成员，它们必须在初始化列表中被初始化。每个成员在初始化表中只能出现一次，初始化的顺序不是由名字在初始化表的顺序决定，而是由成员在类中被声明的顺序。如下的初始化列表会导致错误：class X { int I; int J; X(int v) : j(val), i(j){} „ }这里i的值将会是未定义。 39. 用一个类对象初始化另一个类对象，称为缺省的按成员初始化。通常发生在下列情况：(1)用一个类对象显式初始化另一个类对象；(2)把一个类对象作为实参传递给一个函数或者作为一个函数的返回值；(3)非空顺序容器类型的定义，如vector 个元素中。(4)将一个类对象插入容器中。 40. 由于构造函数分为两个阶段，所以成员类对象的初始化最好在成员初始化表中初始化。如下代码: Account::Account(const Account &rhs) { _name = rhs._name; }这里_name是一个类对象，这行代码需要两次重复工作，首选初始化_name，然后用rhs._name来赋值。修正方法是使用初始化表。 41. C++中类对象的初始化总是比赋值更有效率。如Matrix c = a+b; 的效率比Matrix c; c = a+b; 更有效率。在循环中使用临时对象初始化也更有效率，因为一般情况下不能直接用被返回的局部对象代替赋值的目的对象。 42. 操作符重载，只有在操作数是类类型的对象时，才能将该操作符作为类成员重载。但是同样可以声明非类成员的操作操作符。除此之外，C++要求，赋值(=)，下标([])，调用(())和成员访问(->)操作符必须定义为类成员操作符。对于内置类型的操作符，不能被重载，也就是只能为类类型和枚举类型的操作数定义重载操作符。 43. 重载的operator()必须被声明为成员函数，它的参数表可以有任意数目的参数。 44. 为了区分前置操作符和后置操作符的声明，重载的递增(++)和递减(--)的后置操作符的声明有一个额外的int类型的参数。如： Screen &operator ++(); // 前置操作符 Screen &operator ++(int); // 后置操作符 45. 如果一个类提供了两个分别称为操作符new()和操作符delete()的成员函数，那么它就可以承接自己的内存管理权。类成员操作符new()的返回类型必须是void *型，并且有个size_t类型的参数。类成员操作符delete()的返回类型必须是void，并且第一个参数的类型是void *。为一个类类型定义的delete操作符，如果它是被delete表达式调用的，则它可以有两个参数，第一个仍然必须是void *,第二个必须是预定义类型size_t，该参数值被自动初始化，其值等于所需内存的字节大小。例如：void operator delete(void *, size_t);操作符new()和delete()是类的静态成员，它们被自动成为静态函数。 46. 重载针对数组分配的操作符new[]()和delete[]()的重载。new[]()操作符，返回类型是void *，并且第一个参数类型是size_t。如 void *operator new[](size_t); 当调用如下代码时：Screen *ps = new Screen[10];操作符new[]()的size_t参数被自动初始化，其值等于存放10个Screen对象的数组所需内存的字节大小。通用可以定义定位的new和delete操作符。如void *operator new(size_t, Screen *); 47. 用户自定义转换函数可以在类类型和转换函数中指定的类型之间的转换。如：operator int();关键字operator之后的名字不一定必须是内置类型的名字，可以使用typedef定义的名字或者类名称等，但是不能为数组或者函数类型。注意，没有返回值。 48. 在一个类的构造函数中，凡只带一个参数的构造函数，都定义了一组隐式转换，把构造函数的参数类型转换为该类的类型。可以使用关键字explicit来阻止编译器使用该构造函数进行隐式类型转换，但是该函数还是可以被用来执行类型转换，只要显式以强制转换。如类Number定义这样一个构造函数 Number(const SmallInt &); 有这样的函数void func(Number); 则代码在未使用explicit下可以使用SmallInt si; func(si); 在使用explicit后可以使用func(Number(si))或者func(static_cast 49. 类模板参数也可以是一个非类型模板参数，绑定给非类型模板参数的表达式必须是一个常量表达式，即它能在编译时被计算。非const对象的值不是一个常量表达式，不能被用作非类型参数的实参，但是名字空间中任何对象的地址是一个常量表达式。如int i = 5;中i不能用作非类型模板参数，但是&i可以。 50. 被定义在类模板定义之外的成员函数必须使用特殊的语法，来指明它是一个类模板的函数。如类Queue类的构造函数：template 样的成员函数只有在被调用或者取地址时才被实例化，当类模板被实例化时，类模板的成员函数并不自动被实例化。 51. 有三种友元声明可以出现在类模板中：(1)非模板友元函数或者友元类；(2)绑定的友元类模板或者函数模板。如有模板函数和模板类如下： template template template friend void foo (3)非绑定的友元类模板或者函数模板。如下代码： template template 52. 模板类成员也可以声明静态成员变量，类模板的每个实例都有自己的一组静态数据成员，静态数据成员的模板定义必须出现在类模板定义之外，定义语法类似与类模板定义外的成员函数定义语法。只有当程序使用静态数据成员时，它才从模板定义中被真正实例化。类模板的静态成员本身就是一个模板，静态数据成员的模板定义不会引起任何内存被分配，只有对静态数据成员的某个特定的实例才会分配内存。 53. 类模板的嵌套类型，当外围类被实例化时，它的嵌套类不会自动被实例化，只有当上下文环境缺省需要嵌套类的完整类型时，嵌套类才会被实例化。 54. 函数模板或者类模板可以是一个普通类的成员，也可以是一个类模板的成员，成员模板的定义类似与一般模板的定义。而一个成员模板的定义在模板外部时，如： template template template 55. 模板类的显式实例声明，实例代码如下： template template class Queue 模板类的特化，支持部分特化，即，如果类模板有一个以上的模板参数，指定其中一个或者几个(非全部)的参数，称为部分特化。如： template 56. 当基类成员名在派生类中被重用时，基类的成员将被隐藏，因为基类的成员属于基类的域。对于成员函数，可以使用using声明来导入基类的成员以构成函数重载。另外一个注意事项是，派生类可以访问其基类的protected的成员，但是不能访问其他的基类成员。如代码 bool NameQuery::compare(const Query *pquery); 该函数可以访问自己基类的成员，但是无法访问pquery的protected的成员，这种形式的访问限制不适用于自己类的其他对象，也就是bool NameQuery::compare(const NameQuery *pquery)中可以访问pquery的protected成员。 57. 派生类由一个或多个基类子对象以及派生类部分构成。派生类的构造函数次序永远是(1)基类构造函数；(2)成员类对象构造函数；(3)派生类构造函数。这个次序跟构造函数初始化列表中的顺序无关。析构函数的次序正好与构造函数次序相反。 58. 当用类域操作符调用虚拟函数时，改变了虚拟机制，使得虚拟函数在编译时刻被静态解析。如Query是基类，NameQuery是派生类，代码：Query *pquery = new NameQuery(); pquery->isA(); pquery->Query::isA(); 则两个isA函数调用不同，前一个使用虚拟机制调用NameQuery的函数isA，而后一个直接调用基类的函数。有定义的纯虚拟函数也支持被静态调用。 59. 如果通过基类指针或引用调用派生类实例，则传递给它的缺省实参由基类指定的。 60. 如果用基类的指针来删除一个派生类的对象，为了能正确执行，必须把基类的析构函数设置为virtual的。 61. 虽然不能把new操作符声明为虚拟的，但是可以提供一个代理new操作符，来负责对象分配并拷贝到空闲存储区，通常成为clone，以下是一个例子：virtual Query *clone() {return new NameQuery(*this); } 62. 派生类的赋值操作符operator =调用基类的赋值操作符，可以有两个语法：(1) this->Query::operator =(rhs); (2)(*static_cast 63. 多继承中，基类构造函数被调用的顺序以类派生表中被声明的顺序为准。析构函数的调用顺序总是与构造函数顺序相反。 64. public派生被称为类型继承，派生类是基类的子类型，派生类反应了一种is-a关系；private派生被成为实现继承，派生类不直接支持基类的接口，它把基类的整个共有接口在派生类中变成private，但是它希望重用基类的实现。Protected派生把基类的所有公有成员变成protected。可以通过using指示符来还原基类的访问等级，但是不能比基类中原定的级别更严格或者更不严格。组合是一种has-a的关系，在只是简单重用实现时，可以按引用(使用一个指针)来组合，组合分为按值组合(通过类的实际对象被声明为一个成员)和按引用组合(通过类对象的引用或者指针成员)。 65. 虚拟继承是一种可替代“按引用组合”的继承机制(普通继承是按值组合)，在虚拟继承下只有一个共享的基类。通过用关键字virtual修改一个基类的声明可以将它指定为被虚拟派生。 66. 在非虚拟派生中，派生类只能显式初始化其直接基类；而在虚拟派生中，只有最终派生类可以直接调用其虚拟基类的构造函数，中间派生类对基类构造函数的调用被自动抑制了，必须由最终派生类提供。构造函数顺序上，虚拟基类在所有非虚拟基类构造前被构造。在虚拟派生下，对于虚拟基类成员的继承比“该成员后来重新定义的实例(即中间派生类重载了该成员)”的权值小，所以中间派生类的成员优先，而在非虚拟派生下则产生二义性。 67. 当一个类模板被用作基类时，必须用它完整的参数表对其进行修饰，如代码：template 68. RTTI（运行时刻类型识别），有两个操作符，dynamic_cast操作符：容许在运行时刻进行类型转换，它可以把一个类类型对象的指针转换成同一类层次结构中的其他类的指针，如果指针转换失败则结果为0，如果引用转换失败则抛出异常；typeid操作符，指出了指针或引用指向对象的实际派生类型。 69. dynamic_cast操作符一次执行两个操作，它检验所请求的转换是否有效，只有有效时才进行转换，而检验过程是发生在运行时刻。它被用来执行从基类指针到派生类指针的安全转换，是一种安全的向下转换。当用于引用时，它抛出std::bad_cast异常。 70. typeid操作符用于获取一个表达式的类型，它必须与表达式或者类型一起使用，可以是内置的类型或者类类型。 可以对typeid的结果进行比较，它区分指针和对象，如class A; A a; typeid(&a)和typeid(a)不同，前者是一个指针，判断指针是typeid(A *)，后者是类对象。它其实返回一个类型为type_info的类对象，该类型定义在 71. 抛出异常：throw popOnFull(value);执行的步骤：(1)throw表达式通过调用类类型pushOnFull的构造函数创建一个该类的临时对象；(2)创建一个pushOnFull类型的异常，并传递给异常处理代码，该异常对象是第一步throw表达式创建的临时对象的拷贝；(3)在开始查找异常处理代码之前，第一步中的临时对象被销毁。 72. 派生类中虚拟函数的异常规范必须与基类的对应的虚拟函数的异常规范一样或者更严格。 73. 通常情况下，在“被抛出的异常的类型”和“异常规范中指定的类型”之间不容许进行类型转换；但是，当异常规范指定一个类类型或者类类型的指针时，则可以抛出“从该类公有继承的类类型”。 74. C++标准库中的异常层次的根类为exception，包含在头文件 75. 输出操作符<<默认对C风格的字符串(即类型const char *)做了特殊处理，如果想输出字符串的地址，必须进行强制转换。ostream_iterator和istream_iterator会简化操作。 76. 其它几种常用的输入/输出操作符：(1)get(char &ch)从输入流中提前提取一个字符，包括空白字符，它返回被应用的istream对象。对应的ostream提供了put()，写入一个字符。(2)get的第二个版本和第一个版本功能一样，只是返回值不同，它返回字符值，返回类型是int因为可能返回文件尾标志，该标志通常为-1。(3)get的第三个版本get(char *sink, streamsize size, char delimiter=’\\n’); 读取size个字符，除非遇到字符delimiter或者遇到文件尾。该函数不把delimiter字符读入，而是将该字符继续留在流中，所以必须使用ignore来丢弃该字符。(4)getline函数类似与get的第三个版本，除了它自动丢弃了delimiter字符。想确定读入了多少字符，使用gcount函数。(5)istream的read函数和ostream的write函数读取指定长度的字符，除非遇到文件尾。 77. 由于不正确的格式而导致失败，istream应该把状态标志为false，is.setstate(ios_base::fallbit);对于错误状态的iostream，提取和插入操作没有影响，但是对它的测试将为false。 78. 通过seekg和seekp函数，可以对fstream类对象重新定位(g表示为了getting字符而定位，而p表示为了putting而定义)。类似的，tellp和tellg获取当前的输出和输入流的位置。 79. 每个流对象都维护了一组条件标志，通过这些条件标志，可以监视当前流的状态：(1)当一个流遇到文件结尾，eof返回true；(2)如果试图做一个无效操作，如seek的操作超出文件尾，则bad返回true；(3)如果操作不成功，比如打开文件流对象失败或者遇到无效的输入格式，则fail返回true；(4)如果其他条件都不为true，则good()为true。显式修改流对象的条件状态有两种方式：(1)clear函数，可以把条件状态复位到一个显式的值；(2)使用setstate函数在现有的条件状态再增加一个条件。可用的条件值是ios_base::badbit, ios_base::eofbit, ios_base::failbit, ios_base::goodbit。同时rdstate函数可以读取当前状态值，返回类型是ios_base::iostate。 ☆─────────────────────────────────────☆ Neverwinter (!byr->709394&要好好看书了)于(Fri Aug 5 21:27:10 2005)提到: C++重读三：泛型函数简表 http://blog.csdn.net/alvachien/archive/2005/08/05/446324.aspx accumlate：iterator对标志的序列中的元素之和，加到一个由init指定的初始值上。重载的版本不再做加法，而是传进来的二元操作符被应用到元素上。 adjacent_different：创建一个新序列，该序列的每个新值都代表了当前元素与上一个元素的差。重载版本用指定的二元操作计算相邻元素的差。 adjacent_find：在iterator对标志的元素范围内，查找一对相邻的重复元素，如果找到返回一个ForwardIterator，指向这对元素的第一个元素。否则返回last。重载版本使用输入的二元操作符代替相等的判断。 binary_search：在有序序列中查找value，如果找到返回true。重载的版本使用指定的比较函数对象或者函数指针来判断相等。 copy：复制序列。 copy_backward：除了元素以相反的顺序被拷贝外，别的和copy相同。 count：利用等于操作符，把标志范围类的元素与输入的值进行比较，并返回相等元素的个数。 count_if：对于标志范围类的元素，应用输入的操作符，并返回结果为true的次数。 equal：如果两个序列在范围内的元素都相等，则equal返回true。重载版本使用输入的操作符代替了默认的等于操作符。 equal_range：返回一对iterator，第一个iterator表示由lower_bound返回的iterator，第二个表示由upper_bound返回的iterator值。 fill：将输入的值的拷贝赋给范围内的每个元素。 fill_n：将输入的值赋值给first到frist+n范围内的元素。 find：利用底层元素的等于操作符，对范围内的元素与输入的值进行比较。当匹配时，结束搜索，返回该元素的一个InputIterator。 find_if：使用输入的函数替代了等于操作符执行了find。 find_end：在范围内查找“由输入的另外一个iterator对标志的第二个序列”的最后一次出现。重载版本中使用了用户输入的操作符替代等于操作。 find_first_of：在范围内查找“由输入的另外一个iterator对标志的第二个序列”中的任意一个元素的第一次出现。重载版本中使用了用户自定义的操作符。 for_each：依次对范围内的所有元素执行输入的函数。 generate：通过对输入的函数gen的连续调用来填充指定的范围。 generate_n：填充n个元素。 includes：判断[first1, last1)的一个元素是否被包含在另外一个序列中。使用底层元素的<=操作符，重载版本使用用户输入的函数。 inner_product：对两个序列做内积(对应的元素相乘，再求和)，并将内积加到一个输入的的初始值上。重载版本使用了用户定义的操作。 inner_merge：合并两个排过序的连续序列，结果序列覆盖了两端范围，重载版本使用输入的操作进行排序。 iter_swap：交换两个ForwardIterator的值。 lexicographical_compare：比较两个序列。重载版本使用了用户自定义的比较操作。 lower_bound：返回一个iterator，它指向在范围内的有序序列中可以插入指定值而不破坏容器顺序的第一个位置。重载函数使用了自定义的比较操作。 max：返回两个元素中的较大的一个，重载版本使用了自定义的比较操作。 max_element：返回一个iterator，指出序列中最大的元素。重载版本使用自定义的比较操作。 min：两个元素中的较小者。重载版本使用自定义的比较操作。 min_element：类似与max_element，不过返回最小的元素。 merge：合并两个有序序列，并存放到另外一个序列中。重载版本使用自定义的比较。 mismatch：并行的比较两个序列，指出第一个不匹配的位置，它返回一对iterator，标志第一个不匹配的元素位置。如果都匹配，返回每个容器的last。重载版本使用自定义的比较操作。 next_permutation：取出当前范围内的排列，并将其重新排序为下一个排列。重载版本使用自定义的比较操作。 nth_element：将范围内的序列重新排序，使所有小于第n个元素的元素都出现在它前面，而大于它的都出现在后面， 重载版本使用了自定义的比较操作。 partial_sort：对整个序列做部分排序，被排序元素的个数正好可以被放到范围内。重载版本使用自定义的比较操作。 partial_sort_copy：与partial_sort相同，除了将经过排序的序列复制到另外一个容器。 partial_sum：创建一个新的元素序列，其中每个元素的值代表了范围内该位置之前所有元素之和。重载版本使用了自定义操作替代加法。 partition：对范围内元素重新排序，使用输入的函数，把计算结果为true的元素都放在结果为false的元素之前。 prev_permutation：取出范围内的序列并将它重新排序为上一个序列。如果不存在上一个序列则返回false。重载版本使用自定义的比较操作。 random_shuffle：对范围内的元素随机调整次序。重载版本输入一个随机数产生操作。 remove：删除在范围内的所有等于指定的元素，注意，该函数并不真正删除元素。内置数组不适合使用remove和remove_if函数。 remove_copy：将所有不匹配的元素都复制到一个指定容器，返回的OutputIterator指向被拷贝的末元素的下一个位置。 remove_if：删除所有范围内输入操作结果为true的元素。 remove_copy_if：将所有不匹配的元素拷贝到一个指定容器。 replace：将范围内的所有等于old_value的元素都用new_value替代。 replace_copy：与replace类似，不过将结果写入另外一个容器。 replace_if：将范围内的所有操作结果为true的元素用新值替代。 replace_copy_if：类似与replace_if，不过将结果写入另外一个容器。 reverse：将范围内元素重新按反序排列。 reverse_copy：类似与reverse，不过将结果写入另外一个容器。 rotate：将范围内的元素移到容器末尾，由middle指向的元素成为容器第一个元素。 rotate_copy：类似与rotate，不过将结果写入另外一个容器。 search：给出了两个范围，返回一个iterator，指向在范围内第一次出现子序列的位置。重载版本使用自定义的比较操作。 search_n：在范围内查找value出现n次的子序列。重载版本使用自定义的比较操作。 set_difference：构造一个排过序的序列，其中的元素出现在第一个序列中，但是不包含在第二个序列中。重载版本使用自定义的比较操作。 set_intersection：构造一个排过序的序列，其中的元素在两个序列中都存在。重载版本使用自定义的比较操作。 set_symmetric_difference：构造一个排过序的序列，其中的元素在第一个序列中出现，但是不出现在第二个序列中。重载版本使用自定义的比较操作。 set_union：构造一个排过序的序列，它包含两个序列中的所有的不重复元素。重载版本使用自定义的比较操作。 sort：以升序重新排列范围内的元素，重载版本使用了自定义的比较操作。 stable_partition：与partition类似，不过它不保证保留容器中的相对顺序。 stable_sort：类似与sort，不过保留相等元素之间的顺序关系。 swap：交换存储在两个对象中的值。 swap_range：将在范围内的元素与另外一个序列的元素值进行交换。 transform：将输入的操作作用在范围内的每个元素上，并产生一个新的序列。重载版本将操作作用在一对元素上，另外一个元素来自输入的另外一个序列。结果输出到指定的容器。 unique：清除序列中重复的元素，和remove类似，它也不能真正的删除元素。重载版本使用了自定义的操作。 unique_copy：类似与unique，不过它把结果输出到另外一个容器。 upper_bound：返回一个iterator，它指向在范围内的有序序列中插入value而不破坏容器顺序的最后一个位置，该位置标志了一个大于value的值。重载版本使用了输入的比较操作。 堆算法：C++标准库提供的是max-heap。一共由以下4个泛型堆算法。 make_heap：把范围内的元素生成一个堆。重载版本使用自定义的比较操作。 pop_heap：并不是真正的把最大元素从堆中弹出，而是重新排序堆。它把first和last-1交换，然后重新做成一个堆。可以使用容器的back来访问被“弹出“的元素或者使用pop_back来真正的删除。重载版本使用自定义的比较操作。 push_heap：假设first到last-1是一个有效的堆，要被加入堆的元素在位置last-1，重新生成堆。在指向该函数前，必须先把元素插入容器后。重载版本使用指定的比较。 sort_heap：对范围内的序列重新排序，它假设该序列是个有序的堆。重载版本使用自定义的比较操作。 因篇幅问题不能全部显示，请点此查看更多更全内容