Java-Programmiergedanken-Lernklasse (2) Kapitel 14 – Typinformationen

1. RTTI (Runtime Type Identification) Laufzeittypidentifikation

1.1 Zweck:

Zur Bestimmung der spezifischer Typ der Unterklasse, auf den der Basisklassenzeiger tatsächlich zeigt. ——„C++ Primer Plus“

1.2 Funktionsprinzip:

 Antwort „Ist es sicher, die Adresse eines Objekts einem Zeiger eines bestimmten Typs zuzuweisen?“ durch der Typkonvertierungsoperator „So eine Frage. ——"C++ Primer Plus"

1.3 In Java

  In Java werden alle Typkonvertierungen zur Laufzeit durchgeführt. Führen Sie eine Korrektur durch prüfen. Dies ist auch die Bedeutung von RTTI: den Typ eines Objekts zur Laufzeit identifizieren.

1.3.1 Das Problem des Verlusts spezifischer Typinformationen

Die in Polymorphismus ausgedrückte Typkonvertierung ist die grundlegendste Form der Verwendung von RTTI, diese Konvertierung jedoch nicht

• Nicht gründlich. Beispielsweise behandelt der Array-Container tatsächlich alle Elemente als Objekt zum Halten und konvertiert das Ergebnis automatisch zurück in den -Deklarationstyp , wenn zugegriffen. Wenn das Array Objekte füllt (hält), kann der spezifische Typ eine -Unterklasse des deklarierten Typs sein. Wenn er im Array platziert wird, wird nach oben transformiert deklarierter Typ , das gehaltene Objekt verliert seinen spezifischen Typ . Beim Zugriff wird Object nur wieder in den deklarierten Typ konvertiert, nicht in den spezifischen Unterklassentyp, sodass diese Transformation nicht vollständig ist .

Polymorphismus stellt eine bestimmte Art von Verhalten dar, aber das ist nur eine Frage des „Polymorphismusmechanismus“, auf den durch eine Referenz hingewiesen wird
• Spezifisch

  Bestimmt durch das Objekt , ist es nicht gleichbedeutend mit der Identifizierung des konkreten Typs zur Laufzeit. Das oben Gesagte zeigt ein Problem, nämlich den Verlust
  einer bestimmten Art von Informationen Wenn es ein Problem gibt, ist es notwendig, das Problem zu lösen 🎜>RTTI , dient dazu, den spezifischen Typ des Objekts zur Laufzeit zu bestimmen.

  1.3.2 Bestätigung des Verlusts spezifischer Typinformationen

    Das folgende Beispiel bestätigt das oben beschriebene Problem (Verlust spezifischer Typinformationen):

package net.mrliuli.rtti;import java.util.Arrays;import java.util.List;/**
 * Created by leon on 2017/12/3.
 */abstract class Shape{
    void draw(){
        System.out.println(this + ".draw()");
    }    abstract public String toString();  //要求子类需要实现 toString()}class Circle extends Shape{
    @Override
    public String toString() {        return "Circle";
    }
    public void drawCircle(){}
}class Square extends Shape{
    @Override
    public String toString() {        return "Square";
    }
}class Triangle extends Shape{
    @Override
    public String toString() {        return "Triangle";
    }
}
public class Shapes {
    public static  void main(String[] args){
        List<Shape> shapeList = Arrays.asList(                new Circle(), new Square(), new Triangle()  // 向上转型为 Shape，此处会丢失原来的具体类型信息！！对于数组而言，它们只是Shape类对象！
        );        for(Shape shape : shapeList){
            shape.draw();   // 数组实际上将所有事物都当作Object持有，在取用时会自动将结果转型回声明类型即Shape。
        }        //shapeList.get(0).drawCircle(); //这里会编译错误：在Shape类中找不到符号drawCircle()，证实了具体类型信息的丢失!!
    }
}

2 Klassenobjekt

2.1 Funktionsweise von RTTI in Java

  Um bestimmte Typen zur Laufzeit identifizieren zu können, bedeutet dies, dass es etwas geben muss, das bestimmte Typinformationen zur Laufzeit speichert, und zwar dieses Ding ist

Klassenobjekt

, ein spezielles Objekt. Das heißt, das Klassenobjekt stellt Laufzeittypinformationen dar, die klassenbezogene Informationen enthalten.

Tatsächlich wird das Objekt

