Java 泛型/类型调度问题答案

【问题标题】：Java Generic / Type Dispatch QuestionJava 泛型/类型调度问题
【发布时间】：2010-09-24 05:06:48
【问题描述】：

考虑以下程序：

import java.util.List;
import java.util.ArrayList;

public class TypeTest {

    public static class TypeTestA extends TypeTest {

    }

    public static class TypeTestB extends TypeTest {

    }

    public static final class Printer {
        public void print(TypeTest t) {
            System.out.println("T");
        }

        public void print(TypeTestA t) {
            System.out.println("A");
        }

        public void print(TypeTestB t) {
            System.out.println("B");
        }

        public <T extends TypeTest> void print(List<T> t) {
            for (T tt : t) {
                print(normalize(tt.getClass(), tt));
            }
        }

        private static <T> T normalize(Class<T> clz, Object o) {
            return clz.cast(o);
        }

    }
    public static void main(String[] args) {
        Printer printer = new Printer();
        TypeTest t1 = new TypeTest();
        printer.print(t1);
        TypeTestA t2 = new TypeTestA();
        printer.print(t2);
        TypeTestB t3 = new TypeTestB();
        printer.print(t3);
        System.out.println("....................");
        List<TypeTestB> tb1 = new ArrayList<TypeTestB>();
        tb1.add(t3);
        printer.print(tb1);
    }
}

main 方法现在打印：

T  
A  
B  
....................  
T

我应该怎么做才能让它打印以下内容？

T  
A  
B  
....................  
B

我想避免为每种可以打印的类型编写如下循环：

   public void printTypeTestB(List<TypeTestB> t) {
        for (TypeTestB tt : t) {
            print(tt);
        }
    }

【问题讨论】：

标签： java generics dispatch

【解决方案1】：

问题的根源在于 Java 方法重载是在编译时根据方法参数表达式的声明类型解决的。您的程序似乎正在尝试对不同的方法重载使用运行时分派。这在 Java 中根本行不通。

您在示例中使用泛型这一事实有点牵强附会。如果将类型参数<T> 替换为TypeTest，也会遇到同样的问题。

【讨论】：

【解决方案2】：

考虑创建一个了解所有相关子类型的访问者界面。

public class TypeTestFoo {

interface TypeTestVisitor {
    void visit(TypeTestA t);
    void visit(TypeTestB t);
    void visit(TypeTest t);
}

interface TypeTest {
    void accept(TypeTestVisitor visitor);
}

public static class TypeTestA implements TypeTest {
    public void accept(TypeTestVisitor visitor) {
        visitor.visit(this);
    }
}

public static class TypeTestB implements TypeTest {
    public void accept(TypeTestVisitor visitor) {
        visitor.visit(this);
    }
}

public static final class Printer implements TypeTestVisitor {
    public void visit(TypeTestA t) {
        System.out.println("A");
    }

    public void visit(TypeTestB t) {
        System.out.println("B");
    }

    public void visit(TypeTest t) {
        System.out.println("T");
    }

}
public static void main(String[] args) {
    Printer printer = new Printer();
    TypeTest t1 = new TypeTest() {
        public void accept(TypeTestVisitor visitor) {
            visitor.visit(this);
    }};
    t1.accept(printer);    
    TypeTestA t2 = new TypeTestA();
    t2.accept(printer);
    TypeTestB t3 = new TypeTestB();
    t3.accept(printer);
    System.out.println("....................");
    List<TypeTestB> tb1 = new ArrayList<TypeTestB>();
    tb1.add(t3);
    for (TypeTestB each : tb1) {
        each.accept(printer);
    }
}

}

这应该打印出你想要的：

T
A
B
....................
B

类型在允许编译时重载的接口中列出。另一方面，这是您放置不想对其行为进行参数化的子类型的单点。 Java 不是一种非常动态的语言... :)

【讨论】：

【解决方案3】：

复杂的“访客模式”的候选者。

或者简单地将 print() 方法从 Printer 移动到 TypeTest

【讨论】：