instanceof

操作:

決定對象是否是指定類型的實例

指令格式:

instanceofindexbyte1indexbyte2

指令碼:

instanceof = 193 (0xc1)

指令執行前后的棧頂狀態:

..., objectref →..., result

描述:

objectref是線程棧頂部彈出的類型的引用,無符號數indexbyte1和indexbyte2共同構建成一個索引(indexbyte1<<8|indexbyte2)指向運行時常量池中的類.
如果objectref為null,result=0;
如果objectref為指定類(resolved class),數組,接口的實例,則result=1
否則result=0;

舉例說明:

如果S是objectref所指向的類,T為指定類(resolved class),在下列情況下result=1:

• 如果S是一個class:

  • 如果T為class,則S extends T,或者S等于T
  • 如果T為interface,則S implements T

• 如果S是一個class:

  • 如果T為interface,則T為Object
  • 如果T為interface,則S extends T,或者S等于T

• 如果S是一個array,SC[],數組元素為SC:

  • 如果T為class,則T為Object
  • 如果T為interface,則T 為數組的子類(見JLS4.10.3)

  • 如果T是一個array,TC[],數組元素為TC

    • TC和SC是相同的原始類型
    • TC和SC都是class,SC可以在運行時轉換為TC

JVM具體的實現

論文Fast subtype checking in the HotSpot JVM
問答請教一個share/vm/oops下的代碼做fast subtype check的問題

參考:
1.JLS
2.JVM
3.知乎

總結

以上是生活随笔為你收集整理的JVM规范阅读-instance of的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。