C基本语法,C语法基础.pdf

《C基本语法,C语法基础.pdf》由会员分享，可在线阅读，更多相关《C基本语法,C语法基础.pdf（14页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、C+基本语法C+基本语法(上)从大学里面开始接触C+到现在这么长的时间，一直把自己当成C+方面的 Master，且不论使用这门语言多长时间，当年狂读 的基础也让自己觉得已经对C+这门语言颇有造诣。尽管不精通于STL，总觉得MFC/ATL的库足已，能够让我很快写出高质量、高效率的C+代码(基于 MFC)。所以 、只是摆在书架上，供偶尔查证之用。此番重读C+，研读 STL 的代码，受益匪浅，不由得拿出当年攻读以及研读MFC 源代码的精神来。毛主席说过，骄傲使人落后，这次重读C+使得我每每汗颜于此，学海无涯，人外有人。推此及彼，其实又何尝只在C+、技术邻域呢？自满因谦虚变成自信。0.编译 C+程序时

2、，编译器自动定义了一个预处理名字_cplusplus，而编译标准C 时，自动定义名字 _STDC_。另外几个比较有用的预定义名字是_LINE_(文件的当前编译行数)，_FILE_(当前被编译的文件名字)，_DATE_(编译日期)和_TIME_(编译时间)。1.C 库头文件的C+名字总是以字母C 开头，后面去掉后缀.h 的 C 名字，如在 C+库中的名字是。两种使用方法：#include或者#includeusing namespacestd;2.静态与动态内存分配的两个主要区别：(1)静态对象是有名字的变量，可以直接进行操作，动态对象是没有名字的变量，可以通过指针间接进行操作；(2)静态对象的

3、分配和释放由编译器自动处理，而动态对象必须由程序员显式的管理，通过 new 和 delete 两个表达式来完成。3.类的缺省构造函数是不需要用户提供任何参数的构造函数。4.STL 中标准数组-vector(文件)，两种遍历方式：(1)通过 下标操作符；(2)使用 迭代器，如 vector:iteratoriter;可以通过对iterator解引用 来直接访问实际的元素*iter;STL提供了作用于容器类型的泛型算法，头文件。5.文字常量是不可寻址的。6.常用的几个转义序列：newline(换行符)n 14horizontaltab(水平制表符)tverticaltab(垂直制表符)vbacks

4、pace(退格符)bcarriage return(回车键)rformfeed(进纸键)falert(bell)(响铃符)a 77.变量和文字常量都有存储区，区别在于变量是可寻址的，对于每个变量，都有两个值与之关联：数据值，称为对象的 右值，是被读取的值，文字常量和变量都可以用作右值；地址值，被称为变量的左值，是 位置值，文字变量不用被用作左值。8.每个指针都有一个相关的类型。不同数据类型的指针之间的区别在于指针所指的对象的类型上。如果我们需要的仅仅是持有地址值，C+提供了一种特殊的指针类型：空(void*)类型指针，它可以被任何数据指针类型的地址值赋值，除了函数指针。不能操作空类型指针所指向

5、的对象，只能传送该地址值或将它与其他地址值做比较。9.C 风格的算法循环：while(*p+)10.正确定义引用，如下：const int ival=1024;const int*&pi_ref=&ival;/错误，pi_ref 是一个引用，它指向定义为const 的 int 型对象的一个指针，引用不是指向常量，而是指向了一个非常量指针const int*const&pi_ref=&ival;/OK11.指针和引用有两个主要区别，引用必须总是指向一个变量；如果一个引用给另外一个引用赋值，那么改变的是被引用对象而不是引用本身。12.布尔类型对象虽然也被看作整数类型的对象，但是它不能被声明为sig

6、ned，unsigned，short或 long。13.一个数组不能被另外一个数组初始化，也不能被赋值给另外一个数组，而且，C+不容许声明一个引用数组。14.数组标志符代表数组中的第一个元素的地址。它的类型是数组元素类型的指针。int ia10;第一个元素的地址:ia 或者是&ia0第二个元素的地址:ia+1 或者是&ia115.STL 中 vector 有两种不同的使用形式：数组习惯，即使用下标操作符，注意只能操作已经存在的成员；STL 习惯，使用iterator 来操作，对其解引用可以访问实际的对象，也可以通过加减来移动位置。雷同与 5。16.typedef 用来为内置的或用户定义的数据类

