C++学习要点

这是我在化境编程网（http://www.5xsoft.com）上看到的一篇文章。

讲的还不错，贴出来给大家看看 

1. 传指针时，我们可以通过指针来修改它在外部所指向的内容。但如果要修改外部指针所指向的对象是不可能的。例如传递外部指针到函数内来分配空间，必须传递指针的指针或指针的引用。

2. char carry[10] = {0}; 编译器会将其后所有的东西都置0；

3. 函数返回值为const时，返回的东西付给一个类型相同的标示后其不能为左值；

4. const int *i; int const *i; int * const i; 前两个功能相同，说明I所指向的内容不变；最后一个说明指针指向的地址不变，但内容可变。

5. 类中的const成员函数。定义为在原型后加const。常量函数不能修改类中的任何属性。但有两种方法可以修改。

a)         {（myclass *）this->member1 = values;}

b)        将一个成员定义成mutable即可被常量函数修改。

6. 类中的常量const 类型的，不能在类中被用来定义数组。而enum {ONE=100; TWO=2};定义的ONE、TWO却可以。通常的enum定义的置分配问题：enum A{ L=9, Z};此时Z的值为10。

7. 用const定义的int可用来开辟数组，但const定义的常量数组中的元素，不能用来定义数组。

8. 用sizeof计算变量的空间，如果是数组，按实际空间返回；常量字符串（实际上是在静态内存区开辟的变量）sizeof返回比实际长度加一。如果是指针则不考虑它指向的空间大小，仅仅返回指针类型的大小。如果用sizeof计算函数的行参，即使是属组也仅仅返回一个相关类型指针的大小。

9. 形如int iarray[] = {12, 124, 433};编译器会自动给iarray分配3个元素的长度。元素长度的个数计算公式为sizeof(iarray) / sizeof(*iarray)。

10.         拷贝构造函数：当行参和实参结合时，如果是复杂对象的传值类型，则调用拷贝构造函数生成一个临时对象作为实参，退出函数时，临时对象被调用析构函数释放。当返回值是复杂对象是，也是调用拷贝构造函数来赋值。这就出现构造函数和析构函数被调用次数不相等的情况。拷贝构造函数的原型为A(A&)，我们可在类中重载。（缺省的拷贝构造函数是使用位（bit）拷贝方法：浅层拷贝，不拷贝指针指向的内容）。

11.         volatile类型的变量告诉编译器，本变量不需要进行代码优化。在多线程的应用中，我们如果读入一个变量到寄存器，此时时间片到期，去处理其他线程了，在重新获得处理机时，volatile类型告诉处理机，重新从变量读取数据到寄存器，而不是用寄存器数据直接处理，这样可以防止脏数据。

12.         class 和struct在一定程度上有相同的功能，只不过前者缺省的成员是私有的，后者在缺省时成员为共有的。故而class不是c++必需的保留字

13.         c和c++编译器，对相同的函数名编译后生成的相同的标示不同，故而在引用c的库文件时必须使用extern “C”告诉编译器，它是c的函数，按c的规则编译。通常我们使用的标准头文件已被处理过。

14.         #include “filename”； #include <filename>，前者先在当前目录下寻找文件，如果找不到再到系统规定的路径下找，后者直接到系统规定的路径下找。

15.         任何地方分配的静态变量（static）,其生命周期和主进程相同。第二次定义一个已存在的static变量，对变量的内用无影响，但它的可见范围只在定义的范围内。（考研曾作错！）(从静态变量的特性不难理解，类中的static类型是所有对象共享的)

16.         内联函数（inline）在实现上实际和宏类似，在内联函数出现的地方将函数展开来避免函数调用时的出栈、如栈，提高效率。但内联函数的代价是：代码增大。inline函数适合成员函数和自由函数。在类中实现的函数自动为内联函数。inline必须定义到函数的实现上，例如：inline int PlusOne(int) 是无效的。友元函数在类的体内被实现自动变为内联函数。

17.         #include <iostream.h>

#define DEBUG(X) cout<<#X"="<<X<<endl

其中的#X表示X被当作字符串输出。

18.         assert(0 != 0); 如果assert中的条件为假，则运行期间回退出程序，且报告出错代码的行号。（#include <assert.h>）

