一,大多数程序设计语言都提供了“作用域”(Scope)的概念。对于在作用域里定义的名字,作用域同时决定了它的“可见性”以及“存在时间”。在 C,C++和 Java 里,作用域是由花括号的位置决定的。参考下面这个例子:
{
int x = 12;
/* 作用域内只有x是合法的 */
{
int q = 96;
/* 作用域内x和q都是合法的 */
}
/*作用域内只有x是合法的 */
/* q 超出了作用域*/
}
作为在作用域里定义的一个变量,它只有在那个作用域结束之前才可使用。在上面的例子中,缩进排版使 Java 代码更易辨读。由于 Java 是一种形式自由的语言,所以额外的空格、制表位以及回车都不会对结果程序造成影响。注意尽管在 C 和 C++里是合法的,但在 Java 里不能象下面这样书写代码:
{
int x = 12;
{
int x = 96; /* 程序会提示这样是不合法的 */
}
}
编译器会认为变量 x 已被定义。所以 C 和 C++能将一个变量“隐藏”在一个更大的作用域里。但这种做法在 Java 里是不允许的,因为 Java 的设计者认为这样做使程序产生了混淆。
二,对象的作用域
Java 对象不具备与主类型一样的存在时间。用 new 关键字创建一个 Java对象的时候,它会超出作用域的范围之外。所以假若使用下面这段代码:
{
String s = new String("a string");
} /* 作用域的终点 */
那么句柄 s 会在作用域的终点处消失。然而,s 指向的 String 对象依然占据着内存空间。在上面这段代码里,我们没有办法访问对象,因为指向它的唯一 一个句柄已超出了作用域的边界。在后面的章节里,大家还会继续学习如何在程序运行期间传递和复制对象句柄。
这样造成的结果便是:对于用 new 创建的对象,只要我们愿意,它们就会一直保留下去。这个编程问题在 C 和 C++里特别突出。看来在 C++里遇到的麻烦最大:由于不能从语言获得任何帮助,所以在需要对象的时候,根本无法确定它们是否可用。而且更麻烦的是,在 C++里,一旦工作完成,必须保证将对象清除。
这样便带来了一个有趣的问题。假如 Java 让对象依然故我,怎样才能防止它们大量充斥内存,并最终造成程序的“凝固”呢。在 C++里,这个问题最令程序员头痛。但 Java 以后,情况却发生了改观。Java 有一个特别的“垃圾收集器”,它会查找用 new 创建的所有对象,并辨别其中哪些不再被引用。随后,它会自动释放由那些闲置对象占据的内存,以便能由新对象使用。这意味着我们根本不必操心内存的回收问题。只需简单地创建对象,一旦不再需要它们,它们就会自动离去。这样做可防止C++里很常见的一个编程问题:由于程序员忘记释放内存造成的“内存溢出”。