オペランドスタック

オペランドスタック（）とは、スタックマシンなどの仮想マシンが使用するオペランド用のスタックで、メモリ内の領域の1つ。スタックマシンでは、コールスタックと区別して、オペコードを実行する際にオペランド用に使用するスタックを用意する場合があり、これをオペランドスタックと呼ぶ。

 Java仮想マシン 
Java仮想マシンでは、コールスタックとして、オペランドスタックとは別の、スレッドごとに作られるJava仮想マシンスタック（）に、フレーム（）と呼ばれる小分けされた領域がある。オペランドスタックは、そのフレーム内の領域の種類の1つである。スタックの一種である。

オペランドスタックはJava仮想マシンの機械語の命令（オペコード）から直接使用される。Java仮想マシンはスタックマシンであり、レジスタが無いため、オペランドスタックを作業領域に使って計算などを実行する。例えば、ローカル変数のintの値を2つiload命令でオペランドスタックにプッシュし、iadd命令でその2つをポップし、加算し、プッシュする、というような使い方がされる。

オペランドスタック1つの領域サイズは32ビットで、long型とdouble型だけは2つ分のサイズ（64ビット）を使用する。

Javaクラスファイルのロード時チェックにより、オペランドスタックに積まれた時の型以外の使用をすること（floatでプッシュした値をintとして使用するなど）は一部の命令を除き禁止されている。

 .NET 
.NETの共通中間言語ではオペランドスタックの事を評価スタック（）と呼んでいる。

 Python仮想マシン 
Python仮想マシンではオペランドスタックの事をインタープリタスタック（）と呼んでいる。

 関連項目 
 スタックマシン

 脚注 

Category:コンピュータアーキテクチャ
Category:計算モデル
Category:Java