19.         静态对象在main结束或exit()被调用时才调用自身的析构函数。这意味着，在对象的析构函数中调用exit()是很危险的，有可能进入一个死循环中。调用abort()来退出函数，静态对象的析构函数并不会被调用。我们可以用atexit()来指定跳出main或调用exit时要执行的操作，用atexit注册的函数，可以在所有对象的析构函数之前调用。

void exit_fn2(void)

{

   printf("Exit function #2 called/n");

}     //处理函数

atexit(exit_fn2);

20.         全局变量实际上用的是静态存储。静态变量的构造是在进入main之前调用的，在main结束时调用它的析构函数。变量的名字由小范围（c++而言）：

//*.cpp

int a; //静态变量,但为 extern int a; 即它是全局的，外部可见的

static int b;       //静态变量,static 和extern相反，只在*.cpp中有效，对其他单元（文件）是不可见的。函数的定义和上面相同。

main()

{     }

类的静态成员变量可以如下赋值：int X::s=23;（在*.cpp中，无论公私都可以）

21.         名字空间(namespace): 定义一个名字空间，然后使用unsing就可以将当前的类型上下文转换名字空间所定地的.

namespace math

{

       enum sign{positive, negative};

       class integer{

       int i；

       sign s;

       public:

       interger(int I=0): i(i) {………}

       sign Sign() {………}

       …………………..  

       };//end class

interger A, B, C;

interger divide(interger, interger);

}//no ;



void q()

{

       using namespace math;

interger A; //hides math::A

A.Sign(negative);

Math::A.Sign(positive);

}

22.         一般对于函数flaot f(int a, int b); 某些c++编译器编译后生成_f_int_int的名字，有些c编译器则生成_f的名字。故在c++中链接c的库函数时要用extern “C”告诉编译器，按c的规则来编译函数。类似的还有extern “C”{#include “myhead.h”},c++还支持extern “C++”{}.

23.         在函数调用时，传引用也是将指针压栈。

24.         构造函数、析构函数、赋值构造函数、重载的=，四者的调用顺序：(三种函数都已实现)

a)    X  x;     X  a=x;

result:

X:construct  

X:copy_struct

b)    X x;        X a;        a=x;

Result:

X:construct

X:construct

X:copy_stru

operator =

X:destruct

如果没有赋值构造函数则结果：

                    X:construct

X:construct

operator =

X:destruct

（如果直接X a=x;这不掉用一般的构造函数，调用复制构造函数）

   指向类的成员函数的指针：设 int X:: a(void){}

X x;

                 int (X:: *pf)(void)= &X::a;

                 (x.*pf)();

指向成员变量的指针：设int i; 是X的成员变量

                    int X::*pm = &X::i;

                 X x;

x.*pm=12;

                 X *p=&x;

p->*pm=11;

25.         ++的操作符重载

const X& operator++() //++b;            const X operator++(int ) //b++

其中的第二个参数为哑元，永远也不使用到。

26．自动类型转换

a.)       class one{ b} class two{

      public:        one(){}                                          public:       two(const one &){}

             };              };

void f(two) {}

main(){ one ONE;       f(ONE);     }

此时会调用two中的一个构造函数进行类型的自动转换。但效率不高。可以阻止隐含的类型转换。方法如下：将类two给为

class two{ public:  explicit two(const one &){} };

explicit只对构造函数起作用。此时必须这样调用函数：f(two(ONE));

27．    一个理想的string类，它知道如何从string转换到char *:

      class string

{

      private:       char *s;

       public:

               string(const char *S="")

               {

                       s=new char[strlen(S)+1];

                       strcpy(s, S);

               }

               ~string(){delete s;}

               operator const char *() const {return s;}

};

     int main(void)

     {

       string str1("lizhihui2");

       string str2("lizhihui2");

       strcmp(str1, str2);

     }

28．    如果从一种类型到另一钟类型有多种转换方法，则会出错：

      classs Y;

      class X

{

             public:      operator Y() const； //convert X to Y

      };

      class Y{

             public:       Y(X) ;//convert X to Y

      };

      void f(Y);

      main()

{

      X x;

      f(x); //error: ambiguous conversion

}

29．删除数组对象：

      foo *fp = new foo[100];        delete []fp; 或 delete [100]fp;

      使指针更像数组：int *const q=new int[10];这样q不能移动则更像数组。

30．new堆内存用完时的异常处理器函数

void out_of_memory() {printf(“out of memory!/n”);        exit(1);}

main() { set_new_handler(out_of_memory); …………….}

31．new和delete的一种全局重载方法

