Stringa Comportamento pool

Question

Ho letto questo Questions about Java's String pool e ho compreso il concetto di base del pool di stringhe ma ancora non capisco il comportamento.

Primo: funziona se si assegna direttamente il valore e sia S1 e S2 riferiscono allo stesso oggetto in piscina

String s1 = "a" + "bc"; 
String s2 = "ab" + "c"; 
System.out.println("s1 == s2? " + (s1 == s2)); 

Ma poi se cambio la stringa s1 + = "d", poi la piscina dovrebbe avere un oggetto stringa "abcd"? poi quando cambio s2 + = "d", dovrebbe trovare l'oggetto stringa "abcd" nel pool e dovrebbe assegnare l'oggetto a s2? ma non lo fa e non si riferiscono allo stesso oggetto. Perché?

String s1 = "abc"; 
String s2 = "abc"; 
System.out.println("s1 == s2? " + (s1 == s2)); 

s1 += "d";     
s2 += "d"; 
System.out.println("s1 == s2? " + (s1 == s2)); 

Answer 1

stringhe sono garantiti per essere messe in comune quando si chiama String.intern() su una stringa.

String s1 = "abcd".intern(); 
String s2 = "abc"; 
s2 += "d"; 
s2 = s2.intern(); 
s1 == s2 // returns true 

Quando compilatore vede una costante è abbastanza intelligente per ottimizzare e riunire la stringa letterale, vale a dire:

String s1 = "abcd"; 
String s2 = "abcd"; 
s1 == s2 // returns true 

Java Language Specification stati:

Ogni stringa letterale è un riferimento (§ 4.3) a un'istanza (§4.3.1, §12.5) di classe String (§4.3.3). Gli oggetti stringa hanno un valore costante. Stringhe letterali o, più in generale, stringhe che sono i valori di costante espressioni (§15.28) -aggiungere "internato" in modo da in modo da condividere istanze univoche, utilizzando il metodo String.intern.

Quindi, nel caso di s2 += "d", compilatore non era così intelligente come sei e solo in pool "d".

Answer 2

Questa è la mia ipotesi:

String s1 = "a" + "bc"; Stringa s2 = "ab" + "c";

Penso che siano tempo di compilazione questi sono determinati a produrre la stessa stringa e quindi solo un oggetto è fatto per entrambi.

Ma quando si aggiunge "d" ad entrambi, questo viene fatto separatamente per entrambe le stringhe (poiché è fatto in tempo reale, potrebbero esserci cose come eccezioni che lo interrompono ecc., Quindi non può pre-farlo) e quindi non fa automaticamente riferimento a un oggetto.

Answer 3

Non ne sono sicuro, quindi si tratta di speculazioni, ma ho il sospetto che nel primo esempio potrebbe esserci qualche trucco del compilatore (dove è in linea e abbastanza ovvio cosa sta succedendo), ma non è abbastanza intelligente da farlo uscire nel secondo esempio (dove non è così ovvio).

Se ho ragione, il compilatore vede "a" + "bc" e lo comprime semplicemente in fase di compilazione a "abc" oppure vede le due linee e raggruppa le stringhe perché si rende conto che verranno utilizzate. Sto scommettendo sul primo ..

Non tutte le stringhe vengono necessariamente raggruppate.

Answer 4

Vedere la documentazione per String#intern(). L'ultima riga indica:

Tutte le stringhe letterali e le espressioni costanti a valori stringa sono internate.

L'esempio += non è una stringa letterale né un'espressione costante con valori stringa, pertanto non viene inserita nel pool String.

Answer 5

Il compilatore in grado di eseguire la valutazione costante, ma non nel caso in cui si modificano i valori

Prova invece segue e vedere cosa succede se si lascia cadere final da entrambi variabile.

final String s1 = "abc"; 
final String s2 = "abc"; 
System.out.println("s1 == s2? " + (s1 == s2)); 

String s3 = s1 + "d";     
String s4 = s2 + "d"; 
System.out.println("s3 == s4? " + (s3 == s4)); 

Answer 6

Credo che quello che succede qui è: 1. per String s1 = "a" + "bc"; Stringa s2 = "ab" + "c"; Java compilatore è abbastanza intelligente per sapere che il valore letterale di S1 ​​e S2 sono gli stessi, in modo che il compilatore li indica lo stesso valore letterale nel pool di stringa di

1. per s1 + = "d";
   s2 + = "d";

non c'è modo il compilatore sa se S1 ed S2 finirebbe per essere lo stesso valore, In fase di esecuzione, a meno che non si chiama String.Intern(), JVM non controllerà il pool stringa letterale per vedere se il valore è già lì.