C++新式转型之const_cast

红太狼 2022-06-13 14:16 113阅读 0赞

将对象的常量性移除，即去掉const限定。

int main()
    {
        const int c = 2;
    #if 0
        int &cc = c;//error: 将int&类型的引用绑定到const int 时，限定符被丢弃
        int *pc = &c;//error: const int * 不能初始化int *实体
    #endif
    
    #if 1
        int & rc = const_cast<int &>(c);
        rc = 3;
        cout << "after cast" << endl;
    
        //地址相同
        cout << &c << endl;
        cout <<& rc << endl;
        //值不相同
        cout << c << endl;
        cout << rc << endl;
    #endif
        system("pause");
        return 0;
    }

上面示例有个让我困惑的地方，用`const_cast<>`将一个const值绑定到一个非const引用上，并试图通过这个非const引用去修改原来的值是一个`Undefined Reference`。事实上，应该遵循这样的原则：使用`const_cast`去除`const`限定的目的绝不是为了修改它的内容，只是出于无奈。  
我们来看看两种使用`const_cast`的地方：

#### **第一种** ####

> **我们可能调用了一个参数不是const的函数，而我们要传进去的实际参数确实const的，但是我们知道这个函数是不会对参数做修改的。于是我们就需要使用const\_cast去除const限定，以便函数能够接受这个实际参数。**

void print(int * val)
    {
        cout << *val << endl;
    }
    
    int main()
    {
        const int c = 2;
        //print(&c);//error： const int*类型的实参和int*类型的形参不兼容。
        print(const_cast<int *>(&c));//OK 打印2
        system("pause");
        return 0;
    }

与C库或一些老的（不好的）第三方库并存。比如 strtoul，它的形参类型是 char\* 和 char\*\*，但它并不修改所指的字符，使用它时通常需要 const\_cast。

#### **第二种** ####

在const成员函数中使用。  
const成员函数，在调用时传入一个const指针，表示我不可以通过该函数修改成员变量的值。不过这种说法并不准确：

#include <iostream>
    struct type {
        type() :i(3) {}
        void m1(int v) const {
            // this->i = v;                 // compile error: this is a pointer to const
            const_cast<type*>(this)->i = v; // OK as long as the type object isn't const
        }
        int i;
    };
    int main()
    {
        //当const type t;
        //t.m1(4);//这是未定义行为
        //
        type t; // note, if this is const type t;, then t.m1(4); is UB
        t.m1(4);
        std::cout << "type::i = " << t.i << '\n';
        system("pause");
        return 0;
    }

### **参考** ###

[http://www.cnblogs.com/ider/archive/2011/07/22/cpp\_cast\_operator\_part2.html][http_www.cnblogs.com_ider_archive_2011_07_22_cpp_cast_operator_part2.html]

[http://en.cppreference.com/w/cpp/language/const\_cast][http_en.cppreference.com_w_cpp_language_const_cast]

[https://www.zhihu.com/question/19772701][https_www.zhihu.com_question_19772701]

[http_www.cnblogs.com_ider_archive_2011_07_22_cpp_cast_operator_part2.html]: http://www.cnblogs.com/ider/archive/2011/07/22/cpp_cast_operator_part2.html
[http_en.cppreference.com_w_cpp_language_const_cast]: http://en.cppreference.com/w/cpp/language/const_cast
[https_www.zhihu.com_question_19772701]: https://www.zhihu.com/question/19772701