泛型传递
最近在读代码的过程中，经常遇到一些利用泛型来对调用链中的参数进行类型约束的情形，特指对于调用链中后面环节的参数类型和返回值，由前面环节的参数类型来确定，我草率地把它称作泛型传递（技巧很简单，但是用得好会很有趣；我不知道这个东西正儿八经的名字叫做什么）。
在说这个事情以前，对于 Java 的泛型，还是和其它语言中有些许的不同，这里需要结合使用方法泛型和类泛型，如有不明，对于其中的使用可以参考这篇 《泛型趣谈》，而其实下面要说的内容，其实也就是这篇文章中提到的 “链式调用”。另外，也顺便提一句，“泛型” 和 “范型” 可是完全不相干的东西，相差十万八千里（若有混淆，关于 “范型”，可以移步阅读这篇文章）。
很多情况下，我们写代码要解决的直接问题就是平衡变化和不变这两部分，很多情况下需要寻找抽象的不变的那一部分，把变化的部分留给 “外部”（开发者/使用者/其它系统/调用者）去解决。处理变化点的方式有很多，简单可以分为运行时和编译期间两种，各种各样的设计模式和方法技巧，都是围绕变与不变这样的问题。
- 对于运行时来说，处理变化问题，核心就是使用 if-else 这样的分支选择；除了这个办法，还有就是多态。
- 对于编译期间来说，方法重载是最基本的方法，但是现在也可以用泛型来进行规约；不过，遗憾的是 Java 的泛型始终只能做到编译期间类型检查而已，编译后的字节码里面早就擦除了泛型的信息。
无论如何，利用泛型来实现参数类型的约束已经非常有用了，最近在写的一些代码，很多情况下，需要结合 Class<T> 和泛型传递来实现参数约束，如下代码：
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 泛型所决定的，如下例调用：
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。
泛型传递的类型约束也是在编译期间达成的，用得好的话它的作用无法替代。在框架的代码定义上显得冗余，但是对于框架代码的客户来说，写类型确定的链式调用是很愉快的。
文章未经特殊标明皆为本人原创，未经许可不得用于任何商业用途，转载请保持完整性并注明来源链接 《四火的唠叨》
腾讯云开发者
