なぜコンパイラ（javac）はオブジェクトのサイズを知る必要がありますか？

Question

私はオブジェクト（クラス）のサイズをコンパイラが知る必要があるのか​​と疑問に思った。つまり、オブジェクトが本当に必要なときにランタイムに延期することはできないのですか？

Answer 1

あるJavac

おかげでは、オブジェクトのサイズを知りません。 JVMはこれらの詳細を抽象化します。

コンパイラは、CまたはC++のようなネイティブコンパイル言語では、オブジェクトを大きな構造体内に組み込むとき、またはスタックに割り当てるときに、オブジェクトのサイズを知る必要があります*ヒープ割り当ての場合、動的なサイズのオブジェクトを持っていますが、これは非常に危険であり、正しく取得するのは難しいです。 Cでは、これは伝統的に空の配列で構造体を終了し、余分なスペースを割り当てることによって行われます。

実際には、既知のサイズと未知のサイズのタイプを区別します。後者は、限られた環境でのみ使用できます。 C/C++には、基本的に不透明なポインタとしてしか使えない、不完全な型の同様の概念があります。

*技術的には、Cはスタック上に可変サイズの配列を許可します。