C++读书笔记常量转换（const_cast）

C++读书笔记常量转换（const_cast）

编译是计较常量或常对象的写操作的，因此，如果将常量或常对象的地址赋给指针，那是绝对不干的，例如：

const int a = 1；

int & ra = a; //错

int * p = &a; //错

const int & cra = a; //ok

const int * cpA = &a; //ok

int b = 2; //ok

int & rb = b; //ok

int * pb = &b; //ok

const int & rb = b; //ok

const int * pb = b; //ok

也就是说，从type类型转换到const_type类型是允许的，意思是，在作为参数传递到函数后，具有对参数使用的写约束作用。

但对原来是const type类型的，拒绝转换到type。原因也是清楚的，因为常量或者产对象的地址托付给变量或者对象的指针和引用，简直是拿艺术品给小孩子玩——有很大损坏危险。所以凡是以这样的形式进行参数传递，休想让编译通过。

但是，问题是有些函数和类库产品，设计得太完美了，以至于其返回的表达式由于只读而通不过类型检查，以致无法参加进一步运算。例如：

const char * max(const char * s1, const char * s2)

{

return strcmp(s1, s2) > 0 ? s1 : s2;

}

 

int fn() 

{

char * p = max("hell0", "world");

//错

......

  }

其中的max函数由于返回const char * 而无法作为初值赋给字符指针p，这时使用写开禁操作是合法的；

char * p = const_cast<char *> (max("hello", "world"));

也就是说，使用一个去常量性的操作const_cast。

然而，要在一个只读实体上解除写操作禁令，这也无异是出格的行为。而且转换操作都是过陋无比（关键字又长又难记，如dynamic_cast等的，它告诫我们在用之前要三思而行）。