関数の引数としては理解できるが、でもABIと最適化の問題な気もする。
戻り値としての実装がどうなってるか理解していない訳だが…。ようは参照のように使えるポインタであり、"."と"->"の区別の無いD言語には不要と考えて良いのだろうか? と思ったけどa = bと*a = *bの違いまでは吸収できないから駄目か。値型aの*aをaと同じにするとどうなる? ダブルポインタが駄目か。新しいシンタックスを作るのでどうだろう。いや、ダブルポインタ考慮する必要あるのだろうか? 後でDEXで実装してみるか。その他にも型自体が同じになるという利点もあるが、どうせその前にコピーコンストラクタが呼ばれるんだろうし(未確認だが)、ポインタでも。ポインタでのa = *bがa = bで暗黙的にできるというのも特徴か。これもDEXで実装してみるか。ポインタでも、いやでもうーむ。
ポインタな配列が問題と。一つしか指さないポインタ型があるとどうなるか。
