Javaの参照型変数とセキュリティ

Javaにおける参照型 一通りJavaプログラミングを経験した方であれば、プリミティブ型と参照型についてはご存じでしょう。Javaは強い型付け言語であることをうたっており、全ての変数や式は、何らかの型を持つことになっています。そしてJavaにおける型は、プリミティブ型と参照型の2種類に分類されます（※null型というのもありますが、ここでは省略します）。 プリミティブ型：boolean型、char型、数値型（byte、short、int、long、float、double） 参照型：配列型、クラス型、インタフェース型 プリミティブ型のデータはビット幅やその取り得る値の範囲が具体的に規定されています。では、参照型はどのように規定されているでしょうか。『Java言語仕様』の第4章「型、値、変数」から引用します。 参照型の値は, オブジェクトへの参照となる。 オブジェクトとは, クラス型から動的

[t-tanaka]

ここまで書いたのなら，もう一歩「Immutableなクラス」にまで踏み込んでほしかった。Stringは参照でありながら「ディフェンシブコピー」が一切不要な理由は？