java - 在简单工厂中使用泛型时如何解决这个困境

Question

我有一个 Data 类，它有几个子类，例如 JSONData、XMLData、IntegerData。任务是处理不同类型的传入数据。因此，基于程序到接口(interface)，而不是实现，我创建了以下接口(interface)，使用泛型进行编译时类型检查:

interface DataProcessor<T extends Data> {
    void process(T data);
}

有几种基于此接口(interface)的实现:

* `class JSONDataProcessor implements DataProcessor<JSONData>`
* `class XMLDataProcessor implements DataProcessor<XMLData>`
* `class IntegerDataProcessor implements DataProcessor<IntegerData>`

剩下的工作是创建一个简单工厂，用于创建相应的DataProcessor 实例。所以我创建了以下简单工厂，或者说它实际上只是一个处理器映射器，因为具体的处理器可以作为 静态变量 缓存在 ProcessorFactory 中:

public class ProcessorFactory {
    public static DataProcessor<?> create() {
          //logic of return an instance
    }
}

上面的设计有一个问题——DataProcessor返回实例的process方法不能直接调用:

Data data = jsonData;
ProcessorFactory.create().process(data);

问题:由于数据必须是 Data 的具体子类，所以上面的代码有一个编译错误，因为编译时类型检查，如何解决这个？或者是设计本身。坏的？如果是这样，什么是更好的设计？

Answer 1

虽然设计模式很酷，但您在问题中报告的编译错误并不是由于缺少双重分派(dispatch)造成的。

你得到编译错误是因为通过声明，例如: JSONDataProcessor implements DataProcessor<JSONData>{...} 你已经声明了这个方法: void process(JSONData data) .

您可能假设 <T extends Data> 意味着你可以传递一个静态类型的对象实例 Data 到 void process(JSONData data) 因为，毕竟， Data extends Data 。但这不是 Java 的工作方式。

查看编译错误原因的一种方法是考虑如下方法声明: public static void main(String arg){...} 。尽管 String extends Object ，传递静态类型的引用是非法的 Object 到声明为 main(String) 的方法中.

您会遇到与 DataProcessor 相同的编译错误 如果您尝试将该方法调用为 main(new Object()) 。通过引入不必要的设计模式来纠正您犯的错误未免太过分了。在您的情况和 main(String) 的情况下，最简单的更正是传入方法声明采用的类型。

„…how to resolve this?…“

在我看来，最简单的解决方案是按照您最初声明它们的方式使用您的方法。如果你的是在类似的 way that mine is 中实现的，然后我确认这有效……

...
JSONData data = new JSONData( ... );
ProcessorFactory.create().process(data);
...

这也是works in my demo (不需要设计模式)……

DataProcessor< Data< ? > > dProc = DataProcessor.Factory.create( );
Data<String> data = new JSONData( ... );
dProc.process( data );

„…is the design per se. bad?…“

将设计称为“好”或“坏”是主观的。更客观地问问自己:设计是否正确？它是否正确地完成了您打算做的事情？如果它按照您的意愿行事，那么它就是正确的。如果没有，则返回white 绘图板。

您的另一个设计选择是决定完全不使用泛型 — 也不使用设计模式。您可能只需要更简单的方法。

您提到:“针对接口(interface)编程”。也许您所有的设计需求都是老式接口(interface)形式的普通旧子类型多态性。泛型可能不是您想要做的事情的最佳设计选择。