>>949
戻り値があることについては、
a = (b += c);
というふうに、足した結果をさらに参照できるよううに。

戻り型が値でなく非constの参照なのは、代入結果の左辺値にさらに変更を加えることを許すためじゃないすか。
(a += b) += c;
とか。