java下溯造型与运行期类型标识

由于我们在上溯造型(在继承结构中向上移动)期间丢失了具体的类型信息,所以为了获取具体的类型信息——亦即在分级结构中向下移动——我们必须使用 “下溯造型”技术。然而,我们知道一个上溯造型肯定是安全的;基础类不可能再拥有一个比衍生类更大的接口。因此,我们通过基础类接口发送的每一条消息都肯定能够接收到。但在进行下溯造型的时候,我们(举个例子来说)并不真的知道一个几何形状实际是一个圆,它完全可能是一个三角形、方形或者其他形状。

为解决这个问题,必须有一种办法能够保证下溯造型正确进行。只有这样,我们才不会冒然造型成一种错误的类型,然后发出一条对象不可能收到的消息。这样做是非常不安全的。
在某些语言中(如C++),为了进行保证“类型安全”的下溯造型,必须采取特殊的操作。但在Java中,所有造型都会自动得到检查和核实!所以即使我们只是进行一次普通的括弧造型,进入运行期以后,仍然会毫无留情地对这个造型进行检查,保证它的确是我们希望的那种类型。如果不是,就会得到一个ClassCastException(类造型违例)。在运行期间对类型进行检查的行为叫作“运行期类型标识”(RTTI)。下面这个例子向大家演示了RTTI的行为:
 

//: RTTI.java
// Downcasting & Run-Time Type
// Identification (RTTI)
import java.util.*;

class Useful {
  public void f() {}
  public void g() {}
}

class MoreUseful extends Useful {
  public void f() {}
  public void g() {}
  public void u() {}
  public void v() {}
  public void w() {}
}

public class RTTI {
  public static void main(String[] args) {
    Useful[] x = {
      new Useful(),
      new MoreUseful()
    };
    x[0].f();
    x[1].g();
    // Compile-time: method not found in Useful:
    //! x[1].u();
    ((MoreUseful)x[1]).u(); // Downcast/RTTI
    ((MoreUseful)x[0]).u(); // Exception thrown
  }
} ///:~

和在示意图中一样,MoreUseful(更有用的)对Useful(有用的)的接口进行了扩展。但由于它是继承来的,所以也能上溯造型到一个Useful。我们可看到这会在对数组x(位于main()中)进行初始化的时候发生。由于数组中的两个对象都属于Useful类,所以可将f()和g()方法同时发给它们两个。而且假如试图调用u()(它只存在于MoreUseful),就会收到一条编译期出错提示。
若想访问一个MoreUseful对象的扩展接口,可试着进行下溯造型。如果它是正确的类型,这一行动就会成功。否则,就会得到一个ClassCastException。我们不必为这个违例编写任何特殊的代码,因为它指出的是一个可能在程序中任何地方发生的一个编程错误。
RTTI的意义远不仅仅反映在造型处理上。例如,在试图下溯造型之前,可通过一种方法了解自己处理的是什么类型。整个第11章都在讲述Java运行期类型标识的方方面面。

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索向上造型
, 类型
, public
, rtti
, 一个
, void
, Java双括弧初始化
Java双括弧
上溯造型、动物标识溯源系统、标识和可追溯性流程图、java上溯造型、标识和可追溯性,以便于您获取更多的相关知识。

时间: 2024-11-03 11:44:55

java下溯造型与运行期类型标识的相关文章

反射:运行期类信息

如果不知道一个对象的准确类型,RTTI会帮助我们调查.但却有一个限制:类型必须是在编译期间已知的,否则就不能用RTTI调查它,进而无法展开下一步的工作.换言之,编译器必须明确知道RTTI要处理的所有类. 从表面看,这似乎并不是一个很大的限制,但假若得到的是一个不在自己程序空间内的对象的句柄,这时又会怎样呢?事实上,对象的类即使在编译期间也不可由我们的程序使用.例如,假设我们从磁盘或者网络获得一系列字节,而且被告知那些字节代表一个类.由于编译器在编译代码时并不知道那个类的情况,所以怎样才能顺利地使

各种运行期错误

