C++ 深入理解const_cast转换运算符

文章首发公众号:iDoitnow

const_cast转换运算符我们在RTTI和类型转换运算符中详细介绍过它的用法和使用场景,今天我们对其进一步了解一下。首先我们回忆一下它的作用和用法。

const_cast的基本使用

const_cast运算符用于执行只有一种用途的类型转化,即改变constvolatile

用法如下:

const_cast <type_name> (expression)

返回值为新类型。这里我们需要强调的是 const_cast主要用于更改指针或引用的constvolatile限定符。其中,type_name必须是指针、引用或者成员指针类型。

示例1:

#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;
    //rci = 100;  //错误
    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;      // 未定义行为
    std::cout << "j = " << j << '\n';
    std::cout << "*pj = " << *pj << '\n';
  
    void (type::* pmf)(int) const = &type::f; // 指向成员函数的指针
    //const_cast<void(type::*)(int)>(pmf);   // 编译错误:const_cast 不能用于成员函数指针
}

运行输出:

i = 4
type::i = 4
j = 3
*pj = 4

示例1介绍了const_cast常用的使用场景和使用的注意事项。其中:

const int j = 3; // 声明 j 为 const
int *pj = const_cast<int *>(&j);
*pj = 4;      // 未定义行为
std::cout << "j = " << j << '\n';    //输出结果:j = 3
std::cout << "*pj = " << *pj << '\n';  //输出结果:*pj = 4

对于&j使用const_cast转换后,进行重新赋值,这种行为在C++语法中是未定义的行为,但实际上是确实可以运行的。但对于打印输出结果却与我们的预期不一致,实际上对于j的值真的没有修改成功吗?下面我们继续做一个实验,代码如下:


#include<iostream>

int main()
{
    //未定义的行为,不提倡使用
    const int j = 3; // 声明 j 为 const
    int *pj = const_cast<int *>(&j);
    *pj = 4; // 未定义行为
    std::cout << "j = " << j << " ,addr(j):" << &j << '\n';
    std::cout << "*pj = " << *pj << " ,addr(*pj):" << pj << '\n';

    //正常的行为
    int j1 = 3;//最初声明为非const
    const int *cpj1  = &j1;
    int *pj1 = const_cast<int *>(cpj1);//cpj1最终指向的值(即j1的值)为非const类型,可以使用const_cast
    *pj1 = 4;
    std::cout << "j1 = " << j1 << " ,addr(j1):" << &j1 << '\n';
    std::cout << "*pj1 = " << *pj1 << " ,addr(*pj1):" << pj1 << '\n';
}

运行结果:

j = 3 ,addr(j):0x30932680c
*pj = 4 ,addr(*pj):0x30932680c
j1 = 4 ,addr(j1):0x3093267fc
*pj1 = 4 ,addr(*pj1):0x3093267fc

从运行结果可以看出,j*pj的地址相同,j1*pj1的地址相同,但是j*pj显示的值却不同,为什么会出现这种结果呢?实际上这就是因为编译器优化结果造成的,因为在声明j的时候,其类型是const int,在编译阶段,编译器认为它就是不变的类型,当编译到std::cout << "j = " << j << " ,addr(j):" << &j << '\n';时,会将j直接替换为常量3,即std::cout << "j = " << 3 << " ,addr(j):" << &j << '\n';,因此打印出来的就过就是3。也正是由于该行为是未定义的行为,才导致输出结果与我们的预期不一致。所以,在我们日常使用中,const_cast可以用用来修改最初声明非const的值,而且应该尽量避免常量转换,除非我们真的需要使用它。

const_cast在调用第三方函数中的使用

const_cast另外一种使用场景就是:在使用第三方库或API时,它们只提供了非const类型的参数的函数,但我们只有const类型的对象。如示例2所示。

示例2:

#include <iostream>
using namespace std;

int third_lib_fun(int *ptr) {
    *ptr = *ptr + 10;
    return (*ptr);
}

int main(void) {
    int val = 10;
    const int *ptr = &val;
    int *ptr1 = const_cast<int *>(ptr);
    third_lib_fun(ptr1);
    cout << val;
    return 0;
}

输出结果:

20

在示例2中,我们在使用第三方库和API的时候,我们只能调用,看不到其具体的实现,为了能够调用成功,需要使用const_cast来去除*ptrconst属性,来保证函数的正常调用,但是需要保证*ptr指向的对象在初始化的时候是非const的。

const_cast去除volatile属性

const_cast的另一个作用就是:const_cast可以用于丢弃volatile属性。例如在下面的示例3中,通过const_castb1的类型由volatile int*转换为int*

示例3:

#include <iostream>
#include <typeinfo>
using namespace std;

int main(void) {
    int a1 = 40;
    volatile int* b1 = &a1;
    cout << "typeid of b1 " << typeid(b1).name() << '\n';
    int* c1 = const_cast<int*>(b1);
    cout << "typeid of c1 " << typeid(c1).name() << '\n';
    return 0;
}

输出结果:

typeid of b1 PVi
typeid of c1 Pi

从输出结果可以看到,b1typeid为PVi(pointer to a volatile integer,指向volatile类型的int指针),c1typeid为Pi(Pointer to integer,指向int的指针),使用const_cast去除了b1volatile的属性。

总结

综上,我们使用const_cast的原则就是:

  • 仅当实际引用的对象/变量不是常量,才使用const_cast

  • 当我们调用第三方库和一些API时,它们需要使用非const形式的数据,但我们只有const形式数据时候才能使用const_cast

总的来说就是:仅在不得不的情况下使用const_cast

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,907评论 6 506
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,987评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,298评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,586评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,633评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,488评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,275评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,176评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,619评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,819评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,932评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,655评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,265评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,871评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,994评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,095评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,884评论 2 354

推荐阅读更多精彩内容