一般的代码要求类型必须是确定的，这对可以被不同的类型复用的代码产生了极大的限制。 将类型声明为超类或接口可以在一定范围内实现代码的复用，但这也只是将限制范围扩到了超类及其子类或实现了接口的类，在一些情况下这个范围还是不能满足到我们，尤其java是单根继承的。我们希望的是“非特定…