“类型不匹配”函数递归返回

Question

我有一个函数返回一个通用类K的类型，它扩展了Comparable接口。这个函数递归地调用它自己。有趣的是，当它被称为我收到错误Type mismatch: cannot convert from Comparable to K.

public class NonEmptyTree<K extends Comparable<K>, V> implements Tree<K, V> { 
    Tree right; 
    K key; 
    ... 
    public K max() throws EmptyTreeException { 
     try { 
      return right.max(); // "Type mismatch: cannot convert from Comparable to K" 
     } catch (EmptyTreeException e) { 
      return key; 
     } 
    } 
    ... 
} 

改变return语句return (K) right.max();消除错误并产生预期的行为。

为什么演员是必要的，我怎样才能生成代码，这样就不需要演员？

Answer 1

问题出在right的声明中。

不是

Tree right; 

它应该是：

Tree<K, V> right;