Java和C++中的static

原文地址：http://hi.baidu.com/aezealer/blog/item/fb8fdd438113c8169213c6c5.html

 

在Java程序中，很多main方法前面都会被标记上static修饰符。现在，我们要讨论一下static这个修饰符在Java和C++这两中语言中的含义。

术语“static”有段不寻常的历史。起初，在C中引入关键字static是为了表示退出一个块后仍然存在的局部变量。在C中static实际通常有两种含义：一是在声明局部变量时，表示该局部变量的值在函数调用结束后不消失而保留原值，即其占用的存储单元不释放，在下一次该函数调用时，该变量已有的值，就是上一次函数调用结束时的值；另一种含义是表示不能被其他文件访问的全局变量和函数。后来，C++重用了这个关键字，并赋予它一种新的含义：表示属于一个类而不是属于此类的任何一个特定对象的变量和函数。这种含义同在Java中是一样的。

首先先说一下这个修饰符的具体含义。当我们在设计一个类时，类中的有些字段或方法，并不是其每个对象都要实现一个拷贝的。

例如在Java中，当我们定义一个Employee时：

classEmployee
{
    ……
    privateintid;
    privateintnoOfEmployee=1;
}

这样定义一个类后，每一个雇员有一个ID号码，和一个雇员数。但实际雇员数是没有必要在每个雇员中都保留一份的。对于一个类Eemployee只需一个雇员数就可以了。而且每一个雇员有一个雇员数，当雇员数变化时，还要更新每一个雇员内的字段，比较麻烦。而static正式解决这个问题的一种方法。无论在Java还是在C++中，若将一个数据成员还是方法声明为staic。无论类有多少个实例，这个数据成员或方法只有一个。下面，我们在Java和C++中分别讨论它。

在Java中，静态变量并不常见，最长使用的是静态常量。如在Math类中定义了一个静态常量。

publicclassMath
{
    ……
    publicstaticfinaldoublePI=3.14159265358979323846;
    ……
}

在程序中可以使用Math.PI来访问此常量。如果关键字static被省略，那么PI则是Math类的一个实例字段。也就是说如果要访问PI，需要通过Math类的一个对象，而且每个对象都有自己的一份PI拷贝。

在C++中，静态数据成员通常放在类的内部实现部分中定义。定义时，需要用类名引导。在对静态数据成员访问时，使用类名或对象名都可以。通常静态数据成员用的较多的场合为：

·用于保存流动变化的对象个数。

·作为一个标记，指示一个特定的动作是否发生。

·一个指向一个链表第一个或最后一个成员的指针。

无论在Java中还是在C++中，静态方法是不向对象施加操作的方法。可以把静态方法看作是没有this参数的方法（在C++中即为没有this成员指针的函数）。因为静态方法并不操作对象，所以不能用静态方法类访问实例字段。但是它可以访问自身类中的静态字段。

通常在以下良两种情况下需要使用静态方法：1.该方法不需要访问对象的状态，其所需的参数都通过显示参数提供。2.该方法只需要访问类的静态字段。

静态方法在Java中还有另外一个用途是工厂方法。工厂方法用于产生同一类的对象。许多工厂方法如：

NumberFormate.getNumberInstance()

NumberFormate.getCurrencyInstance()

这些方法都是使用类，而不是对象去调用它们，因此都是静态方法。还有，Java中的main方法也是静态方法。Main方法并不地任何对象施加操作。事实上，程序开始执行时还不存在任何对象。静态main方法执行并构造程序所需的对象。

总之，static解决了如何处理那些属于类但不属于对象的变量或方法的问题。无论在Java中还是在C++中，其功能基本上是相同的。有差异的不过是语法上的表现。
================================
Java中的泛型与C++模板的比较2007年09月18日星期二17:00
泛型本质上是提供类型的"类型参数"，它们也被称为参数化类型（parameterizedtype）或参量多态（parametricpolymorphism）。其实泛型思想并不是Java最先引入的，C++中的模板就是一个运用泛型的例子。

GJ（GenericJava）是对Java语言的一种扩展，是一种带有参数化类型的Java语言。用GJ编写的程序看起来和普通的Java程序基本相同，只不过多了一些参数化的类型同时少了一些类型转换。实际上，这些GJ程序也是首先被转化成一般的不带泛型的Java程序后再进行处理的，编译器自动完成了从GenericJava到普通Java的翻译。

GJ程序的语法在表面上与C++中的模板非常类似，但是二者之间有着本质的区别。

首先，Java语言中的泛型不能接受基本类型作为类型参数――它只能接受引用类型。这意味着可以定义List<Integer>，但是不可以定义List<int>。

其次，在C++模板中，编译器使用提供的类型参数来扩充模板，因此，为List<A>生成的C++代码不同于为List<B>生成的代码，List<A>和List<B>实际上是两个不同的类。而Java中的泛型则以不同的方式实现，编译器仅仅对这些类型参数进行擦除和替换。类型ArrayList<Integer>和ArrayList<String>的对象共享相同的类，并且只存在一个ArrayList类。