参照渡しの変数の実装

Question

YACCとLEXで参照渡しされるパラメータを持つ関数を解析する方法を実装する必要があります。 Exemple：

int main(){ 
int a = 5; 
f(a); 
printf(a) 
return 0; 
} 

f(passed_by_reference int b){ 
b++; 
} 

私は、シンボルテーブルを使用するようにしようと試みたが、変更が失われるので、テーブルにそれらは、aとbのように保存されるので、変数aと変数bと一致することはできません。

Answer 1

構文解析に関しては、キーワードpassed_by_reference を関数パラメータの修飾子として認識するだけで済みます。

次に、セマンティクスで、関数呼び出しを関数定義にバインドするときに、値ではなく参照によってパラメータに引数をバインドします。どのようにするかは、セマンティクスをどのように実装するかによってまったく異なります。パーサーが作成したIRやASTを解釈していますか？あるいは、いくつかのターゲット実行モデルのためのコードを生成していますか？

---

_{より一般的に、あなたはinoutや&を使用します。}