Java에 한정된 일반 공분산

Question

다음 코드에서 R은 Appendable을 확장하므로 R이 예상되는 Appendable을 반환 할 수 없습니까? 다음 코드에서부터

/** 
    * Produces an R, to which a T has been semantically appended, 
    * whatever that may mean for the given type. 
    */ 
interface Appendable <R, T> 
{ 
    /** 
    * Append is not expected to modify this Appendable, 
    * but rather to return an R which is the result 
    * of the append. 
    */ 
    R append(T t); 
} 

interface PluralAppendable <R extends Appendable<R, T>, T> 
    extends Appendable<R, T> 
{ 
    default R append(T... els) 
    { 
     // Easier to debug than folding in a single statement 
     Appendable<R, T> result = this; 
     for(T t : els) 
      result = result.append(t); 

     /* Error: Incompatible types. 
      Required: R 
      Found: Appendable<R, T> */ 
     return result; 
    } 
} 

Answer 1

, R는 추가 할 내가이 R이 예상되는 추가 가능을 반환 할 수 없습니다해야, 확장?

아니요. 상속을 다른 방법으로 수행하는 경우에만이 작업을 수행 할 수 있습니다.

그러나, 당신은 컴파일하기 위해, R에 result를 다운 캐스트 할 수 있지만, 그것은 당신이 체크되지 않은 캐스트의 경고가 표시됩니다.

return (R)result; 

Answer 2

그 반대 일 수 있습니다. 수퍼 클래스에 대한 참조를 반환해야하는 경우 하위 클래스를 반환 할 수 있습니다. 귀하의 예제에서 반대로 시도하고 물론 R 형식의 개체에 대한 참조가 필요합니다. 수퍼 클래스의 개체를 R의 참조로 전달할 수 없습니다.