从jvm来看,scala中的@究竟是个什么鬼? 我也是初步尝试来看jvm的类文件,又是初次来分析@,如不对的地方,请各位指正!
先看一下@ 是个什么?
object TestScala {
def main(args: Array[String]): Unit = {
val b = Some()
val a@Some() = Some()
println(b)
println(a) val bb =
val aa@"IMF" = "IMF"
println(bb)
println(aa) }
}
运行结果:
Some()
Some()IMF
但 @在idea中源代码中点击不开,既不是 函数,也不是运算符,那scala中编译后究竟是什么呢 ?能否 从JVM来看看 ?
1,写2个scala文件,一个包含@,一个不包含@
TestNoOpera.scala 不包含@
object TestNoOpera {
def main(args: Array[String]) {
val b="IMF"
}
}
TestInludeOpera.scala 包含@
object TestInludeOpera {
def main(args: Array[String]) {
val aa@"IMF" ="IMF"
}
}
2,scalac 编译成class文件
3,从 class类查看工具java class viewer分别看一下 TestInludeOpera$.class 和 TestNoOpera$.class文件
3.1:TestNoOpera$.class文件
说明:
opcode [12] – 0000: ldc 16 [String: IMF] //ldc指令从运行时常量池中加载字符串常量 “IMF” (常量池中16的位置,字符串索引为15,名称为IMF),并把IMF推入到JVM的操作数栈。
opcode [4D] – 0002: astore_2 //astore指令把IMF变量从操作数栈顶弹出,存入局部变量表。a意思是操作引用类型。
opcode [B1] – 0003: return // 什么也没有做,那就return指令返回,没有返回值。将结果返回给调用方。
3.2TestInludeOpera$.class 包含@操作符的类文件
opcode [12] – 0000: ldc 16 [String: IMF]//ldc指令从运行时常量池中加载字符串常量 “IMF” (常量池中16的位置,字符串索引为15,名称为IMF),并把IMF推入到JVM的操作数栈。
opcode [4E] – 0002: astore_3 //astore指令把IMF变量从操作数栈顶弹出,存入局部变量表的字段3。
opcode [12] – 0003: ldc 16 [String: IMF] //ldc指令从运行时常量池中加载字符串常量 “IMF” ,并把IMF推入到JVM的操作数栈。
opcode [2D] – 0005: aload_3 //aload 从局部变量表又取出了 IMF变量,将IMF变量推入到操作数栈顶
opcode [3A] – 0006: dstore 4 //dstore 指令将变量IMF从操作数栈顶弹出,存到到局部变量表的字段4 .
opcode [59] – 0008: dup //dup复制操作数栈顶的变量IMF
opcode [C7] – 0009: ifnonnull 12 //ifnonnull判断值是否为空
opcode [57] – 0012: pop // pop指令对操作数栈进行操作,将栈顶的变量IMF弹出
opcode [19] – 0013: aload 4 //aload 从局部变量表的字段4 取出了 IMF变量,将IMF变量推入到操作数栈顶
opcode [C6] – 0015: ifnull 14 //ifnnull判断值是否为空
opcode [A7] – 0018: goto 19 //无条件跳转到偏移量19的位置
opcode [19] – 0021: aload 4 //aload 从局部变量表的字段4 取出了 IMF变量,将IMF变量推入到操作数栈顶
opcode [B6] – 0023: invokevirtual 20 [Methodref: java.lang.Object.equals, parameter = (java.lang.Object), returns = boolean ] //invokevirtual 指令从对象的类中查找要调用的方法,如果找不到方法,就报异常,这里是调用Object的equals方法,入参数是对象,返回值是布尔值
opcode [99] – 0026: ifeq 11 //判定是否相等
opcode [12] – 0029: ldc 16 [String: IMF] // //ldc指令从运行时常量池中加载字符串常量 “IMF” ,并把IMF推入到JVM的操作数栈。
opcode [3A] – 0031: dstore 5 ///dstore 指令将变量IMF从操作数栈顶弹出,存到到局部变量表的字段5
opcode [19] – 0033: aload 5 // //aload 从局部变量表取出了 IMF变量,将IMF变量推入到操作数栈顶
opcode [4D] – 0035: astore_2 // //astore指令把IMF变量从操作数栈顶弹出,存入局部变量表的字段2。
opcode [B1] – 0036: return // return返回
//以下是异常的处理
opcode [BB] – 0037: name_new 22 [Class: scala.MatchError] //new指令的操作数是一个unit16的索引,这里是22,我们通过这个索引 ,从类的运行时常量池中找到类符号引用 ,解析这个类符合引号,那就可以拿到类数据,创建对象,并且将对象引用推入到操作数栈顶,new指令完成.
opcode [59] – 0040: dup //dup复制操作数栈顶的变量MatchError
opcode [2D] – 0041: aload_3 //aload 从局部变量表取出了 IMF变量,将IMF变量推入到操作数栈顶
opcode [B7] – 0042: invokespecial 25 [Methodref: scala.MatchError.<init>, parameter = (java.lang.Object), returns = void] //invokespecial 调用MatchError方法
opcode [BF] – 0045: athrow //athrow是引用类指令,将MatchError异常对象引用从操作数栈顶弹出,并跳转到异常处理代码.
四:结论:
@符号在scala编译中做了一个模式配置的工作,将字符串做了比对,如果值相等,将将这个值取到赋值给变量;如果值不相等,匹配不上,就报一个异常.