c++ 有趣的动态转换

缘起

最近,在项目代码中看到一个非常神奇的类型转换—— 类型A 的指针居然能动态转换成另外一个完全没有任何关系的类指针。这…… 完全颠覆了我的认知。

为了进一步了解这个神奇的操作,我特意模拟了项目代码中的情形,一起来看看吧。

代码简介

BaseABaseB 是两个基类,NewA 继承自 BaseANewB 继承自 BaseBTestB() 会在堆上 new 一个 NewB 的对象,但是会强制转换成 BaseA 类型的指针并返回(这个操作太逆天,大家一定不要在项目代码中这么玩儿)。main() 函数中模拟使用和释放。背景介绍完毕,看代码。

测试代码 1

#include "stdafx.h"
#include "stdlib.h"

class BaseA
{
public:
 virtual void AA() = 0;
 virtual ~BaseA() {};
};

class NewA : public BaseA
{
public:
 ~NewA() { printf(__FUNCTION__ "\n"); }
 virtual void AA() override { printf(__FUNCTION__ "\n"); }
};

class BaseB
{
public:
 virtual void BB() = 0;
 virtual ~BaseB() {};
};

class NewB : public BaseB
{
public:
 virtual ~NewB() { printf(__FUNCTION__ "\n"); }
 virtual void BB() override { printf(__FUNCTION__ "\n"); }
};

BaseA* TestB()
{
 NewB *pNewB = new NewB();
 return (BaseA*)pNewB;
}

int _tmain(int argc, _TCHAR* argv[])
{
 BaseA* pBaseA = TestB();
 BaseB *pBaseB = (BaseB *)pBaseA;

 delete(pBaseA);

 system("pause");
 return 0;
}

上面的代码有什么问题吗?运行结果是:一切正常。

but……

测试代码 2

相对于 测试代码1,测试代码2 中调用了虚函数,只改变了 main 中的调用部分。

int _tmain(int argc, _TCHAR* argv[])
{
 BaseA* pBaseA = TestB();
 BaseB *pBaseB = (BaseB *)pBaseA;

 // added part: call virtual functions
 pBaseA->AA();
 pBaseB->BB();

 delete(pBaseA);

 system("pause");
 return 0;
}

上面的代码会输出什么呢?

pBaseA->AA() 的输出结果是 NewB::BB。有些“意外”,但是却在情理之中。下一篇会比较详细的剖析虚函数调用机制,知道运作及之后,再回过头来看这个问题就很容易理解了!

测试代码 3

相对于 测试代码2,测试代码 3 只为 BaseB 增加了一个名为 PerfectFunctionName() 的接口,并在子类NewB 中实现了这个接口。其它部分不变。这里只列出变化的部分。

#include "stdafx.h"
#include "stdlib.h"

class BaseB
{
public:
 virtual void BB() = 0;
 virtual void PerfectFunctionName() = 0; // Added part
 virtual ~BaseB() {};
};

class NewB : public BaseB
{
public:
 virtual ~NewB() { printf(__FUNCTION__ "\n"); }
 virtual void BB() override { printf(__FUNCTION__ "\n"); }
 virtual void PerfectFunctionName() override { printf(__FUNCTION__ "\n"); } // Added part
};

最新代码运行结果会是什么样的呢?

上图是 32 位 debug 版程序运行时的输出结果。终于报了异常!release 版运行后也会报异常!

从测试结果可知,这种做法在某些情况下确实可以正常运行,但是某些情况下会得到一些奇怪的结果,甚至会发生崩溃。这些现象背后的原因我想留到后面几篇文章分析。感兴趣的小伙伴儿可以手动测试并分析。

结论

永远不要做这种危险的 SAO 操作!

以上就是c++ 动态转换的详细内容,更多关于c++ 动态转换的资料请关注我们其它相关文章!

(0)