Klasse
• verwendet, um

  alle „regulären“ Objekte der Klasse zu erstellen.

  Jede Klasse hat ein
Klasse
• -Objekt. Mit anderen Worten: Immer wenn eine neue Klasse geschrieben und

  kompiliert wird, wird ein Klassen-Objekt erzeugt (besser gesagt, wird in einem gespeichert). .KlasseDatei mit demselben Namen ). Mit anderen Worten: Das

Klassenobjekt
• wird generiert, wenn die .java-Datei in eine .class-Datei kompiliert wird, und wird

  gespeichertIn dieser .Klassendatei. 2.2 Klassenobjekte werden zum Generieren von Objekten verwendet (reguläre Objekte, Nicht-Klassenobjekte)

  Die JVM, auf der das Programm ausgeführt wird, verwendet das sogenannte „

Klassenlader-Subsystem „

“ (Klassenlader-Subsystem) generiert ein Klassenobjekt durch Laden des Klassenobjekts (oder der .class-Datei). Alle Klassen werden bei der ersten Verwendung dynamisch in die JVM geladen

. Wenn ein Programm zum ersten Mal ein statisches Mitglied einer Klasse verwendet, wird die Klasse geladen, was bedeutet, dass der Konstruktor auch eine statische Methode ist, auch wenn das Schlüsselwort static nicht vor dem Konstruktor hinzugefügt wird.

• Daher ist das Java-Programm nicht vollständig geladen, bevor es ausgeführt wird, und seine verschiedenen Teile werden geladen, wenn

  notwendig ist. (Es ist schwierig, eine Sprache wie C++ statisch zu laden.)

• 2.3 Die Arbeit (Prozess) des Klassenladers

Zuallererst

Überprüfen Sie

• , ob das

  Klassenobjekt (oder verstehen Sie die .class-Datei) geladen wurde; , falls ja noch nicht geladen wurde, sucht der Standard-Klassenlader nach der .class-Datei

  basierend auf dem Klassennamen

• , sobald das Klassenobjekt vorhanden ist (.class-Datei) geladen (in den Speicher geladen) wird, wird sie zum Erstellen

  aller Objekte dieser Klasse verwendet.

  以下程序证实上一点。

package net.mrliuli.rtti;/**
 * Created by leon on 2017/12/3.
 */class Candy{    static { System.out.println("Loading Candy"); }
}

class Gum{    static { System.out.println("Loading Gum"); }
}

class Cookie{    static { System.out.println("Loading Cookie"); }
}public class SweetShop {
    public static void main(String[] args){
        System.out.println("inside main");        new Candy();
        System.out.println("After creating Candy");        try{
            Class.forName("net.mrliuli.rtti.Gum");
        }catch (ClassNotFoundException e){
            System.out.println("Couldn't find Gum");
        }
        System.out.println("After Class.forName(\"Gum\")");        new Cookie();
        System.out.println("After creating Cookie");
    }
}

• 以上程序每个类都有一个static子句，static子句在类第一次被加载时执行。

• 从输出中可以看出，
  

• Class对象仅在需要时才被加载，

• static初始化是在类加载时进行的。

• Class.forName(net.mrliuli.rtti.Gum)是Class类的一个静态成员，用来返回一个Class对象的引用（Class对象和其他对象一样，我们可以获取并操作它的引用（这也就是类加载器的工作））。使用这个方法时，如果net.mrliuli.rtti.Gum还没有被加载就加载它。在加载过程中，Gum的static子句被执行。

  总之，无论何时，只要你想在运行时使用类型信息，就必须首先获得对恰当的Class对象的引用。

2.4 获得Class对象引用的方法

• 通过Class.forName()，就是一个便捷途径，这种方式不需要为了获得Class对象引用而持有该类型的对象。（即没有创建过或没有这个类型的对象的时候就可以获得Class对象引用。）

• 如果已经有一个类型的对象，那就可以通过调用这个对象的getClass()方法来获取它的Class对象引用了。这个方法属于Object，返回表示该对象的实际类型的Class对象引用。

2.5 Class包含的有用的方法

  以下程序展示Class包含的很多有用的方法:

• getName() 获取类的全限定名称

• getSimpleName() 获取不含包名的类名

• getCanonicalName() 获取全限定的类名

• isInterface() 判断某个Class对象是否是接口

• getInterfaces() 返回Class对象实现的接口数组

