lessons_12:经典问题解析

1. const常量的判别准则

（1）只有用字面量初始化的const常量才会进入符号表，是真正意义上的常量，例如：const int a = 2; // a是真正意义上的常量
（2）使用其他变量初始化的const常量任然是只读变量，例如：

int x = 1;
const int y = x;  // y是只读变量

（3）被volatitle（volatile告诉编译器所修饰的变量是随时可能发生变化的）修饰的const常量不会进入符号表，它仅仅告诉编译器该const常量不能出现在赋值号的左边
（4）在编译期间不能直接确定初始值的const标识符，都被作为只读变量处理

2. const引用类型与初始化变量的类型

（1）类型相同：初始化变量成为只读变量
（2）类型不同：生成一个新的只读变量
示例：

    const int x = 1;   //const常量x
    const int& rx = x;  //rx是只读变量

    int& nrx = const_cast<int&>(rx);  //去除rx的只读属性，nrx成为普通变量

    nrx = 5;

    printf("x = %d\n", x);
    printf("rx = %d\n", rx);
    printf("nrx = %d\n", nrx);
    printf("&x = %p\n", &x);
    printf("&rx = %p\n", &rx);
    printf("&nrx = %p\n", &nrx);

    volatile const int y = 2;
    int* p = const_cast<int*>(&y);

    *p = 6;

    printf("y = %d\n", y);
    printf("*p = %d\n", *p);
    printf("p = %p\n", p);

    const int z = y;

    p = const_cast<int*>(&z);

    *p = 7;

    printf("z = %d\n", z);
    printf("*p = %d\n", *p);
    printf("p = %p\n", p);

    char c = 'c';
    char& rc = c;
    const int& trc = c;  //类型不同，trc成为一个新的只读变量，

    //改变了rc跟trc没有半毛钱关系
    rc = 'a';

    printf("c = %c\n", c);
    printf("rc = %c\n", rc);
    printf("trc = %c\n", trc);

编译结果：
这里写图片描述

2. 引用的疑问

本质：

（1）指针是一个变量
①指针的值是一个内存地址，不需要初始化，可以保存不同的地址
②通过指针可以访问对应内存地址中的值
③指针可以被const修饰成为常量或者只读变量
（2）引用只是一个变量的新名字
①对引用的操作（赋值，取地址等）都会传递到代表的变量上
②const引用使其代表的变量有只读属性
③引用必须在定义时初始化，之后无法代表其他变量

从不同角度看

（1）从使用c++语言的角度看
①引用与指针没有任何关系
②引用是变量的新名字，操作引用就是操作对应的变量
（2）从c++编译器角度看
①为了支持新概念，“引用”必须要一个有效的解决方案
②在编译器内部，使用指针常量来实现
③“引用”在定义时必须初始化
（3）在项目开发中
①进行c++代码编程时，直接站在使用的角度看待引用，与指针毫无关系，引用就是变量的别名
②进行c++代码调试分析时，可以焦虑站在c++编译器的角度看待问题
例如：

#include <stdio.h>

int a = 1;

struct SV
{
    int& x;
    int& y;
    int& z;
};

int main()
{
    int b = 2;
    int* pc = new int(3);
    SV sv = {a, b, *pc};
    int& array[] = {a, b, *pc}; // &array[1] - &array[0] = ?

    printf("&sv.x = %p\n", &sv.x);
    printf("&sv.y = %p\n", &sv.y);
    printf("&sv.z = %p\n", &sv.z);

    delete pc;

   //看上面这段代码，引用初始化结构体变量是正确的，那么初始化引用数组也应该正确的
   //但是从编译器的角度看，数组的地址空间应该相邻固定空间大小，但是引用数组的地址空间是不相邻的
    return 0;
}

编译结果：
这里写图片描述
结论：c++不支持引用数组，要牢记！！！