在JDK7中,Java提供了对动态语言特性的支持,实现了JSR 292 《Supporting Dynamically Typed Languages on the Java Platform》规范,这是Java语言发展的一重大进步,而提供对动态语言特性支持也是Java发展的一大趋势与方向。那么动态性表现在哪里呢?其一在Java API层面,新增了java.lang.invoke包,主要包含了CallSite、MethodHandle、MethodType等类;其二,在Java字节码指令层面,新增了invokedynamic指令,而伴随invokedynamic指令新增而在Class类文件常量池中新增了CONSTANT_InvokeDynamic_info, CONSTANT_MethodHandle_info, CONSTANT_MethodType_info常量表、新增BootstrapMethods属性表。
那么什么是动态性,与动态相对的即是静态。大家应该都听说过,Java是一门静态型语言(C++也是),而动态型语言有Groovy、JavaScript、Ruby、Phthon、PHP、Lisp等等。从这个列举中可以发现,动态语言一大堆,而静态语言最常见的就是Java和C++了,这也从侧映证了动态性是语言发展的趋势。这些动态型语言在语言语法层面上最大的特点就是变量用var/def声明;而是Java中,声明变量时必须指定该变量的类型,如:String name = "zhangsan"。 从深层次一点来讲,动态型语言声明的变量在编译期无法确定该变量的具体类型,只有到了运行时才能确定该变量的具体类型,而静态型语言,变量的具体类型(这里指变量静态类型,多态性不包含在此)在编译期就已经确定,以Java为例:声明了一个实例变量,经过编译器编译后,该变量的简单名称和描述符符号引用都已经存储在了Class文件字节码中,在类的解析阶段,虚拟机就会将变量的符号引用解析为直接引用。这个直接引用将会解析为什么类型,在编译期就已经确定了。下面举个具体的例子:
动态语言以JavaScript为例
在上述代码中,Output类型对象有一个println方法,而在实际运行中,变量output却不一定非得是Output类型。只要output变量指向的对象(方法的接收者)上有println方法就可以,而不管接收者到底是什么类型。
而在Java中,以最有名的HelloWorld为例:
System.out被声明为java.io.PrintStream类型,所以System.out对象就必须是java.io.PrintStream类型或者java.io.PrintStream的子类。这里你也许会话,这不对旬真正类型也是可以改变的嘛。的确,但是这个“改变”却有很大的限制,对象真实类型必须是声明类型或者声明类型的子类型,这个是语言多态性最基础的保证。而JDK7对动态性的支持希望做到的是类型JavaScript中一样,对象的真实类型由运行期确定。
下面就举一个使用java.lang.invoke包完成动态方法调用的例子:
那么什么是动态性,与动态相对的即是静态。大家应该都听说过,Java是一门静态型语言(C++也是),而动态型语言有Groovy、JavaScript、Ruby、Phthon、PHP、Lisp等等。从这个列举中可以发现,动态语言一大堆,而静态语言最常见的就是Java和C++了,这也从侧映证了动态性是语言发展的趋势。这些动态型语言在语言语法层面上最大的特点就是变量用var/def声明;而是Java中,声明变量时必须指定该变量的类型,如:String name = "zhangsan"。 从深层次一点来讲,动态型语言声明的变量在编译期无法确定该变量的具体类型,只有到了运行时才能确定该变量的具体类型,而静态型语言,变量的具体类型(这里指变量静态类型,多态性不包含在此)在编译期就已经确定,以Java为例:声明了一个实例变量,经过编译器编译后,该变量的简单名称和描述符符号引用都已经存储在了Class文件字节码中,在类的解析阶段,虚拟机就会将变量的符号引用解析为直接引用。这个直接引用将会解析为什么类型,在编译期就已经确定了。下面举个具体的例子:
动态语言以JavaScript为例
function Output() {
}
Output.prototype.println = function(_value) {
console.info(_value);//FireFox中
}
//执行语句
var output = new Output();
output.println();
在上述代码中,Output类型对象有一个println方法,而在实际运行中,变量output却不一定非得是Output类型。只要output变量指向的对象(方法的接收者)上有println方法就可以,而不管接收者到底是什么类型。
而在Java中,以最有名的HelloWorld为例:
public static void main(String[] args) {
System.out.println("HelloWorld");
}
System.out被声明为java.io.PrintStream类型,所以System.out对象就必须是java.io.PrintStream类型或者java.io.PrintStream的子类。这里你也许会话,这不对旬真正类型也是可以改变的嘛。的确,但是这个“改变”却有很大的限制,对象真实类型必须是声明类型或者声明类型的子类型,这个是语言多态性最基础的保证。而JDK7对动态性的支持希望做到的是类型JavaScript中一样,对象的真实类型由运行期确定。
下面就举一个使用java.lang.invoke包完成动态方法调用的例子:
import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;
import java.util.Random;
public class Output {
public void println(Object value) {
System.out.println("value=" + value);
}
public static MethodHandle getMethodHandle(Object receiver) throws Throwable {
//如果Lookup对象
MethodHandles.Lookup lookup = MethodHandles.lookup();
//MethodType代表方法的类型(不包含方法名称),其实MethodType是为了确定方法的描述符,例如此方法描述符为:(Ljava/lang/Object;)V
MethodType methodType = MethodType.methodType(void.class, Object.class);
//在接收者类中查找一个名为println,指定方法类型的虚方法
return lookup.findVirtual(receiver.getClass(), "println", methodType).bindTo(receiver);
}
public static void main(String[] args) throws Throwable {
Object receiver = new Random().nextInt(1000)%2==0 ? Syst