Question

C++中 dynamic_cast转换的是数据类型还是指向的数据类型？

father *p = new father ;

dynamic_cast<son *>(p);

这个结果究竟是什么？是
son *p = new father ;
还是
father *p = new son;

Answer 1

father *p = new father ;
dynamic_cast<son *>(p);

这个结果是NULL，这点楼上的解释的很清楚啊。

(画图水平有限了，略丑，莫怪，o(╯□╰)o)

你看一下上图，如果你用father *p = new father ;那么你只新建了S1的空间，但是son的存储空间是S3的大小，有S2大小的存储空间你根本就没有创建，就算你用了dynamic_cast<son *>(p);来转化指针，但是因为p原本的空间大小根本就没有S2这一半的存在，所以这里会转化失败，返回NULL。

但是你如果是father *p = new son ;这里你新建了S3大小的空间，也就是S1和S2都新建了，但是在因为这时候p是father类型指针，所以这时候p最多的范围是S1大小内存储的东西，虽然你不能使用S2的内容，但是它(S2)毕竟是真实存在的，所以可以用dynamic_cast<son *>(p);来转化成son的指针，这时候就可以指向S3内的全部了。

追问

但是书上代码似乎能转换成功啊，前辈，能留个QQ号码么，我把代码发给您，您帮我看看？百度私信会直接把代码吞掉

追答

用百度私信给你留个邮箱吧，我很少上QQ，有邮箱就行了。

Answer 2

没结果。dynamic_cast不会改变里面东西的值。

另：这个表达式的值目测是0。new出来的是father怎么能转成son。
你的这个例子，如果满足以下条件则可以使用dymanic_cast
1、son是father的子类
2、你new出来的是son，赋值给了father指针，要把这个指针转回son
3、你的father类里面有虚函数，并且在son里面得到了重写

追问

1 son是father的子类_____这个满足

2 原代码是 son * ps =dynamic_cast(p);

3 原代码中father是有虚函数，的确在son里面得到了重写

虽然条件满足，但是这个公式为何要有以上条件，还有这个公式到底弄出来的是什么，我还是完全不懂

追答

father是父类，写作father*读作son的事情不是没有。所以仅凭一个father，实在是不知道它到底真实情况是哪个类（这就叫面向对象，和“面向类”不同了w因为一个类的指针指向的可能不是这个类的实例）

好了，你现在要从father转到son。写 son* ps = (son*) p; 确实是一时痛快，但是如果p不是son，你的程序可能就要死了。
所以C++多了几个转换，比如有 son* ps = reinterpret_cast(p); 还有 son* ps = dynamic_cast(p);

reinterpret_cast只在语法上下功夫，编译变成机器代码以后，根本就不管你去死，int*它也能给你转成son*。
但是dynamic_cast不同，它会检查这个对象是不是真的是son。是才能成功。
怎么检查？虚函数。虚函数是靠虚函数表实现的，不同类型对象的虚函数表不同，这个是对象创建的时候包含在对象里面的，所以你new出来什么它就是什么，不会因为你用father*指向它它就变成father。这样就可以根据这个表来确定转换能不能成功。
虚表存在的条件是要有虚函数。
虚函数被重写的时候，这个类就有了一个不同于父类的虚表
然后dynamic_cast就根据这个来转。

追问

son* ps = dynamic_cast(p); 我想问p 到底发生了什么变化？到底转换了什么？您的意思是转换后： son * p = new father; 然后赋值 son*ps　＝son * p ???

那么我疑问 son * p = new father; 这个指针左边大，右边小，怎么能以小指大呢？

追答

father* ps = new son;
son* p = dynamic_cast(ps);

这里面目测什么也没有发生，只是它会检查ps到底能不能转成son*而已，不能转则p是0

追问

只会检查？

我快疯了。只是检查那又有什么意义？书上说是对不同类之间的数据类型转换，可以把基类指针转换成一个派生类指针。

这里只是检查？看一下他能不能转换但实际不转换？这是什么啊？

我快疯了，前辈，能留个QQ号码么，我把完整的代码发给您，您帮忙看下？？

追答

……你知道“指针转换”原理是什么吗？

C语言、C++的代码编译成机器语言之后，是没有“类型”只有“数据”的。

特别是指针，所有指针的长度都相等，而且只有一个意思：地址。

事实上在我最后一次贴出来的代码中，ps和p的值是一样的。不信你可以

printf("%x %x\n", p, ps);

看看它是不是输出两个相同的数字（这个数字就是地址）。

 

然后我假设，你事先知道它们转换前后都是同一个地址，那么

father* ps = new son;

son* p = interpret_cast<son*>(ps);

其实是一样的。只是这个不检查直接转换。

 

我不知道你说的“只是检查”到底想表达什么意思。它检查一下能不能转，能转就转不能转就返回0。但是这个“转换”并没有实际操作：检查通过以后，它只是单纯地把ps赋值给p而已。

 

这些“转换”“转换”的，说到底只是在源代码编译的层面上，你“觉得”它类型变了，编译器觉得它类型变了，它确实类型变了，但是数据没变。因为代码编译之后就没有类型只有数据了，所以数据没变就是说它事实上没有进行什么特别的操作。如果你想体会指针转换的过程中“数据变了”，那要涉及到多重继承的时候才有可能。把一个指向多重继承中父类的指针用dynamic_cast转到子类，如果转换成功完成，那么这个指针的值是有可能变化的

 

 

哎，说这么多都没用。我表演一下dynamic在干什么给你看吧，下载附件编译运行

这只是给你方便理解。并不代表它真正就是这么转的（不过也八九不离十）

追问

能转就转不能转就返回0---------肯定是转了，因为代码运行结果说明转了。

那么究竟转成什么了？原来是 fahter * p = new father ; 那么转了之后是什么？

变成 son * p = new father ; ? 这样左边大，右边小，指针以大指小？

还是变成 father *p = new son; ??

追答

你
father* p1 = new father;
son* ps1 = dynamic_cast(p1);
我不信ps1不是0。除非你继承关系不是我最初说的那样。
father* p1 = new son;
son* ps1 = dynamic_cast(p1);
这里的关键点在于，son*转father*编译器可以直接生成静态代码的，运行过程中不要检查。但是father*转son*，就存在father*指向的到底是不是son的问题。

之前传的代码不要用于实际应用中，那个只是方便你理解。如果你有一个继承自son的son2，要从father*转到son*，dynamic_cast会成功但是我的示例代码会失败。另外临时构建一个对象来对比虚表地址的方式也是不可取的……临时构建对象有时会很花时间和资源，程序运行效率之类的方面会产生问题

对了，那个代码的f2s你可以自己改成dynamic_cast来看看结果是不是一样

Answer 3

第一个，是指它指向的数据类型，而不是本身的，本身的是不可以改变的。

追问

那也不对啊，father是基类，son是派生类，指针怎么能以大指小？

追答

father *p = new father ; dynamic_cast(p); 这本来就是个错误。