7、型引入助记符号。typedefchar*cstring;extern const cstring cstr;其中 cstr 的类型是char*const cstr;17.当一个对象的值可能会在编译器的控制或监制之外被改变时，那么该变量应该声明为volatile，编译器执行的某些例行优化不能应用在已经指定为volatile 的对象上。18.pair类可以在单个对象内部把相同类型或不同类型的两个值关联起来。我们可以使用成员访问符号来访问pair 中的单个元素，他们的名字为first和 second。19.在类体外定义的内联成员函数，应该被包含在含有该类定义的头文件 中。20.setw()是一个预定

8、义的iostream操作符，它读入的字符数最多为传递给它的参数减一。如setw(1024)，则最多读入1023 个字符。21.标准 C+头文件 提供了与内置类型表示有关的信息，另外，还有标准C 头文件和。22.对于二元操作符，左右操作数的计算顺序在标准C 和 C+中是都是未定义的，因此计算过程必须是与顺序无关的。如iaindex+iaindex就是未定义的。23.初始化过程为对象提供初值，而赋值是用一个新值覆盖对象的当前值，一个对象只能被初始化一次，也就是在它被定义的时候，而赋值可以多次。如初始化int ival=1024;赋值ival=1025;赋值操作符的左操作数必须是左值。24.size

9、of 操作符的作用是返回一个对象或者类型名的字节长度，返回值类型是size_t，这是一种与机器有关的typedef定义，可以在文件中找到它的定义。25.按位非操作符()翻转操作数的每一位。移位操作符()将其左边操作数的位向左或者向右移动某些位，移到外面的位被丢弃，左移操作符从右边开始用0 填充空位。右移操作符，如果是无符号数从左边开始插入0，否则它或者插入符号位的拷贝或者插入0，这由具体实现定义。按位与(&)对两个操作数的每一位进行与操作(只有两位同时为1 时值才为1)。按位异或()操作符对两个操作数的每一位进行异或操作(只有两个含有一个1 时值才为1，即两位不同值为1)。按位或(|)操作符对

10、两个操作数的每一为进行或操作(只有两位同时为 0 时值才为0)。如将整数a 的第 27 位设为 1：a|=1 27；将第 27 为设为 0：a&=(127)；测试第27 位是否为1：a&(1 27)。26.bitset类，头文件为，支持三种构造方式，第一是直接指定向量长度，如 bitset bs;第二是显式提供一个无符号参数，如bitsetbs(012);将第 1 和第 3 位设置为1。第三是传递一个代表1 和 0 集合的字符串参数，还可以标记字符串的范围，如stringbitval(“1111110101100011010101”);bitsetbs(bitval,6,4);则 bs 的第

11、1 和第 5 位被初始化为 1；如果去掉指定字符串范围的第三个参数，则范围是指定的位置开始一直到字符串的末尾。而函数to_string和 to_ulong则把 bitset 对象转换为字符串和整型表示。27.操作符优先级表28.隐式转换发生在下列情况下：1.混合类型的算术表达式，即算术转换；2.用一种类型的表达式赋值给另一种类型的对象；3.把一个表达式传递给一个函数调用，表达式的类型和形式参数的类型不相同；4.从一个函数返回一个表达式。29.算术转换的两个原则：1.如果必要的话，类型总是提升为较宽的类型；2.所有含有小于整型的整值类型的算术表达式，在计算之前，其类型都会被转换为整型。30.co

12、nst_cast 转换掉表达式的常量性以及volatile对象的 volatile 性；如 const_cast ptr；编译器隐式执行的任何类型转换都可以由static_cast显式完成。reinterpret_cast通常对操作数的位模式执行一个比较低层次的重新解释。dynamic_cast支持在运行时刻识别由指针或引用指向的类对象。31.typename是标准 C+中新引入的关键字，用于template中。32.两个主要的 顺序容器 是 list 和 vector，另外一个顺序容器是deque；两个主要的 关联容器是 map和 set。33.选择顺序容器类型的一些准则：(1)随机访问，v

