從jvm來看，scala中的@究竟是個什麼鬼？ 我也是初步嘗試來看jvm的類檔案，又是初次來分析@，如不對的地方，請各位指正！

先看一下@ 是個什麼？

/**
  * Created by admin on 2016/12/29.
  */
object test7 {
  def main(args: Array[String]) {
    val b=Some(2)
    val [email protected]Some(1)  =  Some(1)
    println(b)
    println(a)

    val bb= 2
val [email protected]
 
"IMF" ="IMF"
println(bb)
    println(aa)

  }
}

執行結果：

"C:\Program Files\Java\jdk1.8.0_65\bin\java" -Didea.launcher.port=7541 "-Didea.launcher.bin.path=..... com.intellij.rt.execution.application.AppMain test7
Some(2)
Some(1)
2
IMF


Process finished with exit code 0

 

但 @在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 [email protected]"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編譯中做了一個模式配置的工作,將字串做了比對,如果值相等,將將這個值取到賦值給變數;如果值不相等,匹配不上,就報一個異常.