C++ Prime:指针和const

  与引用一样,也可以令指针指向常量或非常量,类似于常量引用,指向常量的指针不能用于改变其所指对象的值。要想存放常量对象的地址,只能使用指向常量的指针:

const double pi = 3.14;    // pi是个常量,它的值不能改变
double *ptr = π    // 错误,ptr是一个普通的指针
const doublt *cptr = π    // 正确,cptr可以指向一个双精度常量
*cptr = 42;    // 错误,不能给*cptr赋值

  

  允许令一个指向常量的指针指向一个非常量对象:

double dval = 3.14;    // dval是一个双精度浮点数,它的值可以改变
cptr = &dval;    // 正确,但是不能通过cptr改变dval的值

  和常量引用一样,指向常量的指针也没有规定其所指的对象必须是一个常量。所谓指向常量的指针仅仅要求不能通过该指针改变对象的值,而没有规定那个对象的值不能通过其他途径改变。

const指针:

  指针是对象而引用不是,因此就像其他对象类型一样,允许把指针本身定为常量。常量指针必须初始化,而且一旦初始化完成,则它的值(也就是存放在指针中的那个地址)就不能再改变了。把*放在const关键字之前用以说明指针是一个常量,这样的书写形式隐含着一层意味,即不变的是指针本身的值而非指向的那个值。

int errNumb = 0;
int *const curErr = &errNumb;`// curErr将一直指向errNumb 
const doublr pi = 3.14159;
const double *const pip = π    // pip是一个指向常量对象的常量指针

  此例中,离curErr最近的符号是const,意味着curErr本身是一个常量对象,对象的类型由声明符的其余部分确定。声明符的下一个符号是*,意思是curErr是一个常量指针,最后,该声明语句的基本数据类型部分确定了常量指针指向的是一个int对象。与之相似,pip是一个常量指针,它指向的对象是一个双精度浮点型常量。

  指针本身是一个常量并不意味着不能让那个通过指针修改其所指对象的值,能否这样做完全依赖于所指对象的类型。例如,pip是一个指向常量的常量指针,则不论是pip所指的对象值还是pip自己存储的那个地址都不能改变。相反地,curErr指向的是一个一般的非常量整数,那么就完全可以用curErr去修改errNumb的值。

*pip = 2.72;    // 错误,pip是一个指向常量的指针

if(*curErr)
{
    *curErr = 0;    // 正确,把curErr所指的对象的值重置
}

顶层const:

  指针本身是一个对象,它又可以指向另外一个对象。因此指针本事是不是常量以及指针所指的是不是一个常量就是两个相互独立的问题。用名词顶层const表示指针本身是个常量,用名词底层const表示指针所指的对象是一个常量。

  顶层const可以表示任意的对象是常量,这一点对任何数据类型都适用,如算术类型、类、指针。底层const则与指针和引用等复合类型的基本类型部分有关。

  知乎上面的一个示例:

    顶层const是指,定义的对象本身是否是常量,
    底层const是指,定义的对象间接指向的对象是否是常量。

const int a = 5;    // a是常量值不可改变,这是顶层const。
int p = 10;
const int *a = &p;    //a本身是一个指针,它的值是一个地址,这个地址是可以改变的,只是不能通过a来改变p的值而已,因此它是一个底层const。


例如:

原文地址:https://www.cnblogs.com/vitah/p/4364382.html