文档章节

Effective C++: static_cast, const_cast

SHIHUAMarryMe
 SHIHUAMarryMe
发布于 2016/01/29 23:12
字数 902
阅读 154
收藏 6

const_cast<new_type>(expression):

 

直接看demo吧:

#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() 
{
   //case 1:
    int i = 3;                    // i is not declared const
    const int& cref_i = i; 
    const_cast<int&>(cref_i) = 4; // OK: modifies i
    std::cout << "i = " << i << '\n';
 
    //case 2:
    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';
 
    //case 3:
    const int j = 3; // j is declared const
    int* pj = const_cast<int*>(&j);
    *pj = 4;         // undefined behavior!
 
   //case 4:
    void (type::*mfp)(int) const = &type::m1; // pointer to member function
//  const_cast<void(type::*)(int)>(mfp); // compiler error: const_cast does not
                                         // work on function pointers
}

 

static_cast<new_type>(expression): 返回一个new_type类型的值.

1,Notice: 此时的new_type是既不是指针(pointer)也不是任何引用(reference)的情况.

如果 expression 和 new_type之间存在一个隐式(implicit)的转换关系(比如: int->double, short int->int..., 甚至是如果一个类类型(class)含有operator Type()我们都能完成从 expression 到 new_type的转换,或者是一个class含有一个implicit的构造函数此时我们相当于用expression构造该class),转换后返回的是一个 new_type类型的右值(rvalue).

2,Notice: 此时的new_type是一个类类型(class)的指针(pointer)或引用(reference),expression则是一个new_type的非虚基类的情况.

注意如果new_type是指针的话,传递进来的expression必定也是指针类型的变量,此时在static_cast内部会进行是否是nullptr的检查,如果是引用的话这不会检查。

无论是引用还是指针此时static_cast的最终目的都是从 基类(base-class)向派生类(derived-class)的转换.

3,Notice: 此时的new_type是一个右值引用类型(比如:int&&, std::vector<int>&&),此时expression可以是左值可以是右值.

当把一个lvalue(左值)转为右值(rvalue)的时候其实相当于对expression调用了std::move;

4,Notice: 此时的new_type为void;

当我们有一个不用的参数的时候编译器会经过就可以调用static_cast<void>(expression);消除编译器警告.

5,Notice: 取回存于void*指针的,原类型的指针.

6,Notice: 此时new_type为enum类型.

把一个enum(不管有没有指定class)类型的值转为它的underlying-type;

把一个指定了class的enum的类型转为一个没有指定class的enum类型.

7,如果一个指针指向派生类的成员(不管是数据成员,还是成员函数),且该成员是通过继承得到的也就是说该成员其实是基类中的那么我们可以通过static_cast,把该指针转为指向基类的该成员的指针.

8,指向任何类型的指针都能转为 void*;

 

#include <vector>
#include <iostream>
 
struct B {
    int m = 0;
    void hello() const {
        std::cout << "Hello world, this is B!\n";
    }
};
struct D : B {
    void hello() const {
        std::cout << "Hello world, this is D!\n";
    }
};
 
enum class E { ONE = 1, TWO, THREE };
enum EU { ONE = 1, TWO, THREE };
 
int main()
{
    // 1: initializing conversion
    int n = static_cast<int>(3.14); 
    std::cout << "n = " << n << '\n';
    std::vector<int> v = static_cast<std::vector<int>>(10);
    std::cout << "v.size() = " << v.size() << '\n';
 
    // 2: static downcast
    D d;
    B& br = d; // upcast via implicit conversion
    br.hello();
    D& another_d = static_cast<D&>(br); // downcast
    another_d.hello();
 
    // 3: lvalue to xvalue
    std::vector<int> v2 = static_cast<std::vector<int>&&>(v);
    std::cout << "after move, v.size() = " << v.size() << '\n';
 
    // 4: discarded-value expression
    static_cast<void>(v2.size());
 
    // 5. inverse of implicit conversion
    void* nv = &n;
    int* ni = static_cast<int*>(nv);
    std::cout << "*ni = " << *ni << '\n';
 
    // 6. array-to-pointer followed by upcast
    D a[10];
    B* dp = static_cast<B*>(a);
 
    // 7. scoped enum to int or float
    E e = E::ONE;
    int one = static_cast<int>(e);
    std::cout << one << '\n';
 
    // 8. int to enum, enum to another enum
    E e2 = static_cast<E>(one);
    EU eu = static_cast<EU>(e2);
 
    // 9. pointer to member upcast
    int D::*pm = &D::m;
    std::cout << br.*static_cast<int B::*>(pm) << '\n';
 
    // 10. void* to any type
    void* voidp = &e;
    std::vector<int>* p = static_cast<std::vector<int>*>(voidp);
}

 

 

 

