Java泛型

泛型传递

最近在读代码的过程中，经常遇到一些利用泛型来对调用链中的参数进行类型约束的情形，特指对于调用链中后面环节的参数类型和返回值，由前面环节的参数类型来确定，我草率地把它称作泛型传递（技巧很简单，但是用得好会很有趣；我不知道这个东西正儿八经的名字叫做什么）。

在说这个事情以前，对于Java的泛型，还是和其它语言中有些许的不同，这里需要结合使用方法泛型和类泛型，如有不明，对于其中的使用可以参考这篇《泛型趣谈》，而其实下面要说的内容，其实也就是这篇文章中提到的“链式调用”。另外，也顺便提一句，“泛型”和“范型”可是完全不相干的东西，相差十万八千里（若有混淆，关于“范型”，可以移步阅读这篇文章）。

很多情况下，我们写代码要解决的直接问题就是平衡变化和不变这两部分，很多情况下需要寻找抽象的不变的那一部分，把变化的部分留给“外部”（开发者/使用者/其它系统/调用者）去解决。处理变化点的方式有很多，简单可以分为运行时和编译期间两种，各种各样的设计模式和方法技巧，都是围绕变与不变这样的问题。

• 对于运行时来说，处理变化问题，核心就是使用if-else这样的分支选择；除了这个办法，还有就是多态。
• 对于编译期间来说，方法重载是最基本的方法，但是现在也可以用泛型来进行规约；不过，遗憾的是Java的泛型始终只能做到编译期间类型检查而已，编译后的字节码里面早就擦除了泛型的信息。

无论如何，利用泛型来实现参数类型的约束已经非常有用了，最近在写的一些代码，很多情况下，需要结合Class<T>和泛型传递来实现参数约束，如下代码：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44

interface Transformer<Input, Output> {      public Output transforme(Input input); }   class Builder {      private static Builder instance = new Builder();        private Builder() {      }        public static Builder getInstance() {          return instance;      }        public <Input, Output> BuilderAfterTransformerBinding<Input, Output> bindTransformer(              Class<? extends Transformer<Input, Output>> clazz) {          return new BuilderAfterTransformerBinding<Input, Output>(clazz);      } }   class BuilderAfterTransformerBinding<Input, Output> {      private Transformer<Input, Output> transformer;        public BuilderAfterTransformerBinding(              Class<? extends Transformer<Input, Output>> clazz) {          try {              transformer = clazz.newInstance();          } catch (Exception e) {              throw new RuntimeException(e);          }      }        public Wrapper<Output> wrap(Input input) {          return new Wrapper<Output>(transformer.transforme(input));      } }   class Wrapper<T> {      private T t;        public Wrapper(T t) {          this .t = t;      } }

这段代码中，

• Transformer接口就是用来把某Input转成Output之用的；
• Builder类是链式调用的入口；
• Wrapper类是一个普通的包装类；
• BuilderAfterTransformerBinding类是链式调用第二步的对象，对于调用者来说，他调用其中的wrap方法时，传入的参数（上述代码中的Input）是由链式调用第一步的Class泛型所决定的，如下例调用：

1 2 3 4 5 6 7 8 9

byte [] byteArray = ...; Builder.getInstance().bindTransformer(      new Transformer< byte [], String>() {          @Override          public String transforme( byte [] input) {              ... ...          }      }.getClass()) .wrap(byteArray);

其中链式调用的第一步传入的Class中，定义了泛型Input是byte[]，Output是String，那么第二步wrap方法的入参也必须是byte[]，返回值必须为String。

泛型传递的类型约束也是在编译期间达成的，用得好的话它的作用无法替代。在框架的代码定义上显得冗余，但是对于框架代码的客户来说，写类型确定的链式调用是很愉快的。