Java Tipo Raw e generici interazione

Question

Se ho una classe Stack

class Stack<E> {} 

Ora, se faccio:

1) Stack<Integer> s = new Stack()

2) Stack s = new Stack<Integer>()

3) Stack s = new Stack()

qualcuno può spiegarmi che cosa queste interazioni (generano ic < -> raw) causa?

Principalmente il mio dubbio è sul punto 1. In effetti, se lo faccio, non è sicuro perché lo stack può memorizzare tipi diversi da Integer. Sì, ma se ho un metodo push e provo a memorizzare un valore diverso da un intero il compilatore mi ferma ... quindi quando avrò quell'operazione non sicura?

Answer 1

Tutti questi non sono sicuri perché i generici di Java, in virtù di type erasure, sono solo zucchero sintattico. Ad esempio, questo codice Java è interamente valido:

Stack<Integer> s = new Stack<Integer>(); 
Stack<Double> s2 = (Stack<Double>)s; 
s2.push(3.3d); 

Il punto dei generici Java è che non è necessario essere espliciti sulla trasmissione di oggetti. Questo è tutto. Non fanno nulla di più (tranne generare avvisi di compilatore e IDE).

Sono ancora utili e possono rendere il codice molto più leggibile e meno soggetto a errori, ma alla fine, a livello di codice byte, è importante capire che non stanno facendo nulla.

Answer 2

Tutti e tre sono perfettamente legali, poiché non esiste una differenza di runtime effettiva tra uno Stack e uno Stack<Integer>, ma tutti e tre comporteranno gli avvisi del compilatore.

Stack<Integer> s = new Stack() 

Questo si tradurrà in un avvertimento "conversione incontrollato", perché non è sicura, in generale, per convertire un tipo grezzo a un tipo parametrico. Tuttavia, è perfettamente sicuro farlo in questo caso: la spinta dei valori Integer non causerà alcun errore; spingendo valori non Integer causerà un errore di tipo.

Stack s = new Stack<Integer>() 

Questa è una conversione legale di un tipo parametrico a un tipo grezzo. Sarai in grado di spingere il valore di qualsiasi tipo. Tuttavia, qualsiasi operazione di questo tipo genererà un avviso di "chiamata non verificata".

Stack s = new Stack() 

Ancora, questo è legale, senza conversione implicita. Sarai in grado di spingere il valore di qualsiasi tipo. Tuttavia, qualsiasi operazione di questo tipo genererà un avviso di "chiamata non verificata".

È inoltre possibile ricevere un avviso di "tipo non elaborato" ogni volta che si fa riferimento al tipo Stack.