第十四章类型信息

类型检查
RTTI
Class对象
触发初始化动作的方式

类型检查

RTTI形式

1.传统的类型转换,由RTTI确保类型转换的正确性.

2.代表对象的类型的Class对象.通过查询Class对象可以获取运行时所需的信息.

3.关键字instanceof 返回一个布尔值告诉我们对象是不是某个特定类型的实例.

父类.class.isAssignableFrom(子类.class)
子类实例 instanceof 父类类型

if(x instanceof Dog)
    ((Dog)x).bark();
//向下转型前判断 确保转型安全
//instanceof只可将其与命名类型进行比较 而不能与Class对象作比较.

isInstance 和 instanceof 和 isAssignableFrom 区别

isInstance :
public native boolean isInstance(Object obj);
如果指定的object参数是所表示类(或其任何子类)的实例，则该方法返回true;否则返回false

class A{}
class B extends A{}
public class Main {
    public static void main(String[] args)  {
        A a = new A();
        B b = new B();
        System.out.println(A.class.isInstance(b)); //T
        System.out.println(A.class.isInstance(a)); //T
        System.out.println(B.class.isInstance(a)); //F
        System.out.println((b instanceof A)); //T
    }
}
isInstance(Object obj)    
A.class.isInstance(b)
//等价于 B的实例 instanceof A类     判断b是否是A的实例

当我们判断一个实例是否是某个类型时，正常情况下，使用instanceof操作符：
instanceof 也可以识别实例是否属于基类的基类

Object n = Integer.valueOf(123);
boolean isDouble = n instanceof Double; // false
boolean isInteger = n instanceof Integer; // true
boolean isNumber = n instanceof Number; // true
boolean isSerializable = n instanceof java.io.Serializable; // true

如果是两个Class实例，要判断一个向上转型是否成立，可以调用isAssignableFrom()：
A.class.isAssignableFrom(B.class)
A是否是B的超类或超接口

// Integer i = ?
Integer.class.isAssignableFrom(Integer.class); // true，因为Integer可以赋值给Integer
// Number n = ?
Number.class.isAssignableFrom(Integer.class); // true，因为Integer可以赋值给Number
// Object o = ?
Object.class.isAssignableFrom(Integer.class); // true，因为Integer可以赋值给Object
// Integer i = ?
Integer.class.isAssignableFrom(Number.class); // false，因为Number不能赋值给Integer

RTTI

在java中所有的类型信息转换都是在运行中进行正确的检查的。

RTTI 名字的含义：在运行时，识别一个对象的类型

Class对象

类是程序的一部分,每个类都有一个Class对象.每当编写并且编译了一个新类,就会产生一个Class对象(更恰当地说,是被保存在一个同名的.class文件中)

所有的类都是在对其第一次使用时,动态加载到JVM中.

类加载器首先会检查这个类的Class对象是否已经加载.如果尚未加载,默认的类加载器就会根据类名查找.class文件.

一旦某个类的Class对象被载入内存,它就被用来创建这个类的所有对象.

Class对象仅在需要的时候才被加载,static初始化是在类加载时进行的.

class Candy{
    static {
        System.out.println("loading Candy");
    }
}
class Gum{
    static {
        System.out.println("loading Gum");
    }
}
public class SweetShop {
    public static void main(String[] args) {
        new Candy();
        System.out.println("After creat Candy");
        try {
            Class.forName("com.java.chapter14.Gum");//对forName("X")的调用会导致名为X的类被初始化。
        } catch (ClassNotFoundException e) {
            System.out.println("没找到GUM");
        }
    }
}
loading Candy
After creat Candy
loading Gum

Class.forName() :对forName(“X”)的调用会导致名为X的类被初始化。如18行所示

Class.forName("com.java.A")    //全限定名

getClass()获取Class引用

Person person = new Person();
person.getClass();
//这个方法属于根类Object的一部分,它将返回表示该对象的实际类型的Class引用.

Class.getInterfaces()

Class<?>[] interfaces = SonA.class.getInterfaces();
//表示Class对象所包含的接口

getSuperclass()查询其直接基类

Class的newInstance()方法是实现”虚拟构造器”的一种途径.
使用newInstance()创建的类,必须带有默认的构造器.

 class Aclass{ 
   //  public Aclass(){}
    public Aclass(String s){
    }
    static {
        System.out.println("类被加载了");
    }
}
public class ToDoTest {
    public static void main(String[] args) throws InstantiationException, IllegalAccessException {
        Aclass aclass = Aclass.class.newInstance();
    }
}
会报错，需要有默认构造器

触发初始化动作的方式

初始化动作指静态变量,静态域的加载.

对于初始化阶段，《Java虚拟机规范》则是严格规定了有且只有六种情况必须立即对类进行“初始化”

1）遇到new、getstatic、putstatic或invokestatic这四条字节码指令时，如果类型没有进行过初始化，则需要先触发其初始化阶段。能够生成这四条指令的典型Java代码场景有：
·使用new关键字实例化对象的时候。
·读取或设置一个类型的静态字段（被final修饰、已在编译期把结果放入常量池的静态字段除外）的时候。
·调用一个类型的静态方法的时候。

2）使用java.lang.reflect包的方法对类型进行反射调用的时候，如果类型没有进行过初始化，则需要先触发其初始化。

Class.forName()会加载
A.class(类字面常量)获取Class对象不会加载.

3）当初始化类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。

4）当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的那个类），虚拟机会先初始化这个主类。

5）当使用JDK 7新加入的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果为REF_getStatic、REF_putStatic、REF_invokeStatic、REF_newInvokeSpecial四种类型的方法句柄，并且这个方法句柄对应的类没有进行过初始化，则需要先触发其初始化。

6）当一个接口中定义了JDK 8新加入的默认方法（被default关键字修饰的接口方法）时，如果有这个接口的实现类发生了初始化，那该接口要在其之前被初始化。

第十四章 类型信息

类型检查

RTTI

Class对象

触发初始化动作的方式