c++ 有趣的动态转换
缘起
最近，在项目代码中看到一个非常神奇的类型转换—— 类型A 的指针居然能动态转换成另外一个完全没有任何关系的类指针。这…… 完全颠覆了我的认知。
为了进一步了解这个神奇的操作，我特意模拟了项目代码中的情形，一起来看看吧。
代码简介
BaseA 和 BaseB 是两个基类，NewA 继承自 BaseA，NewB 继承自 BaseB。TestB() 会在堆上 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++ 动态转换的资料请关注脚本之家其它相关文章！
相关文章
大家好，本篇文章主要讲的是C++中函数匹配机制详解，感兴趣的同学赶快来看一看吧，对你有帮助的话记得收藏一下2022-02-02
这篇文章主要介绍了在vs2017上配置AppGameKit库的教程，本文通过图文并茂的形式给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下2020-04-04
这篇文章主要介绍了C++中的按位与&、按位与或|、按位异或^运算符,是C++入门学习中的基础知识,需要的朋友可以参考下2016-01-01
这篇文章主要为大家介绍了C++语义copy and swap示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-11-11
大家好，本篇文章主要讲的是Linux下Select多路复用实现简易聊天室示例，感兴趣的同学赶快来看一看吧，对你有帮助的话记得收藏一下，方便下次浏览2021-12-12
C语言动态内存函数(malloc、calloc、realloc、free)详解
在C语言中,动态内存函数是块重要的知识点,以往,我们开辟空间都是固定得,数组编译结束后就不能继续给它开辟空间了,开辟的空间满了,就不能在开辟空间了,学习本文章,我们就可以解决这个问题,向内存申请空间,感兴趣的小伙伴跟着小编一起来看看吧2023-08-08
获取硬盘的序列号、型号和固件版本号,此类功能通常用于做硬盘绑定或硬件验证操作,下面我们就来学习一下如何使用C/C++实现获取硬盘序列号吧2023-11-11
Linux下semop等待信号时出现Interrupted System Call错误(EINTR)解决方法
本篇文章是对在Linux下semop等待信号时出现Interrupted System Call错误(EINTR)的解决方法进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要介绍了约瑟夫环问题(数组法)c语言实现，有需要的朋友可以参考一下2013-12-12
函数的重载是指利用相同的函数名设计一系列功能相近，但是功能细节不一样的函数接口；因此运算符重载也是指对于同一个运算符来说，它可以用于实现不同的功能。下面就一起来理解下运算符重载的应用吧2023-04-04
最新评论