对于const_static 和 static_cast 关于去除或添加const/volatile的理解
static_cast 主要用于良性转换,如 int 转 long long,int 转 double,以及 空指针和具体类型指针的相互转换等
const_cast 主要作用为去除掉对象的const/volatile修饰符。 如去掉常量的限制,能修改常量的值
对于const_static 和 static_cast 关于去除或添加const/volatile的理解
//测试 const 和 volatile 的结果一致, 指针和引用的结果一致
const int t1=123; //去除const
int t2=static_cast<int>(t1);
// int t3=const_cast<int>(t1); //err
// int *p1=static_cast<int*>(&t1); //err
int *p2=const_cast<int*>(&t1);
int t11=321; //添加const
const int t22=static_cast<const int>(t11);
// const int t33=const_cast<const int>(t11); //err
const int *p11=static_cast<const int *>(&t11);
const int *p22=const_cast<const int *>(&t11);
其中注释掉的语句是编译错误的
- 去除掉 const/volatile
- 非指针/引用: const_cast 报错;而对于 static_cast,其实这条语句没有意义,因为只是将 t1 的值传递给 t2, 改变 t2 也影响不到 t1 的值
- 指针/引用: static_cast报错;对于 const_cast, 则去除掉了指针的底层 const, 对于 p2 指向的内存改变会影响到 t1 的值
- 添加const
- 非指针引用: const_cast 报错;对于 static_cast 同样没有意义
- 指针/引用: const_cast 和 static_cast 都合法,因为从 non-const 到 const 的转换是合理的
因此对于 static_cast 不能去除掉指针/引用的底层 const/volatile, 对于非指针/引用的 const/volatile 去除和添加没有意义
而对于 const_cast 则只能作用与 指针/引用类型,能够去除和添加其底层 const/volatile,即去掉常量和易变的限制
const_cast的应用
取个不合理的例子,对于 const int x=123; 若想要修改x的值,则需要一个指向 x 的非常量的指针或引用
class A{
public:
A(){}
A(const string &ss):s(ss){}
const char& operator[](int i)const{
return s[i];
}
char& operator[](int i){
return const_cast<char&>(static_cast<const A&>(*this)[i]);
// return const_cast<char&>(const_cast<const A&>(*this)[i]);
}
// private:
string s;
};
这样就能修改常量x的值
另一个例子
class A{
public:
A(){}
A(const string &ss):s(ss){}
const char& operator[](int i)const{
return s[i];
}
char& operator[](int i){
return const_cast<char&>(static_cast<const A&>(*this)[i]);
}
private:
string s;
};
其中重载下标[]运算符的non-const 版本即通过调用 其const版本来实现的