stanie używać typ skrzyżowania gdy hipotetyczna klasy wymaga modyfikacji Dostęp

Question

faz:

interface PublicCloneable { 
    Object clone(); 
} 

interface HasPosition { 
    // doesn't matter 
} 

próba wykorzystania typ skrzyżowania:

@SuppressWarnings("unchecked") 
<E extends PublicCloneable & HasPosition> E cloneAndIncrementPosition(E elem) { 
    final E clone = (E)elem.clone(); 
    // rest omitted 
} 

Próbowano opracować z javac 1.8.0_60:

$ javac xx.java 
xx.java:13: error: clone() in Object cannot implement clone() in PublicCloneable 
    <E extends PublicCloneable & HasPosition> E cloneAndIncrementPosition(E elem) { 
    ^
    attempting to assign weaker access privileges; was public 
xx.java:14: error: clone() has protected access in Object 
     final E clone = (E)elem.clone(); 
          ^
2 errors 

Dlaczego ten typ przecięcia jest nieprawidłowy dla javac?

Answer 1

To wygląda jak błąd javac.

http://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.4

członkowie typu X o zmiennej związanej T & I1 & ... & W oznacza członków rodzaju przecięcia (§4.9) T & I1 & ... & W

http://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.9

Każdy rodzaj przecięcie T1 & ... & Tn indukuje hipotetycznego klasy lub interfejsu dla celów identyfikacji członków rodzaju skrzyżowania ...

Jeśli Ck jest Object, hipotetyczną interfejs jest indukowany ma ... bezpośredni superinterfaces T1' , ..., Tn”

Dlatego dla PublicCloneable & HasPosition, hipotetyczną interfejs został wprowadzony, rozszerzenie obu z nich, co powinno być OK.

Answer 2

Jak pierwszy błąd próbuje ci powiedzieć, twój kod nie może działać, ponieważ ograniczasz się do typów z dwoma niekompatybilnymi sygnaturami dla metody clone().