问题一:我声明了什么! % M4 d) h/ `& G& F5 F) A5 h, S9 w5 y+ s g
String s = "Hello world!"; * u1 \6 d4 Z) n- b
许多人都做过这样的事情,但是,我们到底声明了什么?回答通常是:一个String,内容是“Hello world!”。这样模糊的回答通常是概念不清的根源。如果要准确的回答,一半的人大概会回答错误。 : u1 r% c5 x0 L+ c) ?; f* _- `; k1 \* n' q1 f" _
这个语句声明的是一个指向对象的引用,名为“s”,可以指向类型为String的任何对象,目前指向"Hello world!"这个String类型的对象。这就是真正发生的事情。我们并没有声明一个String对象,我们只是声明了一个只能指向String对象的引用变量。所以,如果在刚才那句语句后面,如果再运行一句: $ r# ?6 S6 z; q & {3 Z4 T* L; W" s6 n0 q3 q9 k, }String string = s; ' `# R3 T/ y# O a( Z; L. Q6 H我们是声明了另外一个只能指向String对象的引用,名为string,并没有第二个对象产生,string还是指向原来那个对象,也就是,和s指向同一个对象。+ w' ?) [5 W. X0 B6 X
# J: ^5 M n6 x6 X8 ?
问题二:"=="和equals方法究竟有什么区别? 8 Z! Z+ Q6 B4 d1 o6 X4 T7 o ) x) H2 m# \: c5 n- B& J5 S==操作符专门用来比较变量的值是否相等。 * S5 U; M$ D8 @1 ^ O6 S- B/ [$ f3 P
比较好理解的一点是:0 M7 C; d" W" H' T+ d6 g% x
" L, n7 ]( s! Kint a=10; ! V, `0 m$ `# T _/ _$ A# s* Y
6 U V% V/ M6 f9 b' w& Q
int b=10; $ D6 h4 Z! ]2 W+ \" q则a==b将是true。# \: o* y, b m! m* p j# K0 Z. t- h
4 n1 w0 P+ U+ @: R0 D但不好理解的地方是:6 N/ i0 X2 P/ o U4 x3 G W8 J
) F. J& s. Z: N C
String a=new String("foo"); / u9 a9 V1 o/ {! e8 a
5 L2 _' r' a5 t* u8 C0 M uClass Monster{ & d7 [$ C+ M# P1 T0 C( E/ M9 w( P- Qprivate String content; ; @% [, p& ^6 }
... : M6 n4 P7 {4 ]# p* z; P/ O
boolean equals(Object another){ 6 z4 @" t+ g. a3 w' h( N
return true; * L7 c* c, {/ E/ q$ N. e} 3 ?& {1 D) d0 P( u4 @3 k, c
} ( g+ y1 S3 R- |: K6 O我覆盖了equals方法。这个实现会导致无论Monster实例内容如何,它们之间的比较永远返回true。. H$ Q! | X4 E% e0 X5 J! {+ }
U D7 L8 H* P7 h, e* l% Q
所以当你是用equals方法判断对象的内容是否相等,请不要想当然。因为可能你认为相等,而这个类的作者不这样认为,而类的equals方法的实现是由他掌握的。如果你需要使用equals方法,或者使用任何基于散列码的集合(HashSet,HashMap,HashTable),请察看一下java doc以确认这个类的equals逻辑是如何实现的。 : o0 m) |4 [( {; U4 W5 _- N& ~8 ~ ]3 V; e0 I
问题三:String到底变了没有? # ^7 h# P1 S: \0 `4 I 5 p! U4 }( [6 n4 M& w! a没有。因为String被设计成不可变(immutable)类,所以它的所有对象都是不可变对象。请看下列代码:7 _* q8 U* N; n, o- U+ g2 x
X# X9 \1 [ [8 d1 B# b& S* r
String s = "Hello"; ( z( S- p1 r8 U0 A7 D! [: i
s = s + " world!"; 8 x( d; G# b! ?3 o3 U$ u8 k( p
s所指向的对象是否改变了呢?从本系列第一篇的结论很容易导出这个结论。我们来看看发生了什么事情。在这段代码中,s原先指向一个String对象,内容是"Hello",然后我们对s进行了+操作,那么s所指向的那个对象是否发生了改变呢?答案是没有。这时,s不指向原来那个对象了,而指向了另一个String对象,内容为"Hello world!",原来那个对象还存在于内存之中,只是s这个引用变量不再指向它了。2 E' k$ {- G! f8 Y
* {/ w0 u* D$ o5 ]9 L通过上面的说明,我们很容易导出另一个结论,如果经常对字符串进行各种各样的修改,或者说,不可预见的修改,那么使用String来代表字符串的话会引起很大的内存开销。因为String对象建立之后不能再改变,所以对于每一个不同的字符串,都需要一个String对象来表示。这时,应该考虑使用StringBuffer类,它允许修改,而不是每个不同的字符串都要生成一个新的对象。并且,这两种类的对象转换十分容易。 $ j ^- T: u, }. U+ {9 E: G9 H7 s+ T! D5 {% W: e+ O) J% n3 m
同时,我们还可以知道,如果要使用内容相同的字符串,不必每次都new一个String。例如我们要在构造器中对一个名叫s的String引用变量进行初始化,把它设置为初始值,应当这样做:* `5 R" d$ @' F0 p% C# m
* O9 i6 ]5 P: w0 u
public class Demo { 9 y; v1 N; W% P7 q3 l
private String s; ' |; J5 p! q* q0 d" j! x
... 2 d& H0 n' m; L K
public Demo { . } b% x$ N8 _* o0 r, Ps = "Initial Value"; % [0 ^; i8 R1 A. i) x
} 9 g8 W9 p- s& P& x& l/ L+ T+ W
... 0 Y9 H9 \5 \. j5 r& Q# E} 6 r% z( g( {1 O
而非+ ~; C$ `, A) R7 x$ h+ m
% n. p8 @% q; S" G- ?5 `s = new String("Initial Value"); / b( i" y8 T* Y' A0 R9 I
后者每次都会调用构造器,生成新对象,性能低下且内存开销大,并且没有意义,因为String对象不可改变,所以对于内容相同的字符串,只要一个String对象来表示就可以了。也就说,多次调用上面的构造器创建多个对象,他们的String类型属性s都指向同一个对象。8 D4 ^) J$ o! ]9 X
( i$ l* R& N$ \上面的结论还基于这样一个事实:对于字符串常量,如果内容相同,Java认为它们代表同一个String对象。而用关键字new调用构造器,总是会创建一个新的对象,无论内容是否相同。 8 p$ t1 L) t b 7 G- m/ o+ E, {7 d3 U9 z& d至于为什么要把String类设计成不可变类,是它的用途决定的。其实不只String,很多Java标准类库中的类都是不可变的。在开发一个系统的时候,我们有时候也需要设计不可变类,来传递一组相关的值,这也是面向对象思想的体现。不可变类有一些优点,比如因为它的对象是只读的,所以多线程并发访问也不会有任何问题。当然也有一些缺点,比如每个不同的状态都要一个对象来代表,可能会造成性能上的问题。所以Java标准类库还提供了一个可变版本,即StringBuffer。 ' g1 J- n1 u& M) ?# t' |" u' X, e* h. O7 z4 t! ^. K
问题四:final关键字到底修饰了什么?+ v6 b) [3 m) G( O* c
9 n B$ _+ g; w
final使得被修饰的变量"不变",但是由于对象型变量的本质是“引用”,使得“不变”也有了两种含义:引用本身的不变,和引用指向的对象不变。- J9 U. U: A/ o
- |& @# ] y' y4 @6 }, X9 n
引用本身的不变:; O5 k. F5 }4 v, m4 V2 V
% x! B1 c/ z5 O( w+ G% I2 ~. z3 sfinal StringBuffer a=new StringBuffer("immutable"); , G4 J& k) c: e5 T- u- afinal StringBuffer b=new StringBuffer("not immutable"); . Z" L% `: Q& d, N& `a=b;//编译期错误 5 _( J! X1 u/ _8 n3 T
引用指向的对象不变:; G, p0 K6 J# ?, }0 h- T
% z/ p3 L [* z8 `( E' Y$ [
final StringBuffer a=new StringBuffer("immutable"); 9 n* E# O8 s2 L, e' E4 j3 M
a.append(" broken!"); //编译通过 * o4 S- r/ g/ H& O可见,final只对引用的“值”(也即它所指向的那个对象的内存地址)有效,它迫使引用只能指向初始指向的那个对象,改变它的指向会导致编译期错误。至于它所指向的对象的变化,final是不负责的。这很类似==操作符:==操作符只负责引用的“值”相等,至于这个地址所指向的对象内容是否相等,==操作符是不管的。 理解final问题有很重要的含义。许多程序漏洞都基于此----final只能保证引用永远指向固定对象,不能保证那个对象的状态不变。在多线程的操作中,一个对象会被多个线程共享或修改,一个线程对对象无意识的修改可能会导致另一个使用此对象的线程崩溃。一个错误的解决方法就是在此对象新建的时候把它声明为final,意图使得它“永远不变”。其实那是徒劳的。 $ v4 O# `9 y+ B9 b3 W* n& u' o, o , o) }. i. S! z! m) I& Y问题五:到底要怎么样初始化!/ L2 C9 L- y* o( f; B8 e* x! b