Java的平台无关性（成神之路二）

java如何实现平台的无关性：

平台无关性：一种语言在计算机上运行不受平台的约束，一次编译到处使用。

java编译出来的是字节码文件，平台只要有对应的JDK就可以运行。

详解：（有兴趣的人可以看看）

Java对平台无关性的支持就像对安全性和网络移动性的支持一样，是分布在整个Java体系结构中的，所有的组成部分包括语言，class文件，API以及虚拟机，都对平台无关性的支持中扮演着重要角色。

1.Java平台

Java平台扮演一个运行时Java程序与其下的硬件和操作系统之间的缓冲角色。Java程序被编译为可运行于Java虚拟机中的二级制程序，并且假定Java API的class文件在运行时是可用的。接着虚拟机运行程序，那些API则给予程序访问底层计算机资源的能力。无论Java程序被部署到何处，它只需要与Java平台交互，而不需要担心底层的硬件和操作系统。

2.Java语言

Java语言主要通过以下方式支持Java的平台无关性：它的基本数据类型的值域和行为都是由语言自己定义的。

在像C/C++这样的语言中，基本数据类型int的值域是由它的占位宽度决定的，而它的占位宽度则由平台决定的。而Java程序，不管其运行的平台是什么，Java中的int都是32位二进制并且表示的有符号整数，而float则总是遵循IEEE754浮点标准的32位浮点数。同样，这一点在Java虚拟机内部以及class文件中都是一致的。通过确保基本数据类型在所有平台上的一致性，Java语言本身为Java程序的无平台性提供了强有力的支持。

3.Java class文件

Java class文件可以在任何平台上创建，也可以被任何平台的Java虚拟机装入并运行。它的格式，包括多字节值的高位优先存放约定，都有严格定义，并且是与Java虚拟机所在平台无关。

4.可伸缩性

Java支持平台无关，一个方面就是它的可伸缩性。Java平台可以在各种各样不同类型（从嵌入式设备到大型主机）的计算机上实现。

Sun改变过的API定义方式得到了三个基本API集合，它们表现Java平台的不同的伸缩性：

（1）企业版（J2EE），Java网路编程 主要用来写一些动态网站
（2）标准版（J2SE），Core Java 简称java核心基础 主要用来写一些C/S架构的程序
（3）微型版（J2ME），Java移动开发 主要用来开发java手机应用

当编写Java程序时，平台无关性只是一个可选的性能。Java程序的平台无关程度依赖于多种因素，其中有些因素不在开发人员的控制范围内，但大多数是由开发人员控制的。从根本上说，任何Java程序的平也台无关程度都依赖于作者怎么编写它。而影响平台无关性的因素有以下几点：

1.Java平台的部署

只有拥有Java平台的计算机或设备才能运行Java程序。设备运行Java程序前，需要做两件事，首先必须将Java平台移植到对应设备上，此外，实现接口还必须安装到对应设备上。

2.Java平台的版本

并非所有的标准运行时库在每个Java平台上都是可用的。作为一名开发人员，你不可能控制Java版本的发布周期或者部署进度，但是你可以选择自己的程序所依赖的Java平台。

3.本地方法

决定Java程序的平台无关程度的另一个主要因素就是你是否调用了本地方法。编写Java程序时，必须遵守的一条最重要的原则就是：不要直接或间接调用不属于Java API的本地方法。如果必须使用本地方法，而且要使程序可以在多种平台上运行，必须将本地方法移植到所有需要的平台上。

4.非标准运行库

Java平台可以由许多开发商来实现，虽然每个开发商必须提供Java API的标准运行时库，但是个别开发商还可能提供了另外的库。如果开发者侧重于平台无关性，那么就必须清楚地知道所使用的那些非标准运行时库是否调用了本地方法。如没有调用本地方法的非标准库不会降低程序的平台无关性。否则，会和程序和平台相关了。

5.对虚拟机的依赖

在编写平台独立的Java程序时，还必须遵从两条原则，这两条原则和Java虚拟机中的某些部分有关，Java虚拟机中的某些部分可以由不同的开发商用不同的方法实现。这两条原则是：
1）不要依赖及时终结（finalization）来达到程序的正确性；
2）不要依赖线程的优先级（thread prioritization）来达到程序的正确性。

这两条原则可以防止Java虚拟机规范中运行的垃圾收集和线程在不同的实现中的变化带来的不利影响。

