Здравствуйте Андрей Тарасевич, Вы писали:

АТ>Во-вторых, в С++ функциональность оператора '+=' никогда и нигде не эмулируется через сложение с присваиванием. '+=' — это совершенно самостоятельный оператор. За такие трюки писателям компилятора надо бить по рукам. Хотя, пропертям, как известно, закон не писан...

В каком смысле "не эмулируется"? В простых случаях реализация одинаковая:

        
int a = 0;
a++; a+=1; a=a+1;

Здесь реализация операций ++, +=, a=a+1 совершенно одинаковая.