• getSuperClass() 返回Class对象的直接基类

• newInstance() 创建一个这个Class对象所代表的类的一个实例对象。
  

• Class引用在编译期不具备任何更进一步的类型信息，所以它返回的只是一个Object引用，但是这个Object引用指向的是这个Class引用所代表的具体类型。即需要转型到具体类型才能给它发送Object以外的消息

• newInstance()这个方法依赖于Class对象所代表的类必须具有可访问的默认的构造函数（Nullary constructor，即无参的构造器），否则会抛出InstantiationException 或 IllegalAccessException 异常

package net.mrliuli.rtti;/**
 * Created by li.liu on 2017/12/4.
 */interface HasBatteries{}interface Waterproof{}interface Shoots{}class Toy{
    Toy(){}
    Toy(int i){}
}class FancyToy extends Toy implements HasBatteries, Waterproof, Shoots{
    FancyToy(){ super(1); }
}public class ToyTest {
    static void printInfo(Class cc){
        System.out.println("Class name: " + cc.getName() + " is interface? [" + cc.isInterface() + "]");
        System.out.println("Simple name: " + cc.getSimpleName());
        System.out.println("Canonical name: " + cc.getCanonicalName());
    }    public static  void main(String[] args){
        Class c = null;        try{
            c = Class.forName("net.mrliuli.rtti.FancyToy");
        }catch (ClassNotFoundException e){
            System.out.println("Can't find FancyToy");
            System.exit(1);
        }
        printInfo(c);
        System.out.println("=============================");        for(Class face : c.getInterfaces()){
            printInfo(face);
        }
        System.out.println("=============================");
        Class up = c.getSuperclass();
        Object obj = null;        try{            // Requires default constructor:
            obj = up.newInstance();
        }catch (InstantiationException e){
            System.out.println("Cannot instantiate");
            System.exit(1);
        }catch (IllegalAccessException e){
            System.out.println("Cannot access");
            System.exit(1);
        }
        printInfo(obj.getClass());
    }
}

2.6 类字面常量

  2.6.1 使用类字面常量.class是获取Class对象引用的另一种方法。如 FancyToy.class。建议使用这种方法。

• 编译时就会受到检查（因此不需要放到try语句块中），所以既简单又安全。根除了对forName()的调用，所以也更高效。

• 类字面常量.class不仅适用于普通的类，也适用于接口、数组和基本类型。

• 基本类型的包装器类有一个标准字段TYPE，它是一个引用，指向对应的基本数据类型的Class引用，即有boolean.class 等价于 Boolean.TYPE，int.class 等价于 Integer.TYPE…

• 注意，使用.class来创建Class对象的引用时，不会自动地初始化该Class对象。

  2.6.2 为了使用类而做的准备工作实际包含三个步骤：

• 加载，这是由类加载器执行的。该步骤将查找字节码（通常在CLASSPATH所指定的路径中查找），并从这些字节码中创建一个Class对象。

• 链接。在链接阶段将验证类中的字节码，为静态域分配存储空间，并且如果必需的话，将解析这个类创建的对其他类的所有引用。

• 初始化。如果该类具有超类，则对其初始化，执行静态初始化器和静态初始块。

  2.6.3 初始化惰性

  初始化被延迟到了对静态方法（构造器隐式地是静态的）或者非常数静态域进行首次引用时才执行，即初始化有效地实现了尽可能 的“惰性”。
  以下程序证实了上述观点。注意，将一个域设置为static 和 final的，不足以成为“编译期常量”或“常数静态域”，如 static final int staticFinal2 = ClassInitialization.rand.nextInt(1000);就不是编译期常量，对它的引用将强制进行类的初始化。

package net.mrliuli.rtti;import java.util.Random;class Initable{    static final int staticFinal = 47;      // 常数静态域
    static final int staticFinal2 = ClassInitialization.rand.nextInt(1000);     // 非常数静态域（不是编译期常量）
    static{
        System.out.println("Initializing Initable");
    }
}class Initable2{    static int staticNonFinal = 147;    // 非常数静态域
    static {
        System.out.println("Initializing Initable2");
    }
}class Initable3{    static int staticNonFinal = 74;     // 非常数静态域
    static {
        System.out.println("Initializing Initable3");
    }
}public class ClassInitialization {    public static Random rand = new Random(47);    public static void main(String[] args) throws Exception {
        Class initalbe = Initable.class;                // 使用类字面常量.class获取Class对象引用，不会初始化
        System.out.println("After creating Initable ref");
        System.out.println(Initable.staticFinal);       // 常数静态域首次引用，不会初始化
        System.out.println(Initable.staticFinal2);      // 非常数静态域首次引用，会初始化
        System.out.println(Initable2.staticNonFinal);   // 非常数静态域首次引用，会初始化
        Class initable3 = Class.forName("net.mrliuli.rtti.Initable3");      // 使用Class.forName()获取Class对象引用，会初始化
        System.out.println("After creating Initable3 ref");
        System.out.println(Initable3.staticNonFinal);   // 已初始化过
    }

}

