Java语言是一种静态类型的编程语言。静态类型的含义是指在编译时进行类型检查。Java源代码中的每个变量的类型都要显式地进行声明。所有变量、方法的参数和方法返回值的类型在程序运行之前就必须是已知的。Java语言的这种静态类型特性使编译器可以在编译时执行大量的检查来发现代码中明显的类型错误,不过这样的话,代码中会包含很多不必要的类型声明,使代码不够简洁和灵活。与静态类型语言相对的是动态类型语言,如javascript和Ruby等。动态类型语言的类型检查在运行时进行。源代码中不需要显式地声明类型。去掉了类型声明后,使用动态类型语言编写的代码更加简洁。近年来,动态类型语言的流行也反映了语言中动态行的重要性。适当的动态性对于提高开发的效率是有帮助的,可以减少开发人员需要编写的代码量。
对于使用java的开发人员来说,学习一门新的动态类型语言的代价可能比较高,因为从一门新语言入门到将其真正运用到实践中的时间可能比较长。熟悉Java的开发人员还是都希望用Java来解决问题。实际上,Java语言本身对动态性的支持也有很多。这里的动态性指的不是类型上的,而是使用方式上的。这些动态性可以在一些对灵活性要求比较高的场合发挥作用。反射API就是其中一个很好的例子,它提供了在运行时根据方法查找并调用方法的能力。随着版本的更新,Java语言本省也在不断地提高对动态性和灵活性的支持。
本章将围绕Java语言的动态性来展开,所涉及的内容既有Java 7中的新特性,又有之前版本中就有的功能。集中在这一章进行介绍的目的是使读者对相关知识有一个全面的了解。本章所介绍的内容都属于Java的标准API,不需要了解字节代码等底层细节。这一章的内容分为4个部分:首先介绍Java 6中引入的脚本语言支持API,接着介绍可以在运行时检查程序内容部结构和直接调用的方法的反射API,然后对可以在运行时实现接口的动态代理进行详解,最后是本章的重点,即Java 7中引入的在Java虚拟机级别实现的动态语言支持和方法句柄。