JVMがプリミティブ変数のデータ型を決定する方法は？

Question

私はchar型が16ビットを取ることを知りました。そしてshort型も16ビットをとり、どのような型がjvmによって決定されるのですか？ JVMは、メモリに格納されている型のサイズよりも変数の型を決定するために他のものに依存している必要があります。

変数のプリミティブデータ型を見つけるのに役立つjvm内のアーキテクチャを教えてください。

Answer 1

データ型と操作の両方が、Java仮想マシン仕様によって厳密に定義されています。

Java仮想マシンは、ほぼすべての型チェックは、通常、コンパイラによって、時間を実行する前に行われ、Java仮想マシン自体によって行われなければならないことを期待する：Oracleのドキュメントから

。プリミティブ型の値は、実行時にその型を判定するために、または参照型の値と区別するために、タグ付けするか、または検査可能である必要はない。