c++的const小总结

Posted 2020-09-25

c++的const小总结（1） http://www.cnblogs.com/MyNameIsPc/p/7091631.html

• 顶层const和底层cnost

先凭经验区分一下两者的区别？

在primer c++里看到这个章节时，我有点疑惑。

primer c++上面也解释的稀里糊涂

如前所述，指针本身是一个对象，它又可以指向另外一个对象。因此，指针本身是不是常量以及指针所指的是不是一个常量就是两个相互独立的问题。用名词顶层const(top-level const)表示指针本身是个常量，而用名词底层const (low-leve丨const)表示指
针所指的对象是一个常量。

直到我关注了英文：

顶层const(top-level const)　　底层const (low-level const)

所以说白了顶层const就是本身是const。自己最重要嘛。

• 现在我们来总结性的区分一下这两种const

更一般的，顶层const可以表示任意的对象是常量，这一点对任何数据类型都适用，如算术类型、类、指针等。底层const则与指针和引用等复合类型的基本类型部分有关。比较特殊的是，指针类型既可以是顶层const也可以是底层const，这一点和其他类型相比区别明显。

当执行对象的拷贝操作时，常量是顶层const还是底层const区别明显。其中，顶层const不受什么影响。另一方面，底层const的限制却不能忽视。当执行对象的拷贝操作时，拷入和拷出的对象必须具有相同的底层const资格，或者两个对象的数据类型必须能够转换。一般来说，非常量可以转换成常量，反之则不行：

#include <iostream>
using namespace std;

int main(){
    int i = 0;
    int *const p1 = &i; //不能改变p1的值，这是一个顶层const
    const int ci = 42; //不能改变ci的值，这是一个顶层const
    const int *p2 = &ci; //允许改变p2的值，这是一个底层const
    const int *const p3 = p2; //靠右的const是顶层const，靠左的是底层const
    const int &r = ci; //重要：用于声明引用的const都是底层const
    return 0;
    ///
    i = ci; //正确，拷贝ci的值，ci是一个顶层const，对此操作无影响
    p2 = p3; //正确，p2和p3指向的对象类型相同，p3顶层const的部分不影响
    int *p = p3; //错误，p3包含底层const的定义，而p没有
    p2 = &i; //正确，int*能转换成const int*
    int &r = ci; //错误，普通的int&不能绑定到int常量上
    const int &r2 = i; //正确，const int&可以绑定在一个普通int上
}

说白了，也就是（1）中总结的问题。如果一个指针a的底层有const，另一个指针b的底层没有const，那么b就不能赋值为a。

好像这可以通过类型转换来解释，不过我还没懂。

就说到这里啦