所有的Java虚拟机都必须有垃圾收集堆，但是不同的实现可能使用不同的垃圾收集技术。在Java虚拟机规范中的这个灵活性意味着，在不同的虚拟机中，一个特定的Java程序中的对象可能在不同的时间被垃圾收集。这也意味着那些在对象被释放前由垃圾收集器运行的终结方法（finalizer），在不同的虚拟机这可能是不同的时间运行的。如果使用了一个终结方法来释放有限的内存资源，例如文件句柄，程序就可能可以在一些虚拟机的实现上运行，而在其它实现上却不能。在一些实现上，程序可能在垃圾收集器得到机会调用释放资源的终结方法之前，就已经将有限的资源耗尽了。

在不同的Java虚拟机的实现中，另一个变化和线程的优先级有关。Java虚拟机规范只保证了，程序中所有拥有最高优先级的可运行线程将会得到一些CPU时间。这个规范也保证了在较高优先级的线程被阻塞时，较低优先级的线程将会运行。但是，在较高优先级的线程没有被阻塞的情况下，并没有禁止较低优先级的线程的运行。在某些虚拟机的实现中，即使较高优先级的线程并未被阻塞，那些较低优先级的线程也可能先得到CPU时间。如果你的程序依赖于这个行为的正确性，它将在某些虚拟机的实现上可以正常运行，而在某些实现上却不能。为了保证多线程Java程序的平台独立，必须依赖同步（sychronization）而不是优先级来在线程之间协调相互间的动作。

6.对用户界面的依赖

在不同的Java平台的实现之间 ，另一个主要的变化就是用户的接口：在编写平台独立的Java程序时，用户界面是一个更为困难的问题。用户必须利用这些基础类库建立一个接口，使许多不同平台上的用户使用起来比较舒适，这往往不是一项简单的工作。
虽然AWT和Swing库使得创建运行在不同平台上的用户界面变得比较容易，但是它们并不一定使界面设计变得方便、界面必须使不同平台上的用户使用起来感觉到愉快。

7.Java平台实现中的bug

Java平台的不同实现之间还有一个变化就是bug，虽然Sun已经开发了一套全面的测试标准，Java平台实现必须通过这套标准测试。但是可能某些实现在发布的时候仍然包含bug。你只能通过测试来防止这种可能性。如果确实影响，那么就必须试图找到一个绕开的途径。

8.测试

因为Java平台的实现之间可能存在差异，依赖某些特定平台写的Java程序，已经在任何特定平台的实现中可能存在的bug。所以应该尽可能在所有希望运行的平台上对Java程序进行测试。在实际情况中，在程序要运行的不同主机和不同Java平台实现上测试你的Java程序，是程序平台无关性的一个关键因素。

JVM还支持哪些语言：

Java,Kotlin,Scala,Clojure,Groovy,Jython,JRuby,Ceylon,Eta,Haxe

Kotlin:

Kotlin 是一个用于现代多平台应用的静态编程语言，由 JetBrains 开发。

Kotlin可以编译成Java字节码，也可以编译成JavaScript，方便在没有JVM的设备上运行。

Kotlin已正式成为Android官方支持开发语言

创建一种兼容Java的语言

让它比Java更安全，能够静态检测常见的陷阱。如：引用空指针

让它比Java更简洁，通过支持variable type inference，higher-order functions (closures)，extension functions，mixins and first-class delegation等实现。

让它比最成熟的竞争对手Scala语言更加简单。

Scala

Scala是一门多范式的编程语言，一种类似java的编程语言，设计初衷是实现可伸缩的语言、并集成面向对象编程和函数式编程的各种特性。

Clojure

Clojure是一种运行在Java平台上的 Lisp 方言，Lisp是一种以表达性和功能强大著称的编程语言，但人们通常认为它不太适合应用于一般情况，而Clojure的出现彻底改变了这一现状。如今，在任何具备 Java 虚拟机的地方，您都可以利用 Lisp 的强大功能。

Clojure是一个在JVM平台运行的动态函数式编程语言，其语法接近于LISP语言，在JVM平台运行的时候，会被编译为JVM的字节码进行运算。

Clojure保持了函数式语言的主要特点，例如immutable state，Full Lisp-style macro support，persistent data structures等等，并且还能够非常方便的调用Java类库的API，和Java类库进行良好的整合。

