Chapter03 第二节 const限定符的使用

3.2 const限定符

  • const的作用:替代#define作为有类型检查的常量来使用。他的值被初始化后就固定了,成为一个只读变量,不能更改。(推荐使用特殊的命名规范来区分常量和非常量)。
  • const的声明:const type name = value。需要在声明的时候赋值,如不赋值,那么常量的值是不确定的,并且无法修改。
  • const相对于#define的好处:
    • 有明确的类型
    • 可以嵌套进更复杂的类型
    • 可以限定使用区域

const用法扩展

面试一直会问道const的用法、原理等,索性趁回归基础总结一下。

  • const的基本作用:防止值被修改

  • 定义一个const对象const type name = value,声明常规变量一定要初始化,上文已经讲过。在类中声明一个const成员只能使用初始化列表进行初始化。

  • const的作用域: const默认的作用域是本文件。他能被本文件的对象访问,但只存在本文件中,不能被其他文件访问。如果想要在其他文件中也访问到这个const变量,需要在定义的时候加extern声明。如extern const x = a。在其他文件中使用extern const x进行访问。对于非const变量,定义时默认是extern类型的,const要额外声明

  • const引用:const引用是指向const对象的引用。

    • (非const引用无法引用const变量)由于const对象是不能修改的,如果使用int &ref = i,而i又是一个const变量,从引用上来说可以使用ref来修改i的值的,而i又不能修改,所以这里是非法的。
    • (const引用本身不能修改)const修饰的引用是也是一个常量,这个引用是不能更改的。
    • (const引用的对象是可以修改的)const引用可以指向非const变量,通过非const变量自身的修改来修改引用的结果,但是不能通过引用来修改,因为此时引用本身还是const类型的。
    • 非const引用应该指向非const变量
    • 非const变量只能绑定到同类型的引用中,const变量可以绑定不同但相关的类型。对于非const引用,类型不同不能绑定比较好理解。对于const引用,引用过程中会自发的进行类型的转换。如double d = 3.14;const int &ref2 = d;,系统用int tmp = d;const int &ref2 = temp;来实现const绑定类型不同的变量。
  • const引用示例代码:

const int test1 = 1;
    const int test2 = 2;
    int test3 = 3;
    int test4 = 4;

    int &ref = test3;
    ref += 1;
    cout << test3 << endl;
    //1.引用修改非const对象的值

    const int &t1 = test1;
    cout << t1 << endl;
    // 2.t1 = test2;  报错,const引用无法修改(read only)

    const int &t3 = test3;
    cout << t3 << endl;
    test3 += 1;
    cout << t3 << endl;
    // t3 += 1; // 错误,引用本身无法修改
    // 3.可以指向非const变量,非const变量可以修改。

    // 4.int &t4 = test2; 报错,非const引用无法指向const常量

    double test5 = 5.0;
    // int &t5 = test5; 报错,无法用 "double" 类型的值初始化 "int &" 类型的引用
    const int &t5 = test5;
    cout << t5 << endl;
    // 5. 非const变量只能绑定到同类型的引用中,const变量可以绑定不同但相关的类型
  • const指针:const指针广义上来讲,是带有const关键字的指针变量,主要有下面三种:

    • const int * p / int const *p const修饰的是*p 这两个是一个意思,就是指向int类型常量的指针,指针的地址(指向)是可以任意改的,但是不能通过指针来修改所指向的值,因为指向的是一个常量。
    • int * const p const直接修饰地址p,指的是p是一个常量指针,指向整型变量。p本身的地址(指向)是无法修改的,而p所指向的是一个变量值,是可以修改的。
    • int const int * const p; / int const * const p; 这个是上面两者的结合,指针本身和指向的值都不能更改。
  • const指针示例代码:

    int a = 10;
    const int b = 20;
    const int *p = &a;
    const int *q = &b;
    //   *p = 11;   报错,不能通过指针修改。
    cout << *p << " - " << *q << endl;
    q = p;
    a = 30;
    cout << *p << " - " << *q << endl;
    /* 解释:
        const int *q 指的是指向的地址可以改,指向的值不能改(*p=11非法).
        const 修饰的目标是int *q,也就是q所指向的值,所以再给q赋值是非法的。
        const int *q可以指向变量或常量,然而不能通过q这个指针去修改指向的值,
        但是如果指向的是一个变量,变量本身是可以重新赋值的,只是不能通过指针去修改。  
    */

    int *const x = &a;
    // int *const y = &b;   报错,不能指向常量
    int c = 11;
    // x = &c;   报错,常量地址不能修改
    cout << *p << " - " << *q << endl;
    /* 解释:
        int * const x 表示x地址是一个常量,它必须指向一个固定的地址。但是地址里面
        的值是可以改变的,所以int * const x不能指向一个常量。它只是限制你的地址不能
        改变而已。
    */
posted @ 2019-10-29 16:08  Hello_Andrew  阅读(127)  评论(0编辑  收藏  举报