为什么这种向上转换不起作用？

Question

我有两个类别测试(基础)和程序(孩子)。现在我在下播的时候遇到了一些问题。

        Test t = new Program();// upcasting-works
        Program p = (Program)t;//Downcasting-works
        Program q = (Program)new Test();//Downcasting -throws exception.

我想知道它为什么抛出异常？这可能是非常基本的，但不知何故，我不明白。是为那个新对象准备的吗？

谢谢。

Answer 1

这是所有面向对象系统的预期行为。简而言之，您不能向下转换为动态类型不匹配的对象。在这一行中：

Program q = (Program)new Test();

您正在创建一个Test实例-该实例显然与Program不匹配，因为Test不是从Program派生的。在运行时，计算机检测到这种情况，并抛出异常。

另一方面，你有：

 Test t = new Program();

在这里，您正在创建一个Program实例-该实例与Test匹配，因为Program确实派生自Test。

最后，也是无序的，你需要：

Program p = (Program)t;

在本例中，t是对Test的引用，但底层类型实际上是Program -在运行时，计算机能够确定是这种情况，因此允许强制转换工作。

Answer 2

每个正方形都是矩形，但反之亦然。类似地，派生类的每个实例都是基类的有效实例，但反之亦然。在您的示例中，每个Program都是Test，但并不是所有的Test都是Program。

注意:为了澄清，这并不意味着你应该继承OOP中的Rectangle的Square :)这只是一个类比。具有讽刺意味的是，这种类比在面向对象设计中是一个众所周知的问题。

Answer 3

问题是：Test实例不是a Program。它适用于第一种情况，因为实例是作为Program创建的(在第一行)。

对于强制转换，实际对象的类型(而不仅仅是变量)很重要。