reference

C++ の参照について

XcodeML の仕様の問題として、 Var と varAddr を使って変数とポインタを表していることがある。 この思想に沿うなら、 C++ の参照も varAddr として表現することになるが、

int &f();

のような関数の返すリファレンスをつかって

f() = 1;

と書ける状況を varAddr で表現するのは果たして可能か、可能だとして適切か？