相关推荐

  • 深入解析C++中的动态类型转换与静态类型转换运算符

    dynamic_cast 运算符 将操作数 expression 转换成类型为type-id 的对象. 语法 dynamic_cast < type-id > ( expression ) 备注 type-id 必须是一个指针或引用到以前已定义的类类型的引用或"指向 void 的指针".如果 type-id 是指针,则expression 的类型必须是指针,如果 type-id 是引用,则为左值. 有关静态和动态强制转换之间区别的描述,以及各在什么情况下适合使用,请参见 s

  • c++ 有趣的动态转换

    缘起 最近,在项目代码中看到一个非常神奇的类型转换-- 类型A 的指针居然能动态转换成另外一个完全没有任何关系的类指针.这-- 完全颠覆了我的认知. 为了进一步了解这个神奇的操作,我特意模拟了项目代码中的情形,一起来看看吧. 代码简介 BaseA 和 BaseB 是两个基类,NewA 继承自 BaseA,NewB 继承自 BaseB.TestB() 会在堆上 new 一个 NewB 的对象,但是会强制转换成 BaseA 类型的指针并返回(这个操作太逆天,大家一定不要在项目代码中这么玩儿).mai

  • mysql 行列动态转换的实现(列联表,交叉表)

    (1)动态,适用于列不确定情况 create table table_name( id int primary key, col1 char(2), col2 char(2), col3 int ); insert into table_name values (1 ,'A1','B1',9), (2 ,'A2','B1',7), (3 ,'A3','B1',4), (4 ,'A4','B1',2), (5 ,'A1','B2',2), (6 ,'A2','B2',9), (7 ,'A3','B

  • 使用nginx动态转换图片大小生成缩略图

    Nginx的ngx_http_image_filter_module 模块(nginx版本为0.7.54+) 可用来动态转换JPEG, GIF, PNG, 和WebP格式的图片大小. 该模块默认没有构建,需要通过 --with-http_image_filter_module 配置参数启用. 如果图片访问量不大,可以使用该模块. 该模块使用了libgd库. 推荐使用该库的最新版本. 以下为在已经安装了nginx的情况下添加该模块的步骤. 1 安装依赖 yum -y install gd-deve

  • Java和scala实现 Spark RDD转换成DataFrame的两种方法小结

    一:准备数据源 在项目下新建一个student.txt文件,里面的内容为: 1,zhangsan,20 2,lisi,21 3,wanger,19 4,fangliu,18 二:实现 Java版: 1.首先新建一个student的Bean对象,实现序列化和toString()方法,具体代码如下: package com.cxd.sql; import java.io.Serializable; @SuppressWarnings("serial") public class Stude

  • vue+element实现动态换肤的示例代码

    有时候一个项目的主题并不能满足所有人的审美,这时候换肤功能就很友好,本项目基于vue+element实现后台管理项目的换肤功能 1.创建换肤组件 <template> <el-color-picker class="theme-picker" popper-class="theme-picker-dropdown" v-model="theme" :predefine="predefineColors" &g

  • C++中Boost的转换函数

    Boost的转换函数是对C++中的四种类型转换函数(const_cast,reinterpret_cast,static_cast,dynamic_cast)的一些补充和扩展,在阅读本文前,请先熟悉C++中的四种类型转换函数相关知识. polymorphic_cast C++提供了dynamic_cast来实现运行时的类型转换,但是如果用来转换指针时,需要记得检查返回值(这是很多程序员容易忘掉的地方),否则一旦转换失败,将获得一个NULL指针,无异于给程序埋下了一个定时炸弹. Boost的pol

  • python和ruby,我选谁?

    最近在考虑学习一门后端语言,在ruby和python直接犹豫,然后自己做了一些对比,希望能帮到有同样问题的你. 一.异同对比选择 1.Python和ruby的相同点: •都强调语法简单,都具有更一般的表达方式.python是缩进,ruby是类basic的表达.都大量减少了符号. •都是动态数据类型.都是有丰富的数据结构. •都具有C语言扩展能力,都具有可移植性,比perl的可移植性更好.也都可以作为嵌入语言. •都是面向对象的语言,都可以作为大项目的开发工具. •都有丰富的库支持. •也有最宽松

  • Java泛型映射不同的值类型详解及实例代码

    Java泛型映射不同的值类型详解 前言: 一般来说,开发人员偶尔会遇到这样的情形: 在一个特定容器中映射任意类型的值.然而Java 集合API只提供了参数化的容器.这限制了类型安全地使用HashMap,如单一的值类型.但如果想混合苹果和梨,该怎样做呢? 幸运的是,有一个简单的设计模式允许使用Java泛型映射不同的值类型,Joshua Bloch在其<Effective Java>(第二版,第29项)中将其描述为类型安全的异构容器(typesafe hetereogeneous Containe

  • PHP人民币金额数字转中文大写的函数代码

    在网上看到一个非常有趣的PHP人民币金额数字转中文大写的函数,其实质就是数字转换成中文大写,测试了一下,非常有趣,随便输个数字,就可以将其大写打印出来,新手朋友们试一下吧,举一反三,还可以写好多有趣的PHP转换函数. 复制代码 代码如下: <?  function cny($ns) {     static $cnums=array("零","壹","贰","叁","肆","伍",

  • MySQL的线程池原理学习教程

    线程池是Mysql5.6的一个核心功能,对于服务器应用而言,无论是web应用服务还是DB服务,高并发请求始终是一个绕不开的话题.当有大量请求并发访问时,一定伴随着资源的不断创建和释放,导致资源利用率低,降低了服务质量.线程池是一种通用的技术,通过预先创建一定数量的线程,当有请求达到时,线程池分配一个线程提供服务,请求结束后,该线程又去服务其他请求. 通过这种方式,避免了线程和内存对象的频繁创建和释放,降低了服务端的并发度,减少了上下文切换和资源的竞争,提高资源利用效率.所有服务的线程池本质都是位

随机推荐