Re: [問題] 請教String的問題

[kdok123 (小天)]

非常感謝大家的熱心回應，我完全理解了

現在只剩一個小問題想問...

ex1:

String a = "Hello";
a = "kdok123";

這個結果是new了兩個String的空間在Heap

ex2:

Interger a = 3;
a = 4;

結果是new了一個Interger的空間在Heap，a指向的值從3改成了4


以上兩個例子體現了String的不可變性

請問例子的觀念是對的嗎?


另外還有一個小疑惑:為什麼java要定義String的不可變性呢?

除了不斷的增加heap和GC的負擔之外我想不到其他好處欸...
---------------------------------------------------------

補充:想了一下我好像還沒完全理解

以dark大&Chikei大的觀念來看我的ex1:

輸出兩次會是一樣的原因是因為String的不可變性

"所以str2指向的地方因為不可改變，只能另外再開一個空間去存新的值"

但以這樣的觀念把String改成Integer，似乎就應該得到改變過後的結果
(因為Integer可以變)

但實際測試發現Interger得到的結果也是兩個一樣的輸出

到底是為什麼呢?

2次補充: java的所有 primitive wrapper class都是 immutable的

https://en.wikipedia.org/wiki/Primitive_wrapper_class

所以這樣觀念就完全通了

補充一點: 上面所有提到call by value的大大, java只有call by value是沒錯的

但如果是以String或是Integer傳入的value會是address，而不像一般傳入primitive
的value

所以ex1的call by value會新複製一個address指向本來的位置，
這個時候的修改應該是可以成功的

但因為此時Immutable的特性，所以會新開一份空間來存值，才保留了原本的值

若沒有這樣的特性，值是會變的，跟call by value沒有關係


以上是我整理的觀念，若有錯誤煩請討論指正

再次感謝大家的熱心回應!