void * operator new(size_t sz)

{

       printf("operator new :%d bytes/n",sz);

       void *m=malloc(sz);

       if(!m) puts("out of memory/n");

       return m;

}

void operator delete(void *m)

{

       puts("operator delete./n");

       free(m);

}

class s

{

       int i[100];

public:

       s(){puts("s::S()");}

       ~s(){puts("s::~S()");}

};

int main(int argc, char* argv[])

{

       int *p=new int(23); //operator new :4 bytes

       delete p;                  //operator delete.



       s *pp=new s;           //operator new :400 bytes

       delete pp;                 //operator delete.



       s*pa=new s[3];       //operator new :1208 bytes, more 8 bytes for array info

       delete []pa;              // operator delete.       (C++Bilder unsupport)

       return 0;

}

缺省的系统new和delete是调用malloc和free来工作的，系统要维护一张内存分配表。分配出去的内存要记住它的大小和起始地址，释放时根据起使地址释放。

32．    重载new在特定的内存上分配空间

class s

{

       int i;

public:

       s(int ix=0){i=ix;}

       ~s(){puts("s::~S()");}

       void * operator new(size_t  d, void *loc) {return loc;}

};

int main(int argc, char* argv[])

{

       int len[10];

       s *ps = new (len+1) s(3412);  

//第一个函数相当于告诉new从哪里开始分配空间（隐含）；

//它的值则是要分配的长度。特殊的分配要注意需特殊的释放。

       return 0;

}

new 在len的空间上分配空间给s对象。（new重载第一个参数必须为size_t系统会自动传给它一个大小尺寸）

33．    跳转函数setjmp、longjmp

void OZ()

{

       printf("there 's no placelike home/n");

       longjmp(kansas, 47);

}

jmp_buf kansas;

int main(int argc, char* argv[])

{

       if(setjmp(kansas)==0)  OZ();

       else       printf(" I have a dream../n");

       return 0;

}//执行完OZ()后，会立即跳转到printf(" I have a dream../n");执行

setjmp()是一个特别的函数，当被调用的时候，它吧当前的进程状态的相关信息放到buff中，并返回0；如果使用longjmp对同一个buff操作，这就像再次从setjmp中返回，即正确弹出setjmp的后端。这时返回值对于longjmp是第二个参数，所以能发现实际上从longjum中返回了。

34．    异常定制和抛出

class up{};

class fit{};

void g();

void f(int i) throw (up, fit)

{

       switch(i)

       {

               case 1: throw up();

               case 2: throw fit();

       }

       g();

}

void g(){throw 47;}

void my_unexpected()

{

       printf("unexpected handle!/n");

       exit(1);

}

int main(int argc, char* argv[])

{

       set_unexpected(my_unexpected);

       for(int i=1;i<=3;i++)

       {

               try{ f(i);}

               catch(up)  {printf("catch up/n");}

               catch(fit){printf("catch fit/n");}

       }

       return 0;

}

set_unexpected设置处理系统不认识的异常情况（缺省是中断）（异常处理安装器缺省指向terminate()）。上面我们定义了up、fit两种异常抛出类，并抛出了这两种异常，来捕获。抛出异常时也生成了异常的一个对象。Catch(…){}捕获所有异常。( 但失去了截获的异常类型)

35．    当有未被捕获的的异常时，系统缺省调用terminate()，它调用abort()函数直接从进程中退出，此时静态全局变量的析构函数未被调用。可以使用set_terminate来安装自己的terminate函数，用法和上面的几个安装起一样。他返回的typedef void (*terminate_handler)();为老的处理器指针。

       当一个构造函数在分配资源时，如果这时有unexpect异常到达，系统会结束而不会调用析构函数来释放已分配的堆内存。

36．    运行期间的类型判定（run-time type identification, RTTI）

a.) 编译器实现。

使用函数typeid(objname).name()就可得到函数的名字。实际上typeid（）返回全局typeinfo类的常量对象的一个引用。使用before来判断一个对象是否在另一个对象前定义。

fit ft;

       up u;

       if(typeid(ft).before(typeid(u))) printf("lzh/n"); //is true

b). 安全方法向下映射法

        C* pc = dynamic_cast<C*>(pd);   // ok: C is a direct base class
                                         // pc points to C subobject of pd
           判断pd时不是一个C*类型的对象，如是则返回一个指针，否则返回NULL.是通过试图指派法来断定的，与第一种方法不同。