C++インタプリタで変数を動的に割り当てる最も良い方法

Question

現在、擬似C++構文を使用して作成したインタープリタを作成しています。私はインタプリタによって作成された変数を格納する最良の方法を探しています。

現在、私はこれらの変数へのポインタを格納する動的配列を使用していますが、確かに良い方法がありますか？多分、ある種のインラインアセンブラコードがメモリブロックを制御するでしょうか？

私は主要なOSごとにこれらのコードを書き直したいので、移植性についてあまり気にしません。私は単なるタイプにロックされていないメモリブロックを作成する方法を探しています。現在のテストでは、Windows上でMingWコンパイラを使用しています。

アイデアをお待ちしております。

Answer 1

私はあなたの言語があなたが通訳でやることのできる仕組みに非常に依存していると思います。これが真のインタプリタであり、プリコンパイルのステップがない場合は、通常、スタックとヒープの割り当てという2種類の割り当てがあります。スタックに物を割り当てることをサポートしている場合は、これをインタープリタのスタックとして実装する必要があります。

スタックバッファとしてvector<char>を使用してください。入力された各スコープを追跡し、マーカーをスタックに配置します。スタックに割り当てられた変数に遭遇したら、新しいローカル変数に対応するようにスタックを拡張します。オブジェクトが必要な場合は、配置をnewで初期化します。

辞書をある種の辞書に追加して変数名とメモリ空間を一致させることで、文脈で与えられた名前がどこにあるかをコードが知るようにします。実際にシンボルテーブルのように、実行時にのみ保持されます。

スコープの最後に出会ったら、必要に応じてローカルに割り当てられたすべてのシンボルのスタックをポップし、デストラクタを呼び出します。また、スコープ内に存在しないため、シンボルテーブルからすべてのエントリを削除します。この方法では、ヒープ上で使用されていないオブジェクトのヒープ割り当てを完全に避けることになります。

Answer 2

これを行うためにインラインアセンブラコードは必要ありません。 vector<char>をバッファーとして使用し、placement newを使用してオブジェクトを構築することができます。この手法では、手動割り当て管理の領域に入ることに注意してください。断片化を扱うなど、さまざまな問題が発生します。

Answer 3

私が見つけた最も簡単な解決策はstd::map<std::string, Variant>です。文字列には変数名が格納され、Variantはboost::variant<all-interpreter-types>のtypedefです。これにより、globals["foo"]=1;のような簡単なコードが可能になります（インタプリタ変数foo〜int, 1に設定されます）。

確かに、おおよそ同じコードを書くことができますが、はメモリを気にする必要があります。