關于類型的另外一個需要提一下的是類型檢查。JVM期望幾乎所有的類型檢查已經在運行之前完成了(通常是由編譯器進行檢查的)而不用JVM自己來檢查。原始類型的值不需要被標記或者在運行時被檢查以確定他們的類型，同樣他們也不用和引用類型的值進行區分，區分工作是 由JVM的指令集來完成的，JVM的指令集使用不同指令來區分它要操作的值的類型，例如iadd, ladd, fadd以及dadd是用于將兩個數字相加并產生數字類型結果的所有JVM指令，但是每個指令都是針對特定類型的，分別對應int, long, float以及double。

　　JVM包含對對象的顯式支持。類是動態分配的類實例或者是一個數組，JVM中的引用類型就是對一個對象的引用，引用類型的值可以想象為對象的指針，一個對象同時可能存在多個對它的引用，對象總是通過引用被操作、傳遞或者測試的。

　　對于引用類型，需要提及的一點就是關于null，它最初是沒有運行時類型的，但是它可以被轉換為任何類型，而且對于null，JVM并沒有要求任何具體的值與之對應。

　　說完上面這些，我們就開始進入我學習JVM時最想了解的部分了，大家可要打起精神哦。

　 　JVM為運行一個程序定義了幾種數據區(Data Area)，包括：pc寄存器、JVM堆棧、堆、方法區(Method Area)、運行時常量池(Runtime Constant Pool)以及本機方法堆棧(Native Method Stacks)，這些數據區根據其生存期可以分為兩種，一種就是和JVM的生存期相同(包括堆和方法區)，一種和線程的生存期相同(其它的)，和JVM生 存期相同的數據區在JVM啟動的時候被創建并在JVM退出的時候被銷毀，而和線程生存期相同的數據區是每個線程一個的，他們在線程創建的時候被創建，在線 程被銷毀的時候被銷毀。

 由于JVM可以同時支持運行多個線程，因此每個線程必然需要各自的PC(program counter)寄存器，無論從什么角度講，每個JVM線程只能在一個時間只能執行一個方法，該方法也就是線程的當前方法，如果該方法不是本機方法，那么 PC寄存器保存的就是當前指令(JVM的指令)的地址，如果是當前方法是本機方法，PC寄存器的值就沒有被定義。JVM的PC寄存器的大小足夠大，可以容 納一個returnAddress類型或者特定平臺的本機指針。