© 著作权归作者所有

共有 人打赏支持
SHIHUAMarryMe
粉丝 13
博文 162
码字总数 137054
作品 0
武汉
程序员
私信 提问
C++雾中风景11:厘清C++类型转换(static_cast,dynamic_cast,reinterpret_cast,const_cast)

C++是一门弱类型的语言,提供了许多复杂和灵巧类型转换的方式。笔者之前写的Python与Go都是强类型的语言,对这种弱类型的设计实在是接受无力啊 ( 生活所迫,工作还得写C++啊)C++语言提供了...

LeeHappen
09/29
0
0
C++ Primer 学习笔记(第四章:表达式)

C++ Primer 学习笔记(第四章:表达式) [TOC] 4.1 基础 左值和右值: 当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。...

ShawnLue
2015/08/20
0
0
线程局部存储空间 pthread_key_t、__thread 即 ThreadLocal

线程局部存储空间 pthreadkeyt、_thread 即 ThreadLocal thread 参考: 线程局部变量 _thread 关键字 thread是GCC内置的线程局部存储设施,thread变量每一个线程有一份独立实体,各个线程的值...

呆呆的张先生
08/30
0
0
[从C到C++] 1.7 C++ 强制类型转换

[toc] 在C++语言中新增了四个关键字staticcast、constcast、reinterpretcast和dynamiccast。这四个关键字都是用于强制类型转换的。我们逐一来介绍这四个关键字。 1) static_cast 在C++语言中...

wu_being
06/16
0
0
static_cast, dynamic_cast, const_cast

【C++专题】staticcast, dynamiccast, const_cast探讨 首先回顾一下C++类型转换: C++类型转换分为:隐式类型转换和显式类型转换 第1部分. 隐式类型转换 又称为“标准转换”,包括以下几种情...

智勇
2014/10/13
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Mariadb二进制包安装,Apache安装

安装mariadb 下载二进制包并解压 [root@test-a src]# wget https://downloads.mariadb.com/MariaDB/mariadb-10.2.6/bintar-linux-glibc_214-x86_64/mariadb-10.2.6-linux-glibc_214-x86_64.t......

野雪球
今天
3
0
ConcurrentHashMap 高并发性的实现机制

ConcurrentHashMap 的结构分析 为了更好的理解 ConcurrentHashMap 高并发的具体实现,让我们先探索它的结构模型。 ConcurrentHashMap 类中包含两个静态内部类 HashEntry 和 Segment。HashEnt...

TonyStarkSir
今天
3
0
大数据教程(7.4)HDFS的java客户端API(流处理方式)

博主上一篇博客分享了namenode和datanode的工作原理,本章节将继前面的HDFS的java客户端简单API后深度讲述HDFS流处理API。 场景:博主前面的文章介绍过HDFS上存的大文件会成不同的块存储在不...

em_aaron
昨天
4
0
聊聊storm的window trigger

序 本文主要研究一下storm的window trigger WindowTridentProcessor.prepare storm-core-1.2.2-sources.jar!/org/apache/storm/trident/windowing/WindowTridentProcessor.java public v......

go4it
昨天
7
0
CentOS 生产环境配置

初始配置 对于一般配置来说,不需要安装 epel-release 仓库,本文主要在于希望跟随 RHEL 的配置流程,紧跟红帽公司对于服务器的配置说明。 # yum update 安装 centos-release-scl # yum ins...

clin003
昨天
11
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部