13、ector 比 list 好得多；(2)已知道元素的个数，则 vector 比 list 强；(3)如果不只是在容器两端插入和删除元素，则 list 比 vector 强很多；(4)除非需要在容器首部插入和删除元素，则 vector 比 deque 好。对于小的数据类型，vector的插入大批量数据的性能比list 好很多，而大型数据时则相反，解决方案是只保留大型数据的指针。Reserve 函数容许将容器的容量设置成一个显式指定的值，resize 函数重新设置容器的长度；每个容器支持一组关系操作符；用户定义的类类型必须支持等于操作符，必须支持小于操作符，元素类型必须支持一个缺省值（对类类型，指

14、缺省构造函数）。34.除了 iterator类型，每个容器还定义了一个const_iterator类型，对遍历 const 容器是必需的，const_iterator容许以只读方式访问容器的底层元素。Iterator算术运算(是指加法或者减法等算术运算，而不是重载的+操作符)只适用 vector 或 deque，而不适用于list 因为list 在内存中不是连续存储的。35.string类的 find 函数返回一个索引类型string:size_type或者返回string:npos；find_first_of提供了被搜索字符串中任意一个字符相匹配的第一次出现，并返回它的索引位置，substr

15、 函数生成现有string 对象的子串的一个拷贝，第一个参数指明开始的位置，第二个可选的参数指明子串的长度。rfind，查找最后的指定子串的出现；find_first_not_of查找第一个不与要搜索字符串的任意字符相匹配的字符；find_last_of查找与搜索字符串任意元素相匹配的最后一个字符；find_last_not_of查找字符串中的与搜索字符串任意字符全不匹配的最后一个字符。36.tolower 函数接受一个大写字符，并返回与之等价的小写字母，必须包含头文件，另外一些该文件中的函数，isalpha,isdigit,ispunct,isspace,toupper等。37.assign

16、 对把字符串进行赋值；append 则类似于+=操作符；swap 交换两个string 的值；进行越界检查的at 类似于 操作符；compare 函数提供了两个字符串的字典序比较；replace函数提供了十种方式，可以用一个或者多个字符替换字符串中的一个或多个现有的字符。38.map 定义了一个类型value_type，表示相关的键值对，用于insert 函数。39.关联容器支持以下两个函数：find 查找指定 key，不存在则返回end()；count 返回指定key值的出现的次数。40.set 定义了一个类型difference_type，是两个iterator相减的结果类型；insert

