const与指针

来源：互联网发布：android merge性能优化编辑：程序博客网时间：2024/04/28 00:42

const类型的指针可以指向非const类型的对象，但const类型的对象必须由const类型的指针指定：

[cpp] view plaincopy
// C++ 语言强制要求指向 const 对象的指针也必须具有 const 特性  
const double d1 = 3.14;  
const double *pd1 = &d1;    // ok  
//double *pd2 = &d1;        // error: invalid conversion from 'const double*' to 'double*' [-fpermissive]  
  
int ival = 10;  
int *pi1 = &ival;       // ok  
const int *pi2 = &ival;     // ok，const指针可以指向非const对象  
  
// const类型的指针不能通过指针改变对象的值，只能通过其他方式修改  
//*pi2 = 11;            // error: assignment of read-only location '* pi2'  
ival = 11;  
cout << *pi2 << endl;       // 11  

对于void*类型的指针也是如此：

[cpp] view plaincopy
const int i = 10;  
const void *vp1 = &i;   // ok  
void *vp2 = &i;     // error: invalid conversion from 'const void*' to 'void*' [-fpermissive]  
  
const void *vp3;    // ok  
int j = 9;  
vp3 = &j;  

对比：const int *p1 与int *const p2：

[cpp] view plaincopy
int i = 10;  
  
const int *p1 = &i; // 1：指向const对象的指针  
int *const p2 = &i; // 2：const指针  
  
cout << *p1 << endl;    // 10  
cout << *p2 << endl;    // 10  

1) 前者const只是限定了p1指针所指向的是const类型的对象，而非指针本身是const类型的，在定义的时候不需要初始化，允许对p1进行重新赋值，让p1重新指向一个const类型的对象，但不能通过p1去修改所指的对象的值，因为编译“自以为”现在所指向的对象是const类型的。但因为编译器没法分辨所指的对象是否为const类型的，所以可以通过变量赋值或者间接地利用非const的指针改变对象的值。

2) p2是const指针，即一经初始化，就会与对象的地址绑定在一起，不能该变，必须在定义的时候进行初始化。类似引用。但可以通过该指针去改变所指对象的值。

[cpp] view plaincopy
*p2 = 11;  
cout << *p2 << endl;    // ok,11  
  
*p1 = 11;               // error: assignment of read-only location '* p1'  
cout << *p1 << endl;  

在实际的程序中，指向 const 的指针常用作函数的形参。将形参定义为指向 const 的指针，以此确保传递给函数的实际对象在函数中不因为形参而被修改。

int *const p1 与 const int *const p2：

[cpp] view plaincopy
int i = 1;  
const int j = 2;  
  
const int *p1 = &j;  
  
// error: invalid conversion from 'const int*' to 'int*' [-fpermissive]  
// 类型转换错误：p2的类型为const的指针指向int类型，但j是const int类型  
//int *const p2 = &j;  
int *const p2 = &i;         // ok  
  
const int *const p3 = &j;   // ok:p3的类型为：const指针指向const int类型对象，j是const int类型的  

0 0