该用户从未签到
|
问题一:我声明了什么!/ c3 R7 a0 ^- K7 r5 }, y. o
$ c$ @3 \6 U/ u( s- eString s = "Hello world!"; ) |9 O) I7 B0 i0 |8 g; G
许多人都做过这样的事情,但是,我们到底声明了什么?回答通常是:一个String,内容是“Hello world!”。这样模糊的回答通常是概念不清的根源。如果要准确的回答,一半的人大概会回答错误。
& u% S0 P# d% E& L G- a: P Z3 ^4 g: F$ A& j6 Y# @ K
这个语句声明的是一个指向对象的引用,名为“s”,可以指向类型为String的任何对象,目前指向"Hello world!"这个String类型的对象。这就是真正发生的事情。我们并没有声明一个String对象,我们只是声明了一个只能指向String对象的引用变量。所以,如果在刚才那句语句后面,如果再运行一句:) }; @& f3 u3 J- S) w
( B; M# R6 Q9 {# f2 \8 qString string = s; / @8 ~' V) Z+ V! T5 S) e/ e z
我们是声明了另外一个只能指向String对象的引用,名为string,并没有第二个对象产生,string还是指向原来那个对象,也就是,和s指向同一个对象。& E; r* k2 Q; l0 m0 X
" C5 z- i3 e8 j4 g& F/ S问题二:"=="和equals方法究竟有什么区别?
& Q7 T1 g. [0 u: m; ^# B2 A+ z) u
9 e5 K, p! `! g6 _==操作符专门用来比较变量的值是否相等。) C% u7 {5 w; `2 B/ O4 n, n
3 A- u) d4 c' P9 C$ L比较好理解的一点是:% I, V! o. Y: V
* }; W4 T4 e* d1 B: ~0 l6 ^# y( g
int a=10; 1 B# M3 x( Z6 c& z/ |6 v5 j" n" _
! _8 o5 `# {/ o0 U1 T4 x8 ]* l
int b=10;
1 z& p% c4 M1 r5 x' l" y9 {则a==b将是true。0 [ {6 \ ^7 c& h$ A
5 g3 k* \: l' h, e' u: w但不好理解的地方是:% [1 k4 x% v8 J8 n/ }9 Q9 d4 J/ |+ @
% S! Q$ _! B1 ]! T4 l [String a=new String("foo");
% i+ @* }) q6 k$ I" e6 S/ M( P1 O E( x1 T, P1 Q7 v
String b=new String("foo");
8 i. d( a1 u, c+ j4 k, P; A则a==b将返回false。
2 m! m ^2 X2 V& X$ u- X( k, e, k/ x$ w7 B" ?3 D$ c' M/ g
根据前一帖说过,对象变量其实是一个引用,它们的值是指向对象所在的内存地址,而不是对象本身。a和b都使用了new操作符,意味着将在内存中产生两个内容为"foo"的字符串,既然是“两个”,它们自然位于不同的内存地址。a和b的值其实是两个不同的内存地址的值,所以使用"=="操作符,结果会是false。诚然,a和b所指的对象,它们的内容都是"foo",应该是“相等”,但是==操作符并不涉及到对象内容的比较。
7 Z g5 A! L! q: a( J6 M
5 R r6 h9 e2 O% }对象内容的比较,正是equals方法做的事。
# G" C0 k* B& b8 K
! p0 G" \6 ~7 d" z% ]( d: [7 ^+ o8 t看一下Object对象的equals方法是如何实现的:
8 {0 r; R |' s7 P% ^+ C' ]& s6 N5 Z6 ~ {
boolean equals(Object o){
/ I ?/ o: x1 H7 x/ K3 T1 D0 Z
+ i3 [& r! q7 Oreturn this==o; % E( |2 A8 w- c6 q% Y, D @7 l! ^
, i, e$ A/ W" r8 v+ p9 [} 4 N8 N9 g% I8 R7 @2 S
Object对象默认使用了==操作符。所以如果你自创的类没有覆盖equals方法,那你的类使用equals和使用==会得到同样的结果。同样也可以看出,Object的equals方法没有达到equals方法应该达到的目标:比较两个对象内容是否相等。因为答案应该由类的创建者决定,所以Object把这个任务留给了类的创建者。
- P9 G) C1 U3 D {) n2 k$ h) t% O- _' v5 T: l( t/ f3 V/ Z7 o" u
看一下一个极端的类:* N( E7 k- }, Q3 ?3 H
# _5 F1 @9 `; _7 b B# zClass Monster{ 9 B5 b; w8 g" j* B5 {- E+ i
private String content;
( {1 E+ L. ?+ f L% D9 w, e# h... 8 B! ?1 k$ z$ |
boolean equals(Object another){ # J. a% B1 D4 j; ^1 y: W/ x
return true;
5 a: M8 R, r$ r/ o# J} 0 f) }' x- d! v8 b7 I7 j* E
}
. A4 w6 U) \+ z4 K# u2 R我覆盖了equals方法。这个实现会导致无论Monster实例内容如何,它们之间的比较永远返回true。1 E H( b: X" z& n) Y. n& T" K
' [5 }: ^' G2 n: n3 _所以当你是用equals方法判断对象的内容是否相等,请不要想当然。因为可能你认为相等,而这个类的作者不这样认为,而类的equals方法的实现是由他掌握的。如果你需要使用equals方法,或者使用任何基于散列码的集合(HashSet,HashMap,HashTable),请察看一下java doc以确认这个类的equals逻辑是如何实现的。
" A- L7 [: W5 L, e" U" D& }/ ~( A7 ^6 {
问题三:String到底变了没有?
8 t" [3 m2 X1 V3 [+ _. u" f1 V i- z0 o
没有。因为String被设计成不可变(immutable)类,所以它的所有对象都是不可变对象。请看下列代码:2 L) j9 A' _ t* E# j' m
- U& b) }0 S- V( g4 I: vString s = "Hello"; 4 k8 C" z, a( H, z: ?, ?% T6 S
s = s + " world!";
6 R0 p. h- h& X& B) u* \. rs所指向的对象是否改变了呢?从本系列第一篇的结论很容易导出这个结论。我们来看看发生了什么事情。在这段代码中,s原先指向一个String对象,内容是"Hello",然后我们对s进行了+操作,那么s所指向的那个对象是否发生了改变呢?答案是没有。这时,s不指向原来那个对象了,而指向了另一个String对象,内容为"Hello world!",原来那个对象还存在于内存之中,只是s这个引用变量不再指向它了。
' ^3 O& g: x, p* n5 p+ J0 V1 ]1 A* @! `
通过上面的说明,我们很容易导出另一个结论,如果经常对字符串进行各种各样的修改,或者说,不可预见的修改,那么使用String来代表字符串的话会引起很大的内存开销。因为String对象建立之后不能再改变,所以对于每一个不同的字符串,都需要一个String对象来表示。这时,应该考虑使用StringBuffer类,它允许修改,而不是每个不同的字符串都要生成一个新的对象。并且,这两种类的对象转换十分容易。
3 Q, R) \- y) V- f/ r4 }5 _! L3 @% f0 n* `# w
同时,我们还可以知道,如果要使用内容相同的字符串,不必每次都new一个String。例如我们要在构造器中对一个名叫s的String引用变量进行初始化,把它设置为初始值,应当这样做:: t0 _( f* T" I/ F$ E' x' g; p" ^/ [
/ T' x3 O9 P$ Q5 m5 A2 L) ]
public class Demo {
4 }. L' i- Q4 U- I* vprivate String s; ! K+ F5 o# d* _/ S
...
, \9 C9 [8 U- i% [% F0 v. Spublic Demo {
" E' q2 z3 J* l. E% T9 Qs = "Initial Value"; 9 A( g$ \$ t( A$ V0 ?& c8 V- `
}
, E; }' A7 `( a0 I1 g7 b& Z... 9 `( o# s! K* B% O a z
} 7 `( K. _) b8 F' \4 D& r
而非4 J' J) f ? {- J5 o
4 o2 X8 P Z1 F1 m7 k* q6 U
s = new String("Initial Value");
! w" `, V# |8 g后者每次都会调用构造器,生成新对象,性能低下且内存开销大,并且没有意义,因为String对象不可改变,所以对于内容相同的字符串,只要一个String对象来表示就可以了。也就说,多次调用上面的构造器创建多个对象,他们的String类型属性s都指向同一个对象。! d, u" ]" Y1 J# X! }8 j
1 h7 g% I7 k" `- @" W# Q: p6 C- _上面的结论还基于这样一个事实:对于字符串常量,如果内容相同,Java认为它们代表同一个String对象。而用关键字new调用构造器,总是会创建一个新的对象,无论内容是否相同。, g& f# _! P! R& O8 r
$ N& X A4 m1 C1 d5 s+ n: c
至于为什么要把String类设计成不可变类,是它的用途决定的。其实不只String,很多Java标准类库中的类都是不可变的。在开发一个系统的时候,我们有时候也需要设计不可变类,来传递一组相关的值,这也是面向对象思想的体现。不可变类有一些优点,比如因为它的对象是只读的,所以多线程并发访问也不会有任何问题。当然也有一些缺点,比如每个不同的状态都要一个对象来代表,可能会造成性能上的问题。所以Java标准类库还提供了一个可变版本,即StringBuffer。
7 ]2 A/ H7 i+ l4 ]0 I, S& |4 ^& d: j' I9 _+ C" K( [4 y
问题四:final关键字到底修饰了什么? p' t& d8 x) ]+ u5 y
, w' ]/ W; m7 S6 }4 m7 h4 @- }final使得被修饰的变量"不变",但是由于对象型变量的本质是“引用”,使得“不变”也有了两种含义:引用本身的不变,和引用指向的对象不变。# E9 N; w, r: ~/ C
! `; r: A2 r* n+ |9 m, a
引用本身的不变:$ f$ W- P$ O9 \* x6 r
# I. q. I* @" H4 }: Z. vfinal StringBuffer a=new StringBuffer("immutable"); 1 V9 @! O* r/ i: ?" Z) f& `* |
final StringBuffer b=new StringBuffer("not immutable"); 5 O- n) r. ]; B5 ~$ j6 n. T5 m
a=b;//编译期错误 ) O: }/ o o3 `5 k# e
引用指向的对象不变:
$ t3 c- s6 Z, G
4 N' R5 X' ]6 ]2 S8 x% Q2 x# n8 Mfinal StringBuffer a=new StringBuffer("immutable");
6 K: I0 K0 t, b. W8 A: O' ^a.append(" broken!"); //编译通过 5 v! {8 r+ K( [4 C5 `* r% i6 k
可见,final只对引用的“值”(也即它所指向的那个对象的内存地址)有效,它迫使引用只能指向初始指向的那个对象,改变它的指向会导致编译期错误。至于它所指向的对象的变化,final是不负责的。这很类似==操作符:==操作符只负责引用的“值”相等,至于这个地址所指向的对象内容是否相等,==操作符是不管的。 理解final问题有很重要的含义。许多程序漏洞都基于此----final只能保证引用永远指向固定对象,不能保证那个对象的状态不变。在多线程的操作中,一个对象会被多个线程共享或修改,一个线程对对象无意识的修改可能会导致另一个使用此对象的线程崩溃。一个错误的解决方法就是在此对象新建的时候把它声明为final,意图使得它“永远不变”。其实那是徒劳的。
" v- s% b# L+ l! m; J: o% c5 t$ O2 N( A5 |; ?, z$ A: J
问题五:到底要怎么样初始化!$ A9 C* g! u: H- Y7 }9 R6 E
% W( g& z% U6 [" I
本问题讨论变量的初始化,所以先来看一下Java中有哪些种类的变量。
3 c1 v9 O$ i8 K( i; W4 d3 }: u( a
1. 类的属性,或者叫值域
; T+ m3 Y3 S6 v; W" E& h' d8 x% Z: p5 t- y$ X; Y# \/ {9 n. X
2. 方法里的局部变量 J7 g# b B$ @ z6 S& ^
2 P! g# E+ m6 w% j) b0 M
3. 方法的参数
- e E- ~4 p3 L6 q: N# S# W/ ^, m. Y# ]7 E1 p) \: w0 S8 K( b. w
对于第一种变量,Java虚拟机会自动进行初始化。如果给出了初始值,则初始化为该初始值。如果没有给出,则把它初始化为该类型变量的默认初始值。
5 n/ y) F9 b9 O8 E( @, D' e- ^5 s0 z' ~
int类型变量默认初始值为0
! M' E* V9 ?$ Y( U$ r' u a( G$ ~( x0 G0 t& Z
float类型变量默认初始值为0.0f
6 A* x/ Q- ~1 B- C# W. Y' R* C- S+ y/ l. Q7 d, |* m5 W9 a/ V) q
double类型变量默认初始值为0.06 `4 @" o6 m4 U p- N; W& O
6 U8 @5 c) k5 ?8 V! y5 |boolean类型变量默认初始值为false1 _4 V" ?& T& Q( k3 _; T
$ A) `; D* e! k O
char类型变量默认初始值为0(ASCII码)
* j# C+ C1 }7 `$ @: I
, T2 ?! |; j2 G) z) p, g( r) xlong类型变量默认初始值为02 x+ s% w( i$ G' i- p9 s( d3 \% F
. `3 l) j3 T8 X: }所有对象引用类型变量默认初始值为null,即不指向任何对象。注意数组本身也是对象,所以没有初始化的数组引用在自动初始化后其值也是null。
/ ]0 D1 `( R2 P- u0 b, H6 L+ f; {# N( s, v# I. T
对于两种不同的类属性,static属性与instance属性,初始化的时机是不同的。instance属性在创建实例的时候初始化,static属性在类加载,也就是第一次用到这个类的时候初始化,对于后来的实例的创建,不再次进行初始化。这个问题会在以后的系列中进行详细讨论。- G' a( N N0 Q! j
4 \7 N. r0 l& G, {0 N" A$ F0 A对于第二种变量,必须明确地进行初始化。如果再没有初始化之前就试图使用它,编译器会抗议。如果初始化的语句在try块中或if块中,也必须要让它在第一次使用前一定能够得到赋值。也就是说,把初始化语句放在只有if块的条件判断语句中编译器也会抗议,因为执行的时候可能不符合if后面的判断条件,如此一来初始化语句就不会被执行了,这就违反了局部变量使用前必须初始化的规定。但如果在else块中也有初始化语句,就可以通过编译,因为无论如何,总有至少一条初始化语句会被执行,不会发生使用前未被初始化的事情。对于try-catch也是一样,如果只有在try块里才有初始化语句,编译部通过。如果在catch或finally里也有,则可以通过编译。总之,要保证局部变量在使用之前一定被初始化了。所以,一个好的做法是在声明他们的时候就初始化他们,如果不知道要出事化成什么值好,就用上面的默认值吧!
5 k) C9 O1 @. G! @. G, G0 N& V T% U) O2 T0 j5 q' ?, j
其实第三种变量和第二种本质上是一样的,都是方法中的局部变量。只不过作为参数,肯定是被初始化过的,传入的值就是初始值,所以不需要初始化。% p0 @4 E. }) y6 i8 N2 I
$ r9 K) b& K' z9 a! a' R& O: B9 D
问题六:instanceof是什么东东?& C0 X7 B8 I9 x2 L
- Y0 D A# k, B* q, m' _+ cinstanceof是Java的一个二元操作符,和==,> , <是同一类东东。由于它是由字母组成的,所以也是Java的保留关键字。它的作用是测试它左边的对象是否是它右边的类的实例,返回boolean类型的数据。举个例子:+ E6 A) E0 p6 N
9 l3 Z$ Q6 Q4 L+ r
String s = "I AM an Object!";
. [+ i( L( b; A& |7 h1 Qboolean isObject = s instanceof Object; # F$ w2 c, ?; m. |$ p! y
我们声明了一个String对象引用,指向一个String对象,然后用instancof来测试它所指向的对象是否是Object类的一个实例,显然,这是真的,所以返回true,也就是isObject的值为True。
8 M* g! X: C6 @6 ^ p; J9 e8 ~4 n- X7 A' |; i! \
instanceof有一些用处。比如我们写了一个处理账单的系统,其中有这样三个类:
6 `: d+ u/ I' N! Y* ]
. |$ _6 J- D$ qpublic class Bill {//省略细节}
5 L) d& ]/ Z% r9 [! ]& C2 l# }; x, _# D2 ^ v! i( n7 M: Y% O
public class PhoneBill extends Bill {//省略细节}
9 W* y* b$ `, Q3 J# R
$ x7 F' J7 n5 i! |& wpublic class GasBill extends Bill {//省略细节}
$ }! W( A8 O+ D在处理程序里有一个方法,接受一个Bill类型的对象,计算金额。假设两种账单计算方法不同,而传入的Bill对象可能是两种中的任何一种,所以要用instanceof来判断:& d6 y+ `5 d8 X9 |) o1 ^# q( h
1 N4 K- q! {9 o; e6 i8 l4 Z
public double calculate(Bill bill) {
+ j8 l5 N ~5 C2 y8 }. { t2 }& u& rif (bill instanceof PhoneBill) { 7 K9 {9 Q, A6 V+ d1 s) Z3 v
//计算电话账单
3 d- u1 ]8 {" R' ]( E) y} ; G0 G" l N/ a% F. }$ d
if (bill instanceof GasBill) {
" b. Z6 C2 w" G) n) g2 D//计算燃气账单 & d9 ?! p" K; Q3 Y: ~9 J/ t
} & O" C6 X, {5 E, j8 F6 b) N
... 8 u4 B4 N4 o3 O- k8 ]+ g
}
j0 _- a% X+ G1 b- x% e% ?5 s4 f这样就可以用一个方法处理两种子类。 然而,这种做法通常被认为是没有好好利用面向对象中的多态性。其实上面的功能要求用方法重载完全可以实现,这是面向对象变成应有的做法,避免回到结构化编程模式。只要提供两个名字和返回值都相同,接受参数类型不同的方法就可以了:
( g& y1 ~/ z* f# ?- [) z
* J' {6 P2 U m, p" V5 Epublic double calculate(PhoneBill bill) { 1 o6 |% N; X- o' X: Z: r W
//计算电话账单
& Y. [. Y. @9 I! e2 P% i2 _} 3 z: k( u, y- \* @- a
public double calculate(GasBill bill) {
( M; j% G( X; u# [4 ^9 v: ^" i//计算燃气账单
( k( ?: p3 L! Z* |} ) y2 _" A4 {- L0 K9 |
$ [8 U( V2 Y: k; H: D: W5 T% j) }! r |
|