17、er 类用来执行插入操作。如:copy(in,eos,inserter(set1,set1.begin();因为 copy 执行的是赋值操作，所以使用inserter使用插入操作取代赋值操作。41.multiset和 multimap的特殊操作equal_range返回 iterator对值，如:pairpos;pos=mp.equal_range(tst);42.stack类，头文件 ，函数 top 和 pop 分别是访问栈顶元素和删除栈顶元素。栈类型是容器适配器，因为它把栈抽象施加到底层容器上，缺省情况下栈使用deque实现，可以自定义缺省的底层容器，如使用list 构建 stack：st

18、ack int,list intStack;43.C+中，数组永远不会按值传递，它总是传递第一个元素(准确的说是第0 个)的指针。多维数组被传递为指向第0 个元素的指针。如matrix10等同于 int(*matrix)10，都表示 matrix是个二维数组，每行10 列。而 int*matrix10表示一个含有10 指向 int 的指针的数组。44.UNIX 系统函数chmod 改变文件的保护级别，它的函数声明在系统头文件中。45.链接指示符的第一种形式由关键字extern 后跟一个字符串常量以及一个普通的函数声明构成，如 extern“C”void exit();第二种形式是是多个函数声明

19、用大括号包含再链接指示符复合语句中。链接指示符不能出现在函数中，而且放在头文件中更合适。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(*)(

20、int)。48.函数指针数组的定义:int(*testCases10)();使用 typedef 可以使声明更易读。如 typedef int(*PFV)();PFVtestCases10;声明一个“指向函数指针数组的指针”，如 PFV(*pArray)10;调用其中函数(*pArray)2();49.函数参数的类型不能是函数类型，函数类型的参数将被自动转换为该函数类型的指针。如存在函数类型typedefint funtype(int);void sort(int,funtype);与函数定义sort(int,int(*)(int);等价。函数指针也可以作为函数返回值的类型，如int(*ff(

21、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”typed

22、efvoid FC(int);C+函数void f2(FC*pfParam);51.关键字 extern 为 声明但不定义提供了一种方法，extern 声明不会引起内存被分配。52.设计头文件时不应该含有非 inline函数和对象的定义。符号常量的定义和inline函数可以被重复定义多次，在编译期间，在可能的情况下，符号常量的值会取代该名字的出现，这个过程为常量折叠。符号常量是任何const类型的对象。但是如下定义不符合char*const buf=new char10;因为它的值不能在编译时确定，不能定义在头文件；const char*msg=”Error”;因为 msg 不是常量，它是指向

23、常量值的非常量指针，必须修改为const char*constmsg=”;53.有三种局部对象：自动对象，寄存器对象和局部静态对象。在函数中频繁使用的变量可以使用关键字register声明为寄存器对象。54.delete 表达式只能作用于由new 表达式从空闲存储区分配的指针上，如果作用于其他内存指针上，可能导致问题，但是作用于值为 0 的指针上，delete不会指向任何操作。55.auto_ptr是 STL 提供的类模板，可以帮助程序员自动管理用new 表达式动态分配的单个对象。头文件为，只有拥有底层对象所有权的对象负责释放内存，但使用Copyconstructor和 Assignment进

24、行操作时，左边的对象得到所有权，而右边的则被撤销所有权。使用 get 来测试是否指向一个底层对象，使用reset 来重新设置一个底层对象，assignment操作符不支持内存指针。56.可以创建动态的const 对象，如const int*pci=new const int(1024);不能创建const对象数组，创建的const对象必须初始化。57.定位 new表达式 容许程序员要求将对象创建在已经被分配好的内存中。如：char*buf=newchar 1024;Foo*pb=new(buf)Foo;58.可以使用未命名的namespace 来声明一个局部于某一文件的实体，即该函数只在当前文

25、件中可见。通常在实现文件中使用，这种方法是用来替换C 语言中的 static函数声明。59.重载函数，两个函数的函数名相同，但函数参数表必须不同，参数个数或参数类型不同；识别函数声明并不考虑传值参数类型是const或者 volatile，即 void f(int)和函数 voidf(const int)是同一个函数。但是如果是传地址或者传引用时，则需要考虑这两个修饰符。voidf(int*)和函数 void f(const int*)为不同的函数。60.重载函数集合中的所有函数都应该在同一个域中声明。using 声明和 using 指示符可以使得一个名字空间的成员在另外一个名字空间可见，这对重

26、载函数集合产生影响。using声明总是为重载函数的所有函数声明别名，如果引入一个函数在该域中已经存在并且参数表相同，则产生错误。而extern“C”链接指示符只能指定重载函数集中的一个函数。61.函数重载解析的三个步骤(1)确定函数调用考虑的重载函数的集合，确定函数调用中实参表的属性；(2)从重载函数集合中选择函数，该函数可以在给定的情况下用实参进行调用；(3)选择与调用 最匹配的函数。在第二步中，编译器确定需要进行的参数转换，并划分等级，通常分为 精确匹配；与一个类型转换匹配；无匹配。其中类型转换通常分为三组：提升、标准转换 和 用户定义的转换。62.精确匹配细节：即使一个实参必须应用一些最

27、小的类型转换才能将其转换为相应函数参数的类型；这些最小的类型转换包括：左值到右值的转换；从数组到指针；从函数到指针的转换和限定类型转换(通常是 const 和 volatile 类型转换)。精确匹配可以使用一个显式强制转换强行执行，这时实参类型就为转换后的类型。C+基本语法(下)0.类型转换中的提示实际上就是内置数据类型的提升，如char 转换为 int，bool 转换为 int，float 转换为 double 等。1.类型转换中的标准转换有五种类型：(1)整值类型转换(不包括提升)；(2)浮点转换；(3)浮点-整值转换；(4)指针转换 和(5)bool转换。前三种转换是有潜在危险的转换。所

28、有的标准转换都是等价的。一些注意点：0 可以被转换为任何指针类型，这样创建的指针称为空指针值，同时 0 也可以是任何整型常量表达式。常量表达式0L 及 000 都属于整值类型因此能够被转换为 int*的空指针值。指针转换允许任何指针类型的实参转换成void*，但是函数指针不能用标准转换为void*。2.对于引用参数来说，如果实参是该引用的有效初始值，则为精确匹配，否则为不匹配。3.模板非类型参数代表了一个常量表达式，由一个普通的参数声明构成，表示该参数名代表了模板定义种的一个常量。在实例化时，该常量会被一个编译时已知的常量值代替。4.在模板中，为了支持类型表达式，必须使用typename；如

29、typenameParam:name*p;定义了一个指针p；如果不使用typename则该表达式为乘法。另外，模板函数也可以被声明为 inline 或 extern，必须把指示符放在参数模板后。如template inline Tfun1()5.函数实参的推演中三种类型转换是允许的：(1)左值转换；(2)限定转换(const 和 volatile 指示符)；(3)到一个基类的转换：如果实参是一个类，它有一个从被指定为函数参数的类模板实例化而来的基类；如下面的代码：template class Array;template T min(Array&array)；6.可以 使用显式指定模板参数，模

30、板参数被显式指定在逗号分隔的列表中，紧跟在函数模板实例的名字后面；如min(a,b);代码强行指定模板参数以unsigned int 转换。模板显式指定参数类似于默认参数，只能省略后面的参数。7.C+支持两种模板编译模式：包含模式和分离模式。包含模式下，在每个模板被实例化的文件中包含函数模板的定义，并且往往把定义放在头文件中；分离模式下，函数模板的声明被放在头文件中，它的定义放在另外一个实现文件中，函数模板在实现文件中的定义必须使用关键字export。8.C+支持模板的 显式实例化，在显式实例化声明所在的文件中，函数模板的定义必须被给出。如 template T f(T t);显式实例化为in

31、t*类型，templateint*f(int*);9.C+支持模板的 显式特化 定义，如：template T max(T t1,T t2)显式特化 const char*类型的定义：templateconst char*max(const char*c1,const char*c2);显式特化隐藏了通用模板对于该类型的实例。如果模板实参可以从函数参数中推演出来，则模板实参的显式特化可以从其中取消。如上面的例子:template constchar*max(const char*,const char*);其省略与显式指定模板参数一样。10.抛出异常可通过throw 表达式来实现。如抛出一个p

32、opOnEmpty(类对象)的异常，表达式为throw popOnEmpty();同时在 catch 子句中，为了防止大型类对象的复制，可以将catch子句的异常声明改为引用。11.在查找用来处理被抛出异常的catch 子句时，因为异常而退出复合语句和函数定义，这个过程称为 栈展开。C+保证，随着栈的展开，尽管局部类对象的生命期是因为抛出异常而结束，但是所有的析构函数将被调用。要重新抛出接受到的异常，使用语句throw;重新抛出的过程中希望对接受到的异常对象进行修改，必须将catch子句的异常声明改为引用。12.异常规范跟随在函数参数表之后，用 throw 指定，后面是 异常类型表。如 voi

33、d pop(int&value)throw(popOnEmpty);异常规范保证不会抛出任何没有出现在异常类型表中的异常。如果在运行时抛出一个没有出现在异常类型表中的异常，则系统调用C+标准库中定义的函数unexpected，该函数直接调用了terminate函数结束程序。空的异常规范不会抛出任何异常。13.异常规范可以在函数声明中指出，当有异常规范的指针被初始化时，被用作右值的指针异常规范必须比用作左值的指针规范一样或者更严格，当然，参数类型表必须相同。14.使用函数指针来使得template适应更多的场合。内置的函数指针声明的模板定义，代码如下:template const Type&mi

34、n(const Type*p,Comp comp)；该方案的主要缺点是函数调用使它无法内联。使用函数对象 来替代函数指针，函数对象是类实现，它重载了调用操作符，即 operaotr()函数。有两个优点：(1)如果被重载的调用操作符是inline，则编译器能执行内联编译；(2)函数对象可以拥有任意数目的额外数据来缓冲结果。改写模板使之能同时接受函数指针和函数对象(缺点是没有任何的原型检查)，template min(const Type*p,Comp comp);15.函数对象一般有三个来源，(1)系统预定义的算术、关系和逻辑函数对象，包含头文件；(2)预定义的函数适配器，它容许对预定义的函数对

35、象进行特殊化或者扩展；(3)自定义的函数对象。16.标准库提供的函数适配器 分为两类：(1)绑定器(binder)，通过把二元函数对象的一个实参绑定到一个特殊的值上，将其转换为一元函数对象，有两种绑定器，bind1st 和 bind2nd，分别将值绑定到第一个参数和第二个参数上；如下代码:count_if(vec.begin(),vec.end(),bind2nd(less_equal(),10);(2)取反器(negator)，将一个函数的值翻转的适配器，标准库提供了两个not1 和 not2。17.函数对象类定义的简单形式是包含一个被重载的函数调用操作符。如class less_equal

36、_tenpublic:bool operator()(int val)returnval=10;扩展该类，使之容许提供一个遇每个元素比较的值。如:class less_equal_valuepublic:less_equal_value(int val):_val(val)bool operator()(int val)returnval=_val;private:int _val;使用上面这个类：count_if(vec.begin(),vec.end(),less_equal_value(25);另外一种拓展该类的方法，不使用构造函数，它根据被比较值对类参数化，如:template cla

37、ss less_equal_value2public:bool operator()(int val)returnval=_val;使用该模板类:count_if(vec.begin(),vec.end(),less_equal_value2();18.标准库提供了一组(一共是三个)插入 iterator的适配器函数，它们返回特定的插入iterator：(1)back_inserter，使用容器的push_back方法替代赋值操作符；(2)front_inserter，使用容易的push_front方法替代赋值操作符；(3)inserter，使用容器的insert 替代赋值操作符，它需要两个实

38、参，容器本身以及它的一个iterator指示起始插入位置。19.标准库为输入和输出iostream 的 iterator提供支持。类istream_iterator类支持在一个istream 或其派生类上的iterator操作，同理 ostream_iterator支持 ostream及其派生类。使用头文件。20.标准库定义了五种iterator:(1)InputIterator，用来读取元素，不保证支持写入操作；(2)OutputIterator，用来写入元素，但不保证读入；(3)ForwardIterator，用来以某一个遍历方向向容器读或写；(4)BidirectionIterator，

39、从两个方向读或写一个容器；(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()；需要

40、(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()；对修改所操作容器的算法，一般有两个版

41、本，一个替换版本，它改变被应用的容器，另外一个返回带有这些变化的容器复本，是拷贝版本，通常在函数名称后加上_copy，如 replace_copy()。头文件是，在使用下列4 个算术函数adjacenet_difference,accumulate,inner_product和 partial_sum，必须使用头文件。22.泛型算法的一些限制：(1)关联容器(map或 set 等)在内部维护了元素的排序关系，不容许在关联容器上应用重新排序的泛型算法，如 sort 和 partition等。(2)list不支持随机访问，所以 merge,remove,reverse,sort 和 unique

42、等算法最好不要使用在list 上。list 提供了上述这些泛型算法的成员函数。23.在类体外定义inline 函数，可以显式在类体的声明中使用关键字inline，或者在类体外的函数定义上显式使用关键字inline，或者两者都有。但是内联函数必须在调用它的每个文本文件中被定义，所以在类体外被定义的内联函数也必须被放在类定义出现的头文件中。24.只有被声明为const的成员函数才能被一个const类对象调用。关键字 const 被放在成员函数的参数表和函数体之间，必须在声明和定义中同时指定const 关键字。const 函数不能修改类数据成员，但如果类中含有指针，则const 函数能修改指针指向的

43、内容。const 函数可以被相同参数表的非const 函数重载。volatile 关键字类似于const。25.为了允许修改一个类的数据成员，即使是const 对象的数据成员，可以吧数据成员声明为mutable。26.类的静态数据成员对每个类类型都只有一个拷贝，由该类类型的所有对象共享访问；它比全局对象有两个优点：(1)静态数据成员没有进入全局名字空间；(2)可以实施数据隐藏，比如设置为private 的，而全局变量则不行。一般而言，静态数据成员在该类定义之外被初始化，静态成员的名字必须被其类名限定修饰，如int Account:a=90;和全局变量一样，静态数据成员也只能提供一个定义，也就是

44、初始化不能放在头文件中。特别的是，有序型的const静态数据成员可以在类体中用常量值初始化。如static const int Account:nameSize=5;用常量值初始化的静态数据成员是一个常量表达式，同时该成员还必须在类定义之外被定义，即 nameSize 要起作用，必须在类定义再定义，可以不赋值。数组类型不属于有序，不能再类体中初始化。访问静态成员可以通过类对象使用成员访问操作符或者用被类名修饰的名字直接访问(Account:nameSize)。27.静态数据成员的一些独特方式的使用：(1)静态数据成员的类型可以是其所属类，而非 static的数据成员只能声明为类对象的指针或者引

45、用。如：class A public:static Bar mem1;/合法的。Bar*pMem2;/合法的Bar mem3;/错误(2)静态数据成员可以被作为类成员函数的缺省实参，而非 static 成员不能。28.静态成员函数的声明除了在类体中的函数声明前加上关键字static，以及不能声明为const或 volatile 之外，与非static 成员函数相同。静态成员函数没有this 指针。29.函数指针不能被赋值为成员函数的地址，即使返回类型和参数表完全匹配。成员函数指针的声明需要扩展的语法，如int(Account:*test)();声明了一个Account 类，返回int 的无输入

46、参数的成员函数指针。类成员的指针必须总是通过特定的对象或指向该类类型的对象的指针来访问。如类的指针对象pobj 调用 test 函数(pobj-*test)();或者类对象obj 调用 test函数(obj.*test)();调用中必须有括号；同理，类成员的指针也必须使用特殊的语法，如 typedefint Account:*member;member=&Account:size;其中 member 就是 Account 类中 size 的指针，使用它也必须使用指针对象或者类对象。30.指向类的静态成员的指针是普通的指针，包括函数指针。31.联合是一种特殊的类，一个联合中的数据成员在内存中的存

47、储是相互重叠的，每个数据成员都在相同的内存地址开始，分配给联合的存储区数量是“要包含它最大的数据成员”所需的内存数。默认情况下，联合中所有数据都是public 的。union 不能有静态数据成员或引用成员，如果一个类类型定义了构造函数、析购函数或拷贝赋值操作符，则它不能成为union的成员类型。32.使用 union 的风险是通过一个不恰当的数据成员意外的获取到当前存储在union 中的值，一般的解决方法是定义一个额外对象，来跟踪当前被存储在union中的值的类型，成为 union的判别式(discriminet)。一个比较好的经验是为所有union 数据类型提供一组访问函数。如：union

48、TokenValue int _iVal;char _cVal;enum TokenKind ID,Const ant;classTokenTokenKind tok;TokenValueval;这里的 TokenKind 就是判别式。union 的名字是可选的，特殊的情况下union 实例可以没有名字(定义在类体内部)。33.位域是一种特殊的类数据成员，它可以被声明用来存放特定数目的位，位域必须是有序数据类型，可以有符号，也可以无符号。位域标志符后面跟一个冒号，然后是一个常量表达式指定位数，如unsigned int mode:2;位域的访问方式和数据成员相同。取地址操作符不能应用在位域上。

49、34.嵌套类是指一个类在另一个类中定义。嵌套类可以通过外围类的访问控制关键字进行控制，比如设置为private 可以控制嵌套类无法被直接访问。嵌套类也可以定义在外围类之外，比如 ListItem的外围类是List，可以定义class List:ListItem;这样的代码可以保护嵌套类的代码不公开。嵌套类访问外围类的非静态成员必须通过对象或指针，但可以直接访问外围类的静态成员，类型名和枚举值(假定这些成员是公有的)，类型名是一个typedef 名字、枚举类型名或者一个类名。35.枚举值在定义枚举的域内可以被直接访问，因为枚举定义并不像类定义一样，它没有维护自己相关的域。36.C 风格的显式初始

50、化表有两个注意缺点：(1)它只能被应用到所有数据成员都是公有的类的对象上；(2)它增加了意外和错误的可能性，比如弄错了初始化的顺序。如 Data loc=“aaa”,0;/struct Data 的定义是 int ival;char*pstr;37.为构造函数指定实参有三种等价形式，(1)Account acct1(“AnnaPress”);(2)Account acct2=Account(“AnnaPress”);(3)Account acct3=“Anna Press”;第三种形式只能被用于指定单个实参的情形，一般推荐使用(1)。代码 Accountacct4();其实声明了一个函数形式。