Groovy

Groovy是一种基于JVM（Java虚拟机）的敏捷开发语言，它结合了Python、Ruby和Smalltalk的许多强大的特性，Groovy 代码能够与 Java 代码很好地结合，也能用于扩展现有代码。由于其运行在 JVM 上的特性，Groovy 可以使用其他 Java 语言编写的库。

Groovy 是 用于Java虚拟机的一种敏捷的动态语言，它是一种成熟的面向对象编程语言，既可以用于面向对象编程，又可以用作纯粹的脚本语言。使用该种语言不必编写过多的代码，同时又具有闭包和动态语言中的其他特性。

Groovy是JVM的一个替代语言（替代是指可以用 Groovy 在Java平台上进行 Java 编程），使用方式基本与使用 Java代码的方式相同，该语言特别适合与Spring的动态语言支持一起使用，设计时充分考虑了Java集成，这使 Groovy 与 Java 代码的互操作很容易。（注意：不是指Groovy替代java，而是指Groovy和java很好的结合编程。

Jython

Jython是一种完整的语言，而不是一个Java翻译器或仅仅是一个Python编译器，它是一个Python语言在Java中的完全实现。Jython也有很多从CPython中继承的模块库。最有趣的事情是Jython不像CPython或其他任何高级语言，它提供了对其实现语言的一切存取。所以Jython不仅给你提供了Python的库，同时也提供了所有的Java类。这使其有一个巨大的资源库。

要了解Jython(旧称JPython)，首先要了解Python。Python是用C编写的高级的、面向对象的、开放源代码的编程语言。Guido vanRossum是Python的原创者，继而在Python的快速发展中产生了一大群高水平的设计者和程序员。使用Python的开发人员增长迅速，并一直在持续增长。然而Sun的Java编程语言也是深入人心的。随着用Java实现的项目的数量接近了用C/C++实现的项目，Python的Java实现也变得很有必要。Jython，最初叫做JPython，就是：Python语言的Java实现。

JRuby

JRuby，一个采用纯Java实现的Ruby解释器，由JRuby团队开发。它是一个自由软件，在CPL/GPL/LGPL三种许可协议下发布。

JRuby是面向Ruby、基于Java虚拟机(JVM)的一种解释程序，它结合了Ruby语言的简易性和功能强大的JVM的执行机制，包括与Java库 全面集成。Rails彻底加快及简化了Web应用的开发，不过它让人觉得不够成熟，特别是在高端企业级功能方面。另一方面，Java平台及其虚拟机、库和 应用服务器的速度、稳定性和功能方面却一直在提升，现在已被公认为是开发高端服务器。

Ceylon

Ceylon是一种新兴的计算机编程语言，号称“Java杀手”，它不是Java，而是一种受Java影响的新语言。

Ceylon语言支持功能强大的类型系统，在设计时它考虑到了以下限制：所有类型在类型系统内部都必须是可表达的（没有特殊的 primitive类型或者复合类型）；Ceylon的通用类型系统要比Java的更简单，而且相比于其他类Java语言，它的安全性更高；甚至元编程（reflection）也必须是类型安全的；另外，Ceylon必须是在JVM上执行，而且可以和Java交互操作。

Haxe

Haxe是一门新兴的开源编程语言，是一种开源的编程语言。

开发者称：“相比其他语言（Java的平台是 JVM，C#的平台是.Net，ActionScript的平台是Flash Player等等），Haxe才是真正的多平台语言。不管是开发原生iOS、Android应用，还是网页；不论是应用于服务器还是个人桌面，Haxe都 可以胜任。

使用Haxe开发的程序可以被编译成：

JavaScript：你可以将Haxe程序编译成单一的.js文件，访问DOM APIs并拥有“自动完成”的支持，所有的依赖都在编译时都被搞定了。

Flash：你可以将Haxe程序编译成一个.swf文件或者支持移动平台的air文件包，支持从Flash Player 6到11的所有版本。

NekoVM：将Haxe程序编译成NekoVM字节码，用在服务器相关的程序（比如动态网页），同时也可以用在命令行或者桌面应用中。

PHP：你可以将Haxe程序编译成.php文件。

C++：你可以直接从Haxe源码生成C++的code。NME库使用这项特性在iOS和Android上直接运行Haxe的code。

C#和Java：使用 -java 和 -cs 来生成相应源码。