const_cast 转换
在有不同 cv 限定的类型间转换。
语法
const_cast < 新类型 > ( 表达式 )
|
|||||||||
返回 新类型 类型的值。
解释
唯有下列转换能用 const_cast 进行。特别是，唯有 const_cast 可用于转型掉（移除）常量性或易变性。
1) 两个指向同一类型的可能多级的指针可以互相转换，无关乎每个层级的 cv 限定符。
2) 任何
T 类型的左值可转换为到同一类型 T 的左值或右值引用，cv 限定可更多或更少。同样地，类类型纯右值或任何类型的亡值可转换成具有更多或更少 cv 限定的右值引用。引用 const_cast 的结果指代原对象，若 表达式 是泛左值，否则指代实质化的临时量 (C++17 起)。3) 同样的规则适用于可能多层的到数据成员的指针，及可能多层的到已知和未知边界数组（cv 限定元素的数组被认为是自身亦有 cv 限定） (C++17 起)
4) 空指针值可转换成 新类型 的空指针值
同所有转型表达式，结果是：
- 左值，若 new_type 是左值引用或到函数类型的右值引用；
- 亡值，若 new_type 是到对象类型的右值引用；
- 否则为纯右值。
注解
函数指针和成员函数指针不可用于 const_cast
const_cast 使得能够组成实际指代 const 对象 的到非 const 类型的引用或指针，或组成实际指代 volatile 对象的到非 volatile 类型的引用或指针。通过非 const 访问路径修改 const 对象和通过非 volatile 泛左值涉指 volatile 对象是未定义行为。
关键词
示例
运行此代码
#include <iostream> struct type { int i; type(): i(3) {} void f(int v) const { // this->i = v; // 编译错误：this 是指向 const 的指针 const_cast<type*>(this)->i = v; // 只要该对象不是 const 就 OK } }; int main() { int i = 3; // 不声明 i 为 const const int& rci = i; const_cast<int&>(rci) = 4; // OK：修改 i std::cout << "i = " << i << '\n'; type t; // 假如这是 const type t，则 t.f(4) 会是未定义行为 t.f(4); std::cout << "type::i = " << t.i << '\n'; const int j = 3; // 声明 j 为 const int* pj = const_cast<int*>(&j); // *pj = 4; // 未定义行为 void (type::* pmf)(int) const = &type::f; // 指向成员函数的指针 // const_cast<void(type::*)(int)>(pmf); // 编译错误：const_cast 不在成员函数指针上工作 }
输出：
i = 4 type::i = 4