Se il mio IDE è così intelligente, perché devo lanciare "clone ()"?

why do I have to cast the returned object of Object.clone()?

Perché restituisce Object .

The generics framework makes me think the IDE could check the type of object references on the right-side of the "=" mark without casting while I am typing? I don't get it.

Object.clone non è generico.

Se i generici esistevano quando è stato progettato clone , probabilmente sarebbe stato simile a questo (usando il polimorfismo F-Bounded):

interface Cloneable<T extends Cloneable<T>> {
  T clone();
}

Se Java ha una funzione MyType, potrebbe essere simile a questa:

interface Cloneable {
  this clone();
}

Ma Generics non esisteva quando Object.clone è stato progettato, e Java non ha MyTypes, quindi la versione non sicura del tipo di Object.clone è ciò con cui dobbiamo lavorare.

Questa non è una caratteristica di nessun IDE, ma della definizione della lingua.

Un IDE ti aiuta a usare un linguaggio di programmazione in modo più efficiente, non cambia la semantica di quel linguaggio. Ciò significa che un helper dell'editor potrebbe inserire automaticamente un cast quando è ovvio quale vuoi, ma non può semplicemente infrangere le regole del linguaggio e fingere che il codice che non è compilato sia valido.

Modifica È vero che un IDE può raggruppare il proprio compilatore e in effetti molti lo fanno esattamente, ad es. per una migliore segnalazione degli errori con più informazioni interne nella struttura di analisi parziale. Tuttavia, sarebbe una pessima idea lasciare che questo compilatore interno implementasse una semantica linguistica diversa dall'SDK ufficiale, dal momento che ciò significherebbe che il codice che funziona in sviluppo può misteriosamente iniziare a fallire quando installato in produzione - producendo problemi che sono per definizione non-debuggabili!

È dovuto alla firma del tipo del metodo Object.clone. La firma del tipo afferma che il metodo restituirà un oggetto di tipo Object.

protected Object clone() throws CloneNotSupportedException

Le raccolte useranno i cosiddetti tipi generici per sostituire automaticamente il tipo di casting.

Quindi se hai questo codice:

List<Integer> ints = Arrays.asList(1,2,3);
int x = ints.get(0);'

il compilatore aggiungerà i cast per te dietro le quinte, quindi il codice sarebbe in realtà:

List ints = Arrays.asList(1,2,3);
int x = (Integer)ints.get(0);

Per completezza, dal momento che Java 5, tipi di ritorno covarianti sono consentiti . Quindi puoi scrivere quanto segue:

public MyObject implements Cloneable {
  @Override
  public MyObject clone() {
    try {
      return (MyObject)super.clone();
    } catch (CloneNotSupportedException e) {
      throw new AssertionError();
    }
  }
}

Con questo, il seguente codice è legale:

MyObject original = new MyObject();
MyObject clone = original.clone();