为什么这个枚举不能编译？

Question

为什么这个枚举不能编译？

public enum Ackr implements Cloneable{
    INSTANCE;

    public <Ackr extends Cloneable> Ackr getInstance(){
        return INSTANCE; //Type mismatch: cannot convert from Ackr to Ackr
//      return (Ackr)INSTANCE; //Type safety: Unchecked cast from Ackr to Ackr
    }
}

Answer 1

据我所知，这种类型参数是不必要的。简单地尝试一下

public Ackr getInstance(){
    return INSTANCE;
}

Answer 2

您想通过此签名实现什么目的？

public <Ackr extends Cloneable> Ackr getInstance() ...

你就不能写这个吗？

public Ackr getInstance() ...

---

我还认为扩展 Clonable 的 enum 有点无意义。 enum 无法复制...枚举的值只有一个。

Answer 3

我发现您对泛型有误解。枚举类 Ackr 与类型 不同。

public Ackr getInstance()

您可以使用上述方法声明定义一个新类型。它与枚举类 Ackr 完全不同。这就是你的类无法编译的原因。

Answer 4

您在评论中写道：

我认为没有理由 ，但是在什么情况下这个构造才有意义？

这是您的方法的类型参数。

public <Ackr extends Cloneable> Ackr getInstance(){ ... }

定义一个方法，该方法返回扩展 Cloneable 的某种类型的对象（可由调用者选择）。此方法只能合法地返回 null （因为您现在无法知道调用者选择了哪种类型，并且 null 是所有引用类型中唯一常见的值）或抛出一个例外，因此它并不是真正有用。

这里的类型参数 Ackr 与你的同名枚举类没有关系，所以你最好这样写：

public <A extends Cloneable> A getInstance(){ ... }

Java API 中有一些例子，其中类型参数的这种用法仅用于返回类型 - 但随后它们返回一些参数化类型（并且方法的类型参数用作返回类型的类型参数）。例如，查找 Collections.emptySet()。

更常见的是，方法的类型参数用在方法的参数类型中（仅或附加于返回类型）。

 public <A> A getFirstElement(Iterable<A> list);

此方法采用某种类型 A 的 Iterable，并返回此类型 A 的对象。（从名称来看，人们会认为它采用此可迭代的第一个元素。）以下是一个实现：

 public <A> A getFirstElement(Iterable<A> list) {
     Iterator<A> it = list.iterator();
     if(it.hasNext()) {
         return it.next();
     }
     return null;
 }

通常： 如果你有一个类型参数（任何地方），请确保你没有将它命名为与某些现有类型相同的名称（就像你在这里所做的那样） - 它会掩盖你现有的类型，由于奇怪的错误消息而导致极大的混乱，例如Ackr 不可分配给 Ackr。

这就是类型参数通常具有一个（或很少两个）字符名称的原因，例如 E（元素类型）、K、V（键）和地图的值类型），T（一般类型）。