const_cast 转换

表达式

概述
值类别（左值 lvalue、右值 rvalue、亡值 xvalue）
求值顺序（序列点）
常量表达式
潜在求值表达式
初等表达式
lambda 表达式(C++11)
字面量
整数字面量
浮点字面量
布尔字面量
字符字面量，包含转义序列
字符串字面量
空指针字面量(C++11)
用户定义字面量(C++11)
运算符
赋值运算符： `a=b`，`a+=b`，`a-=b`，`a*=b`，`a/=b`，`a%=b`，`a&=b`，`a\|=b`，`a^=b`，`a<<=b`，`a>>=b`
自增与自减：`++a`，`--a`，`a++`，`a--`
算术运算符： `+a`，`-a`，`a+b`，`a-b`，`a*b`，`a/b`，`a%b`，`~a`，`a&b`，`a\|b`，`a^b`，`a<<b`，`a>>b`
逻辑运算符：`a\|\|b`，`a&&b`，`!a`
比较运算符：`a==b`，`a!=b`，`a<b`，`a>b`，`a<=b`，`a>=b`，`a<=>b`(C++20)
成员访问运算符：`a[b]`，`a`，`&a`，`a->b`，`a.b`，`a->b`，`a.*b`
其他运算符：`a(...)`，`a,b`，`a?b:c`
new 表达式
delete 表达式
throw 表达式
alignof
sizeof
sizeof...(C++11)
typeid
noexcept(C++11)
折叠表达式(C++17)
运算符的代用表示
优先级和结合性
运算符重载
默认比较(C++20)
类型转换
隐式转换
一般算术转换
const_cast
static_cast
reinterpret_cast
dynamic_cast
显式转换 `(T)a`, `T(a)`
用户定义转换

在有不同 cv 限定的类型间转换。

语法


`const_cast<` 新类型 `>(` 表达式 `)`

返回新类型类型的值。

解释

只有下列转换能用 const_cast 进行。尤其是只有 const_cast 可以用来移除常量性或易变性。

1) 两个指向同一类型的可能多级的指针可以互相转换，不受每个层级的 cv 限定符影响。

2) 任何 T 类型的左值可转换为到同一类型 T 的左值或右值引用，cv 限定可更多或更少。同样地，类类型纯右值或任何类型的亡值可转换成具有更多或更少 cv 限定的右值引用。引用 const_cast 的结果指代原对象 (C++17 前)在表达式是泛左值时指代原对象，否则指代实质化的临时量 (C++17 起)。

3) 同样的规则适用于可能多层的到数据成员的指针，及可能多层的到已知和未知边界数组（cv 限定元素的数组自身也被认为有 cv 限定） (C++17 起)。

4) 空指针值可转换成新类型的空指针值。

同所有转型表达式，结果是：

左值，如果新类型是左值引用类型或到函数类型的右值引用类型 (C++11 起)；

亡值，如果新类型是到对象类型的右值引用类型；

(C++11 起)

否则是纯右值。

注解

函数指针和成员函数指针无法用于 const_cast。

const_cast 使得到非 const 类型的引用或指针能够实际指代 const 对象，或到非 volatile 类型的引用或指针能够实际指代 volatile 对象。通过非 const 访问路径修改 const 对象和通过非 volatile 泛左值涉指 volatile 对象是未定义行为。

关键词

const_cast

示例

运行此代码

#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
    [[maybe_unused]]
    int* pj = const_cast<int*>(&j);
    // *pj = 4;      // 未定义行为
 
    [[maybe_unused]]
    void (type::* pmf)(int) const = &type::f; // 指向成员函数的指针
    // const_cast<void(type::*)(int)>(pmf);   // 编译错误：const_cast 不能用于成员函数指针
}

输出：

i = 4
type::i = 4

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

const_cast 转换

语法

解释

注解

关键词

示例

参阅

导航