2.7 泛化的Class引用

2.7.1 Class对象类型限制

  Class引用总是指向某个Class对象，此时，这个Class对象可以是各种类型的，当使用泛型语法对Class引用所指向的Class对象的类型进行限定时，这就使得Class对象的类型变得具体，这样编译器编译时也会做一些额外的类型检查工作。如

package net.mrliuli.rtti;public class GenericClassReferences {    public static void main(String[] args){
        Class intClass = int.class;
        Class<Integer> genericIntClass = int.class;
        genericIntClass = Integer.class;    // Same thing
        intClass = double.class;        // genericIntClass = double.class;  // Illegal, genericIntClass 限制为Integer 的Class对象
    }
}

2.7.2 使用通配符?放松对Class对象类型的限制

  通配符?是Java泛型的一部分，?表示“任何事物”。以下程序中Class<?> intClass = int.class; 与 Class intClass = int.class; 是等价的，但使用Class<?>优于使用Class，因为它说明了你是明确要使用一个非具体的类引用，才选择了一个非具体的版本，而不是由于你的疏忽。

package net.mrliuli.rtti;/**
 * Created by li.liu on 2017/12/4.
 */public class WildcardClassReferences {
    public static void main(String[] args){
        Class<?> intClass = int.class;
        intClass = double.class;
    }
}

2.7.3 类型范围

  将通配符与extends关键字相结合如Class<? extends Number>，就创建了一个范围，使得这个Class引用被限定为Number类型或其子类型。

package net.mrliuli.rtti;/**
 * Created by li.liu on 2017/12/4.
 */public class BoundedClassReferences {
    public static void main(String[] args){
        Class<? extends Number> bounded = int.class;
        bounded = double.class;
        bounded = Number.class;        // Or anything derived from Number
    }
}

  泛型类语法示例：

package net.mrliuli.rtti;

import java.util.ArrayList;
import java.util.List;/**
 * Created by li.liu on 2017/12/4.
 */class CountedInteger{    private static long counter;    private final long id = counter++;    public String toString(){        return Long.toString(id);
    }
}public class FilledList<T> {    private Class<T> type;    public FilledList(Class<T> type){        this.type = type;
    }    public List<T> create(int nElements){
        List<T> result = new ArrayList<T>();        try{            for(int i = 0; i < nElements; i++){
                result.add(type.newInstance());
            }
        }catch(Exception e){            throw new RuntimeException(e);
        }        return result;
    }    public static void main(String[] args){
        FilledList<CountedInteger> fl = new FilledList<CountedInteger>(CountedInteger.class);   // 存储一个类引用
        System.out.println(fl.create(15));      // 产生一个list
    }
}

  总结，使用泛型类后

• 使得编译期进行类型检查

• .newInstance()将返回确切类型的对象，而不是Object对象

2.7.4 Class

package net.mrliuli.rtti;public class GenericToyTest {
    public static void main(String[] args) throws Exception{

        Class<FancyToy> ftClass = FancyToy.class;        // Produces exact type:
        FancyToy fancyToy = ftClass.newInstance();

        Class<? super FancyToy> up = ftClass.getSuperclass();   //

        // This won&#39;t compile:
        // Toy toy = up.newInstance();
        // Class<Toy> up2 = up.getSuperclass();     // 这里 getSuperclass() 已经知道结果是Toy.class了，却不能赋给 Class<Toy>，这就是所谓的含糊性（vagueness）

        // Only produces Object:    (because of the vagueness)
        Object obj = up.newInstance();

    }
}

2.7.5 类型转换前先做检查

  RTTI形式包括：

• 传统类型转换，如(Shape)

• 代表对象的类型的Class对象

