const_cast conversion

在不同 cv 限定类型之间进行转换。

语法

返回类型为 target-type 的值。

说明

只有以下转换可以通过 const_cast 实现：

与所有强制转换表达式一样，结果是：

• 若 target-type 是左值引用类型 或函数类型的右值引用 (C++11 起) ，则为左值；

• 否则为纯右值。

去除 const 限定

对于两个不同的类型 T1 和 T2 ，从 T1 到 T2 的转换 会抛弃常量性 的条件是：存在 T2 的 限定分解 形式为“cv2_0 P2_0 cv2_1 P2_1 ... cv2_n−1 P2_n−1 cv2_n U2”，且不存在任何能将 T1 转换为“cv2_0 P1_0 cv2_1 P1_1 ... cv2_n−1 P1_n−1 cv2_n U1”（相同的 cv 限定符组件，不同的 P 组件和 U 组件）的 限定转换 。

如果从类型 T1* 的纯右值到类型 T2* 的转换会抛弃 const 限定，那么从类型 T1 的表达式到 T2 引用的转换同样会抛弃 const 限定。

只有 const_cast 可用于去除常量性。

“抛弃常量性”意味着“抛弃易变性”，因为限定转换同样无法抛弃易变性。

注释

指向函数的指针和指向成员函数的指针不受 const_cast 约束。

const_cast 使得可以形成指向非 const 类型的引用或指针，而该引用或指针实际上指向的是 const 对象 ；或者形成指向非 volatile 类型的引用或指针，而该引用或指针实际上指向的是 volatile 对象 。通过非 const 访问路径修改 const 对象，或通过非 volatile glvalue 引用 volatile 对象会导致未定义行为。

关键词

const_cast

示例

#include <iostream>
struct type
{
    int i;
    type(): i(3) {}
    void f(int v) const
    {
        // this->i = v;                 // 编译错误：this 是指向常量的指针
        const_cast<type*>(this)->i = v; // 只要 type 对象不是常量就可行
    }
};
int main()
{
    int i = 3;                 // i 未声明为常量
    const int& rci = i;
    const_cast<int&>(rci) = 4; // 可行：修改 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 被声明为常量
    [[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++标准。

参考文献

参见

• static_cast
• dynamic_cast
• reinterpret_cast
• 显式转换
• 隐式转换