编译是计较常量或常对象的写操作的，因此，如果将常量或常对象的地址赋给指针，那是绝对不干的，例如：
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等的，它告诫我们在用之前要三思而行）。