※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.250.185.98
※ 文章網址: http://www.ptt.cc/bbs/java/M.1418904044.A.327.html
※ 編輯: kdok123 (60.250.185.98), 12/18/2014 20:12:09
※ 編輯: kdok123 (60.250.185.98), 12/18/2014 20:15:14
→ Kenqr: 輸出2次一樣是因為pass by reference，和不可變無關
→ Kenqr: ex2的a會指到另一個不同的位置，用任何class都會這樣
→ ssccg: 你根本沒有懂，就說你的結果跟不可變性"完全"沒關係
→ ssccg: String不可變是String不提供任何方法修改它裡面char array
→ ssccg: 存的值，要修改一定是產生新的String object
※ 編輯: kdok123 (61.221.50.98), 12/18/2014 20:49:04
→ ssccg: 剛進method的str2指向的就是完全同一個String
→ ssccg: 並沒另外開一個空間，是之後你自己開新的空間放新的String
→ ssccg: ="abc"相當於=new String(new char[] {'a','b','c'})
→ ssccg: 可變性的意義在於如果有個MutableString class
→ ssccg: 你可以用str2.setValue("abc")去改object的內容
→ ssccg: 而不用寫成str2 = new MutableString("abc")
→ ssccg: 只要用的是 = new XXX()，不管哪個class都是一樣的結果
→ ssccg: 只要你用的是 = 都是不會變的，因為 = 不是改object裡的值
→ ssccg: 而是改reference指向的位址
→ ssccg: 只有primitive type的時候用 = 才是改值
→ kdok123: String="abc"的意思是若"String pool沒有"abc"，則創造
→ kdok123: 一個新空間存放abc，否則指向abc
→ kdok123: String ob = new String("abc")的意思是"不管String pool
→ kdok123: 裡有沒有abc，都創造一個空間存放abc
→ kdok123: 因為immutable的特性，才會造成上面的結果，否則任何的
→ kdok123: 賦值動作都會覆蓋原本的值
→ kdok123: http://www.cnblogs.com/fguozhu/articles/2661055.html
→ ssccg: 覆蓋原本的值也是覆蓋reference，而不是覆蓋value
→ kdok123: 參考連結的觀念的
→ ssccg: 上面我簡化沒有考慮string pool的問題，但重點就是你用 =
→ ssccg: 永遠改不到原本那個object的值
→ ssccg: 任何reference type變數的賦值動作(=)都只是改指向不同物件
→ kdok123: 這邊我認為是immutable的關係，若今天是mutable就改得到
→ kdok123: 或許等我試試上面連結的atomic wrapper class?
→ kdok123: android studio沒有把那個class import進來不能測試...
推 ssccg: 我是不知道你打算怎麼試，但是除了primitive的autowrapper
→ ssccg: 還有String literal("...")以外，其他type都很清楚就是換了
→ ssccg: 物件啊...
→ ssccg: 如果你有學過C++，java的reference type基本上就是pointer
→ ssccg: 如果是C++的pass by reference(&)，即使物件是mutable
→ ssccg: 還是可直接改caller func中那個reference的值(指向的位址)
→ ssccg: 或是你可以去用C#試，C#的reference type跟java一樣
→ ssccg: String也是Immutable，但是方法可以pass by reference
推 ssccg: 你的ex1用C# pass by ref版 http://ideone.com/Miptpm
→ kdok123: Hi，因為java這邊是auto-boxing的，所以以c++的觀念來說
→ kdok123: pointer是指向同一個地方，要修改值的
→ kdok123: 但因為immutable的特性，才沒有修改成功
→ kdok123: 我只是想說，如果你認為java的reference就是c++的pointer
→ kdok123: 那在auto-boxing的結果下，你應該會覺得值要被修改才對
→ ssccg: immutable不是不能修改reference值，是不能修改object裡面
→ ssccg: 的data，你還是直接看上面的C#的範例...
推 ssccg: 既然會C++也給你一個C++版 http://ideone.com/DSzyGI
→ ssccg: 不是我覺得，是java的reference變數真的就是pointer
→ ssccg: 改是改pointer指的位址，但是在call by value的時候改不動
→ ssccg: caller func裡面的pointer變數
→ ssccg: 很明顯就call by value/call by reference的差別啊..
→ ssccg: btw auto-boxing是指對只吃Object子class的地方(如list)
→ ssccg: 自動包wrapper，unboxing是在assign給primitive變數的時候
→ ssccg: 自動改為取值(.xxxValue)而不是assign reference
→ ssccg: 如果全程都是直接用Integer這個class，那與一般class沒差別
→ ssccg: 把Integer assign給Integer變數是不會有auto-box/unbox行為
推 bleed1979: 看完這整個討論串，好難過，想去renew Java 7的認證。
→ kdok123: 我很想講得更清楚一點，但前面darkk6大已經畫得很清楚了
→ kdok123: 這邊的重點應該是immutable/mutable的差別才對
→ kdok123: 如果這邊是mutable的class，你說的caller func的pointer
→ kdok123: 變數就會被改到
→ kdok123: 因為我認為這邊的觀念很重要，才會一直強調，或許其他
→ kdok123: 版友可以加入一起討論，來釐清這個問題?
→ ssccg: 就算是mutable class，caller func的pointer還是不會改到
→ ssccg: 因為是pass by value，在傳入時只是複製pointer的值
→ ssccg: d大的圖我只能說 // 因為字串的 Immutable... 這句完全錯誤
→ ssccg: 不管是什麼class，用assign (=)的方式，改的永遠都是str2指
→ ssccg: 向的位址(pointer value)而已，原本的那個object不會被動到
→ ssccg: 要動原本的object就要用它的method/field
→ ssccg: immutable意義在於原本的object沒有公開的改值method/field
→ ssccg: 用pointer來說的話就是要改object的值一定要先dereference
→ ssccg: 用=只會改pointer存的位址
→ ssccg: 你好像幻想lhs如果是個mutable reference type變數
→ ssccg: 用=會自動把lhs指向的物件中代表value的field拿出來，然後
→ ssccg: 把rhs expression物件中代表value的field裡存的值放進去
→ ssccg: 從你上面提auto-boxing可以看出來，可是實際上沒這回事
→ ssccg: =只會把lhs reference直接改成指向rhs的結果物件
→ ssccg: lhs原本指向什麼完全沒差，在=的動作中那個物件根本沒出場
→ ssccg: =只有在lhs是primitive type的時候才是賦值(因為primitive)
→ ssccg: type才有所謂value，如果lhs是reference type，他指向的物
→ ssccg: 件不一定有所謂的value，這時做的都只是改指向的物件