Java中基于泛型的交叉类型 - {4Comprehension}

19-07-09 banq
                   

简单地说,交集类型是通过组合至少两种不同类型而创建的匿名类型的形式。

想象一下,我们需要模拟两种类型的动物:

  • 那些可以飞的
  • 那些可以游泳的

我们可以简单地实现两个接口:

class SailfinFlyingfish implements Swimmable, Flyable {

    @Override
    public void fly() {
        System.out.println("*flap flap*");
    }

    @Override
    public void swim() {
        System.out.println("*swim swim*");
    }
}

但是,如果我们想要创建一种只接受可以游泳和飞行的动物的方法呢?

public static void process(... animal) { 
    animal.fly();
    animal.swim();
}

变通方式是引入合成接口:

interface FlyableAndSwimmable extends Flyable, Swimmable { }

但这涉及相当多额外的样板代码,也不是很有弹性,但至少是类型安全的。

基于泛型的交叉类型(intersection type

我们可以在定义泛型类型变量时使用该语法:

public static <T extends Flyable & Swimmable> void process(T animal) {
    animal.fly();
    animal.swim();
}

Java语言规范:

交叉类型采用T1&...&Tn(n> 0)的形式,其中Ti(1≤i≤n)是类型。

An intersection type takes the form T1 & … & Tn (n > 0), where Ti (1 ≤ i ≤ n) are types.

它可能看起来像一个基于泛型的黑客,但它实际上是一个完全成熟的合法Java功能 - 只是以一种有趣的方式实现。

通过利用这种语法,我们最终得到了一个类型安全和无样板解决方案。

自JDK10起

在JDK10之前,该方法只能在使用泛型类型参数时使用,但自从引入局部变量类型推理以来,我们可以在局部变量级别执行相同的操作:

var action = (Function<Integer, Integer> & Serializable) i -> i + 1;