• 每三种形式，就是关键字 instanceof。它返回一个布尔值，告诉我们对象是不是某个特定类型或其子类。如if(x instanceof Dog)语句会检查对象x是否从属于Dog类。

• 还一种形式是动态的instanceof：Class.isInstance()方法提供了一种动态地测试对象的途径。Class.isInstance()方法使我们不再需要instanceof表达式。

2.7.6 isAssignableFrom()

  Class.isAssignableFrom() ：调用类型可以被参数类型赋值，即判断传递进来的参数是否属于调用类型继承结构（是调用类型或调用类型的子类）。

3 注册工厂

4 instanceof 与 Class 的等价性

• instanceof 和 isInstance() 保持了类型的概念，它指的是“你是这个类吗，或者你是这个类的派生类吗？”

• == 和 equals() 没有考虑继承——它要么是这个确切的类型，要么不是。

5 反射：运行时的类信息（Reflection: runtime class information）

  Class类与 java.lang.reflect类库一起对反射的概念进行了支持。

  RTTI与反射的真正区别在于：

• 对于RTTI来说，是编译时打开和检查.class文件。（换句话说，我们可以用“普通”方式调用对象的所有方法。）

• 对于反射机制来说，.class文件在编译时是不可获取的，所以是在运行时打开和检查.class文件。

6 动态代理

• Java的动态代理比代理的思想更向前迈进了一步，因为它可以动态地创建代理并动态地处理对所代理方法的调用。

• 在动态代理上所做的所有调用都会被重定向到单一的调用处理器上，它的工作是揭示调用的类型并确定相应的对策。

• 通过调用静态方法Proxy.newProxyInstance()可以创建动态代理，需要三个参数：
  

• ClassLoader loader 一个类加载器，通常可以从已经被加载的对象中获取其类加载器

• Class<?>[] interfaces 一个希望代理要实现的接口列表（不是类或抽象类）

• InvocationHandler h 一个调用处理器接口的实现

• 动态代理可以将所有调用重定向到调用处理器，因此通常会向调用处理器传递一个“实际”对象（即被代理的对象）的引用，从而使得调用处理器在执行其中介任务时，可以将请求转发（即去调用实际对象）。

6.1 动态代理的优点及美中不足

• 优点：动态代理与静态代理相较，最大的好处是接口中声明的所有方法都被转移到调用处理器一个集中的方法（InvocationHandler.invoke）中处理。这样，在接口方法数量比较多的时候，我们可以进行灵活处理，而不需要像静态代理那样每一个方法进行中转。

• 美中不足：它始终无法摆脱仅支持interface代理的桎梏，因为它的设计注定了这个遗憾。

7. 空对象

7.1 YAGNI

   极限编程（XP）的原则之一，YAGNI（You Aren’t Going to Need It，你永不需要它），即“做可以工作的最简单的事情”。

7.2 模拟对象与桩（Mock Objects & Stubs）

  空对象的逻辑变体是模拟对象和桩。

8. 接口与类型信息

通过使用反射，可以到达并调用一个类的所有方法，包括私有方法！如果知道方法名，就可以在其Method对象上调用setAccessible(true)，然后访问私有方法。

  以下命令显示类的所有成员，包括私有成员。-private标志表示所有成员都显示。

javap -private 类名

  因此任何人都可以获取你最私有的方法的名字和签名，即使这个类是私有内部类或是匿名内部类。

package net.mrliuli.rtti;/**
 * Created by li.liu on 2017/12/6.
 */import java.lang.reflect.Method;/**
 * 通过反射调用所有方法（包括私有的）
 */public class HiddenImplementation {

    static void callHiddenMethod(Object obj, String methodName, Object[] args) throws Exception{
        Method method = obj.getClass().getDeclaredMethod(methodName);
        method.setAccessible(true);
        method.invoke(obj, args);
    }    public static void main(String[] args) throws Exception{
        callHiddenMethod(new B(), "g", null);
    }
}

interface A {    void f();
}
class B implements A{    @Override
    public void f(){}    private void g(){
        System.out.println("B.g()");
    }
}

相关文章：

Java编程思想学习课时（一）：第1~13、16章

Java Programming Thoughts Learning Class (3) Kapitel 15 – Generics

Das obige ist der detaillierte Inhalt vonJava-Programmiergedanken-Lernklasse (2) Kapitel 14 – Typinformationen. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!