常量综述(一)

    技术2022-05-11  36

     常量在C++里面是一个很重要的概念,有很多细节的地方很容易忽略,这里我根据《C++编程思想》总结了一下。

    1.出现的历史        常量最普遍的用法是值替代,在C语言里我们用宏来定义常量:                    #define MAX  100        但这是预编译的,也就是说在编译时只是简单宏展开,并不检查宏的语法是否正确。所以在C++里引入了const来定义常量,增加了编译时的检查安全性得到了提高。(C99 里面加入了const关键字)                     const int size=100;                     int array[size];        size在编译时就知道是多少了。常量通常是保存在符号表里面的,没有自己的内存地址,但我们可以强制编译器为常量分配内存                     const int i=100;                     long address=(long)&i;        但要注意的是const可以用于集合,但必须保证编译器不会复杂到把一个集合保存到它的符号表中,所以必须分配内存。在这种情况下,const意味着"不能改变的一块存储空间"。然而,不能在编译期间使用它的值,因为编译器在编译期间不需要知道存储的内容。                     const int i[]={1,2,3,4};                     int f[i[3]];        //complie error       还有C++中默认const是内部连接的,生存期为这个程序的运行时间。

    2.指针中常量       指向const的指针:                   const int* p;                   int const *p;             这两种意义一样都是说p指向的数是个常量,但p本身可以改变。      const指针:                   int* const p=&d;             p指向的变量不一定是常量,但p本身不能再指向其它的变量。             两种可以一起使用          const int* const p=&d;      就都不能改变。      要将const看成另外一种类型,转换时要显示转换。               const int e=2;               int *w=(int*)&e;    //legal but bad practice

    3.函数参数和返回值                                 void f(const int i);       这种函数就认为在f里面不会对 i 进行改变,调用时可以用常量,变量都行,但下面这种只能用变量做参数来调用                                 void f(int i);       返回const值                 一般情况对于内部类型,我们都不会返回常量,但对于用户定义的类型,按值返回常量就很重要了。如果一个函数按值返回一个类的对象为const是,那么这个函数的返回值不能是一个左值。

    class  X{          int  i;    public :         X( int  ii = 0 )  { i = ii; }         void  modify()   { i ++ ; }};X f5(){      return  X();} const  X f6(){       return  X();} void  f7(X &  x){      x.modify();} int  main(){        f5() = X( 1 );        f5().modify;          // OK         f7(f5());                // Cause warning         f6() = X( 1 );            // compile error         f6().modify();        // error         f7(f6());                // error

          上面例子f6返回的是常量,是不能成为左值的。

          但f5返回的不是常量也有问题,因为返回值是个临时量,编译器使所有的临时量自动地成为const,这时编译器必须产生一个临时对象来保存f5的返回值,如果f7的参数是按值传递的话,它在f7中生成那个临时量的副本,能很好的工作,然而f7是按引用传递的,这意味着它取临时量的地址,又f7的参数不是按const引用传递的,可能会对参数进行修改,问题就是编译器在计算表达式结束时,该临时对象也会不复存在了,对临时对象的任何修改也将丢失。其实第一行也有同样的问题,可惜编译器不会有提示信息。


    最新回复(0)