为什么接口的泛型方法可以在 Java 中实现为非泛型？答案

【问题标题】：Why a generic method of an interface can be implemented as non-generic in Java?为什么接口的泛型方法可以在 Java 中实现为非泛型？
【发布时间】：2016-08-10 02:49:11
【问题描述】：

假设我们有几个这样的测试接口/类：

abstract class Plant {
    public abstract String getName();
}

interface Eatable { }

class Apple extends Plant implements Eatable {
    @Override
    public String getName() {
        return "Apple";
    }
}

class Rose extends Plant {
    @Override
    public String getName() {
        return "Rose";
    }
}

interface Animal {
    <T extends Plant & Eatable> void eat(T plant);
}

您可以看到Animal.eat 是一个带有约束的泛型方法。现在我的Human 类是这样的：

class Human implements Animal {
    @Override
    public void eat(Plant plant) {
    }
}

编译得很好。你可以看到Human.eat 的约束比Animal.eat 少，因为Eatable 接口丢失了。

Q1：为什么编译器不抱怨这种不一致？

Q2：如果编译器可以接受Plant&Eatable降级到Plant，为什么它会抱怨eat(Object plant)？

【问题讨论】：

您使用的是哪个版本的 Java。在 Eclipse 中使用 Java 1.8 会产生预期的编译时错误。
@Codebender Java8 in Intellij IDEA。
@Codebender 我编译这个没有问题。 ideone.com/7xUcZn
@ElliottFrisch 但它发生在编译阶段，编译器知道这一点，我认为它应该给出一个错误，至少是一个警告？
这正是@ElliottFrisch 刚才所说的。

标签： java generics java-8 generic-constraints

【解决方案1】：

Lesson: Generics by Gilad Bracha 据他说

public static <T extends Object & Comparable<? super T>> T max(Collection<T> coll)
这是为类型参数提供多个边界的示例，使用语法 T1 & T2 ... & Tn。具有多个的类型变量 bounds 是已知的所有类型的子类型边界。当使用多重边界时，第一种类型在 bound 用作类型变量的擦除。

因此您的示例 <T extends Plant & Eatable> void eat(T plant); 将被删除为 void eat(Plant plant);，因此当您覆盖它时，编译器不会抱怨

【讨论】：

【解决方案2】：

艾哈迈德的回答是对的，顺便说一下，如果你想约束Animal接口的实现，你应该这样声明：

interface Animal<T extends Plant & Eatable>  {
    void eat(T plant);
}

然后，如果您在不提供类型信息的情况下实现 Animal 接口，编译器将使用最少意外策略将 T 推断为 Plant 类型。但是，如果您提供必要的类型信息，编译器就可以正常工作。

class Human implements Animal<Rose> // won't compile
class Human implements Animal<Apple> // compile

【讨论】：