reference

h1. C++ の参照について

XcodeML の仕様の問題として、 Var と varAddr を使って変数とポインタを表していることがある。 この思想に沿うなら、 C++ の参照も varAddr として表現することになるが、 int &f(); のような関数の返すリファレンスをつかって f() = 1; と書ける状況を varAddr で表現するのは果たして可能か、可能だとして適切か？