引用vs对象vs类型
对我而言,关键是理解对象及其引用之间的区别,换句话说,就是对象及其类型之间的区别。
当我们用Java创建对象时,我们声明了它的真实本质,它将永远不会改变。但是Java中的任何给定对象都可能具有多种类型。这些类型中的某些显然归功于类层次结构,而其他类型则不是那么明显(即泛型,数组)。
专门针对引用类型,类层次结构规定了子类型化规则。例如,在您的示例中,所有卡车均为重型车辆,所有重型车辆均为。因此,这种is-a关系层次结构指示卡车具有多种兼容类型。
创建时Truck,我们定义一个“引用”来访问它。该引用必须具有这些兼容类型之一。
Truck t = new Truck(); //or
HeavyVehicle hv = new Truck(); //or
Vehicle h = new Truck() //or
Object o = new Truck();
因此,这里的关键是要认识到对对象的引用不是对象本身。创建的对象的性质永远不会改变。但是我们可以使用各种兼容的引用来访问该对象。这是这里多态性的特征之一。可以通过引用不同“兼容”类型的对象来访问同一对象。
当我们进行任何类型的转换时,我们只是假设不同类型的引用之间具有这种兼容性。
向上转换或扩展参考转换
现在,有了类型引用Truck,我们可以轻松得出结论,它始终与类型引用兼容Vehicle,因为所有卡车都是Vehicles。因此,我们可以不使用显式强制转换就向上引用该参考。
Truck t = new Truck();
Vehicle v = t;
这也称为扩展引用转换,基本上是因为当您进入类型层次结构时,类型会变得更加通用。
如果需要,可以在此处使用显式转换,但这不是必需的。我们可以看到t和所引用的实际对象v是相同的。是,并且将永远是Truck。
向下转换或缩小参考转换
现在,有了类型的引用,Vechicle我们不能“安全地”得出结论,它实际上引用了Truck。毕竟,它也可以引用其他形式的车辆。例如
Vehicle v = new Sedan(); //a light vehicle
如果您v在代码中的某处找到引用,却不知道引用的是哪个特定对象,则不能“安全地”论证它是指向a Truck还是指向a Sedan或任何其他种类的车辆。
编译器很清楚,它不能对所引用对象的真实性质提供任何保证。但是程序员通过阅读代码可以确定他/她正在做什么。像上述情况一样,您可以清楚地看到它Vehicle v引用了Sedan。
在这些情况下,我们可以进行下调。之所以这样称呼,是因为我们要沿着类型层次结构前进。我们也称此为缩窄参考转换。我们可以说
Sedan s = (Sedan) v;
这总是需要显式的强制转换,因为编译器不能确定这样做是否安全,这就是为什么这就像问程序员“您确定自己在做什么吗?”。如果您对编译器撒谎,则ClassCastException在执行此代码时会在运行时得到。
其他种类的分型规则
Java中还有其他子类型化规则。例如,还有一个称为数字提升的概念,它可以自动强制表达式中的数字。像
double d = 5 + 6.0;
在这种情况下,由两种不同类型(整数和双精度型)组成的表达式在评估该表达式之前将整数强制转换/强制为双精度型,从而产生双精度值。
您也可以进行原始的向上转换和向下转换。如
int a = 10;
double b = a; //upcasting
int c = (int) b; //downcasting
在这些情况下,当信息可能丢失时,需要进行显式转换。
某些子类型化规则可能不那么明显,例如在数组的情况下。例如,所有引用数组都是的子类型Object[],而原始数组则不是。
对于泛型,尤其是使用通配符(如super和)时extends,情况变得更加复杂。像
List a = new ArrayList<>();
List extends Number> b = a;
List c = new ArrayList<>();
List super Number> d = c;
其中的类型b是的类型的子类型a。的类型d是的类型的子类型c。
装箱和拆箱也受制于某些强制转换规则(不过,在我看来,这也是一种强制形式)。