错误     本章前面部分展示了一些问题,包括错误如何出现.如何寻找错误和如何处理错误等等.现在更重要的是要掌握能够发生不同种类的错误,并且如何区分这些错误.需要记住的是,如果知道了到哪里去找和寻找什么,调试则是比较容易的.在本章最后,将介绍错误确实出现时如何捕获错误,并且要尽可能早地阻止错误的发生.       在学习这些内容之前,首先要深入了解一下在某阶段肯定会遇到的不同类型的运行期和语义错误,主要讨论以下内容:       · 逻辑错误.       · 脚本运行期错误.       ·

《Imperfect C++中文版》——1.3 运行期契约:前置条件、后置条件和不变式

1.3 运行期契约:前置条件.后置条件和不变式 Imperfect C++中文版 "如果例程的所有前置条件(precondition)已经被调用者满足了,那么该例程必须确保当它完成时所有后置条件(postconditions)(以及任何不变式)皆为真."--Hunt and Thomas, The Pragmatic Programmers [Hunt2000]. 如果我们无法执行编译期强制,那么还可以采用运行期强制.运行期强制的一个系统化的实现途径是指定函数契约.函数契约精确定义了在

JAVA下的GZIP应用

gzip是目前广泛应用的一种压缩方式,它具有很高的压缩比和压缩效率.在sun公司发布的jdk中包含了java.util.zip 包,对gzip提供了直接支持.使用java语言可以很方便的实现gzip压缩和解压缩.以下是一个压缩和解压缩的最简程序. (压缩:gzip.java) import java.io.*; import java.util.zip.*; public class gzip { public static void main(String[] args) { if (args

Groovy探索之MOP 七 运行期内的方法和属性分析

在Groovy语言里,运行期内的方法和属性分析有三种方式,它们分别是: 第一, 继承自Java语言的反射方式. 第二, 使用"respondsTo"和"hasProperty"方法. 第三, 使用"hasMetaMethod"和"hasMetaProperty"方法. 以上三种方法都能在运行期内分析某个方法或属性是否存在,相信我们看到这里,一定会想,它们之间是否有什么区别呢? 漫谈这三种运行期内的方法和属性分析方式以及它们之间

Groovy探索之MOP 六 运行期内添加构造器和静态方法

构造器是我们喜欢重载的一个方法,因为我们在实例化一个类的时候,会遇到各种各样的情况,比如在某些情况下,一系列类的实例可能有一些相同值的属性,这时候,我们在实例化对象时,就不希望把这些相同的值分别注入到每一对象中,这样的工作很繁琐. 这时候,我们就会重载构造器,但一些时候,比如一些Bean对象,它们的属性很多,我们就不好在类中重载很多构造器.比如,我们有如下的一个GroovyBean类: class Reader { String province String city String name

C#实现运行期控件设计

1.实现了控件自由拖动 2.实现了控件的拖动创建,右键删除等类似IDE的控件创建,当然更多功能靠大家自己完善 3.实现属性框与控件的绑定,可以在运行期修改控件的Text... 以下是部分代码 private void button2_Click(object sender, EventArgs e) { //控件框的显示与隐藏 if (panel1.Visible == true) { button2.Text = "+ 控件框"; panel1.Visible = false; }

Apache Spark源码走读(六)Task运行期之函数调用关系分析 &存储子系统分析

<一>Task运行期之函数调用关系分析 概要 本篇主要阐述在TaskRunner中执行的task其业务逻辑是如何被调用到的,另外试图讲清楚运行着的task其输入的数据从哪获取,处理的结果返回到哪里,如何返回. 准备 spark已经安装完毕 spark运行在local mode或local-cluster mode local-cluster mode local-cluster模式也称为伪分布式,可以使用如下指令运行 MASTER=local[1,2,1024] bin/spark-shell

Java下枚举变量与其他数据类型的转换

Java下枚举变量与其他数据类型的转换 当使用enum定义一个枚举类型时,实际上所定义的类型自动继承了java.lang.Enum类.而每个被枚举的成员实质就是一个枚举类型的实例,他们默认都是public static final的.可以直接通过枚举类型名直接使用它们,枚举类型名,可以转为一个数值,或作字符匹配的方法来识别类型,所以我们在写枚举类型的时候,可以简单理解为一个个的串. 如下: public enum emOrder {        orOne, orTwo, orClass