《Java编程思想第4版[中文版](PDF格式)》第40章

柄都分配一个对象。若试图使用依然为null　的一个句柄，就会在运行期报告问题。因此，典型的数组错误在　
Java　里就得到了避免。
也可以创建主类型数组。同样地，编译器能够担保对它的初始化，因为会将那个数组的内存划分成零。
数组问题将在以后的章节里详细讨论。
2。3　绝对不要清除对象
在大多数程序设计语言中，变量的“存在时间”（Lifetime　）一直是程序员需要着重考虑的问题。变量应持　
续多长的时间？如果想清除它，那么何时进行？在变量存在时间上纠缠不清会造成大量的程序错误。在下面　
的小节里，将阐示Java　如何帮助我们完成所有清除工作，从而极大了简化了这个问题。
2。3。1 作用域
大多数程序设计语言都提供了“作用域”（Scope）的概念。对于在作用域里定义的名字，作用域同时决定了　
它的“可见性”以及“存在时间”。在C，C＋＋和　Java　里，作用域是由花括号的位置决定的。参考下面这个　
例子：
｛
int　x　=　12；
/*　only　x　available　*/
｛
int　q　=　96；
/*　both　x　&　q　available　*/
｝
/*　only　x　available　*/
/*　q　“out　of　scope”　*/
｝
作为在作用域里定义的一个变量，它只有在那个作用域结束之前才可使用。
在上面的例子中，缩进排版使　Java　代码更易辨读。由于　Java　是一种形式自由的语言，所以额外的空格、制　
表位以及回车都不会对结果程序造成影响。
注意尽管在　C　和　C＋＋里是合法的，但在　Java　里不能象下面这样书写代码：
48　
…………………………………………………………Page　50……………………………………………………………
｛
int　x　=　12；
｛
int　x　=　96；　/*　illegal　*/
｝
｝
编译器会认为变量　x　已被定义。所以C　和C＋＋能将一个变量“隐藏”在一个更大的作用域里。但这种做法在　
Java　里是不允许的，因为Java　的设计者认为这样做使程序产生了混淆。
2。3。2 对象的作用域
Java　对象不具备与主类型一样的存在时间。用　new　关键字创建一个Java　对象的时候，它会超出作用域的范　
围之外。所以假若使用下面这段代码：
｛
String　s　=　new　String（〃a　string〃）；
｝　/*　作用域的终点　*/
那么句柄　s　会在作用域的终点处消失。然而，s指向的　String　对象依然占据着内存空间。在上面这段代码　
里，我们没有办法访问对象，因为指向它的唯一一个句柄已超出了作用域的边界。在后面的章节里，大家还　
会继续学习如何在程序运行期间传递和复制对象句柄。
这样造成的结果便是：对于用　new　创建的对象，只要我们愿意，它们就会一直保留下去。这个编程问题在C　
和C＋＋里特别突出。看来在C＋＋里遇到的麻烦最大：由于不能从语言获得任何帮助，所以在需要对象的时候，　
根本无法确定它们是否可用。而且更麻烦的是，在　C＋＋里，一旦工作完成，必须保证将对象清除。
这样便带来了一个有趣的问题。假如Java　让对象依然故我，怎样才能防止它们大量充斥内存，并最终造成程　
序的“凝固”呢。在C＋＋里，这个问题最令程序员头痛。但　Java　以后，情况却发生了改观。Java　有一个特别　
的“垃圾收集器”，它会查找用new　创建的所有对象，并辨别其中哪些不再被引用。随后，它会自动释放由　
那些闲置对象占据的内存，以便能由新对象使用。这意味着我们根本不必操心内存的回收问题。只需简单地　
创建对象，一旦不再需要它们，它们就会自动离去。这样做可防止在　C＋＋里很常见的一个编程问题：由于程　
序员忘记释放内存造成的“内存溢出”。
2。4　新建数据类型：类
如果说一切东西都是对象，那么用什么决定一个“类”（Class）的外观与行为呢？换句话说，是什么建立起　
了一个对象的“类型”（Type　）呢？大家可能猜想有一个名为“type”的关键字。但从历史看来，大多数面　
向对象的语言都用关键字“class”表达这样一个意思：“我准备告诉你对象一种新类型的外观”。class　关　
键字太常用了，以至于本书许多地方并没有用粗体字或双引号加以强调。在这个关键字的后面，应该跟随新　
数据类型的名称。例如：
class　ATypeName　｛/*类主体置于这里｝
这样就引入了一种新类型，接下来便可用new　创建这种类型的一个新对象：
ATypeName　a　=　new　ATypeName（）；
在ATypeName　里，类主体只由一条注释构成（星号和斜杠以及其中的内容，本章后面还会详细讲述），所以　
并不能对它做太多的事情。事实上，除非为其定义了某些方法，否则根本不能指示它做任何事情。
2。4。1 字段和方法
定义一个类时（我们在　Java　里的全部工作就是定义类、制作那些类的对象以及将消息发给那些对象），可在　
自己的类里设置两种类型的元素：数据成员（有时也叫“字段”）以及成员函数（通常叫“方法”）。其　
中，数据成员是一种对象（通过它的句柄与其通信），可以为任何类型。它也可以是主类型（并不是句柄）　
之一。如果是指向对象的一个句柄，则必须初始化那个句柄，用一种名为“构建器”（第4　章会对此详述）　
的特殊函数将其与一个实际对象连接起来（就象早先看到的那样，使用new　关键字）。但若是一种主类型，　
则可在类定义位置直接初始化（正如后面会看到的那样，句柄亦可在定义位置初始化）。
49　
…………………………………………………………Page　51……………………………………………………………
每个对象都为自己的数据成员保有存储空间；数据成员不会在对象之间共享。下面是定义了一些数据成员的　
类示例：
class　DataOnly　｛
int　i；
float　f；
boolean　b；
｝
这个类并没有做任何实质性的事情，但我们可创建一个对象：
DataOnly　d　=　new　DataOnly（）；
可将值赋给数据成员，但首先必须知道如何引用一个对象的成员。为达到引用对象成员的目的，首先要写上　
对象句柄的名字，再跟随一个点号（句点），再跟随对象内部成员的名字。即“对象句柄。成员”。例如：
d。i　=　47；
d。f　=　1。1f；
d。b　=　false；
一个对象也可能包含了另一个对象，而另一个对象里则包含了我们想修改的数据。对于这个问题，只需保持　
“连接句点”即可。例如：
myPlane。leftTank。capacity　=　100；
除容纳数据之外，DataOnly　类再也不能做更多的事情，因为它没有成员函数（方法）。为正确理解工作原　
理，首先必须知道“自变量”和“返回值”的概念。我们马上就会详加解释。
1。　主成员的默认值
若某个主数据类型属于一个类成员，那么即使不明确（显式）进行初始化，也可以保证它们获得一个默认　
值。
主类型　默认值
Boolean　false
Char　"u0000"（null）
byte　（byte）0
short　（short）0
int　0
long　0L
float　0。0f
double　0。0d
一旦将变量作为类成员使用，就要特别注意由　Java　分配的默认值。这样做可保证主类型的成员变量肯定得到　
了初始化（C＋＋不具备这一功能），可有效遏止多种相关的编程错误。
然而，这种保证却并不适用于“局部”变量——那些变量并非一个类的字段。所以，假若在一个函数定义中　
写入下述代码：
int　x；
那么x　会得到一些随机值（这与C　和C＋＋是一样的），不会自动初始化成零。我们责任是在正式使用x　前分　
配一个适当的值。如果忘记?