Операция присваивания

Имеется ряд операций присваивания, каждая из которых

группируется слева направо. Все операции требуют в качестве

своего левого операнда L-значение, а типом выражения присва-

ивания является тип его левого операнда. Значением выражения

присваивания является значение, хранимое в левом операнде

после того, как присваивание уже будет произведено. Две час-

ти составной операции присваивания являются отдельными лек-

семами.

Выражение-присваивания:

L-значение = выражение

L-значение += выражение

L-значение -= выражение

L-значение *= выражение

L-значение /= выражение

L-значение %= выражение

L-значение >>= выражение

L-значение <<= выражение

L-значение &= выражение

L-значение ^= выражение

L-значение \!= выражение

Когда производится простое присваивание C'=', значение

выражения заменяет значение объекта, на которое ссылается

L-значение. Если оба операнда имеют арифметический тип, то

перед присваиванием правый операнд преобразуется к типу ле-

вого операнда.

О свойствах выражения вида E1 оп = E2, где Oп - одна из

перечисленных выше операций, можно сделать вывод, если

учесть, что оно эквивалентно выражению E1 = E1 оп (E2); од-

нако выражение E1 вычисляется только один раз. В случае опе-

раций += и -= левый операнд может быть указателем, причем

при этом (целочисленный) правый операнд преобразуется таким

образом, как объяснено в п. 15.4; все правые операнды и все

отличные от указателей левые операнды должны иметь арифмети-

ческий тип.

Используемые в настоящее время компиляторы допускают

присваивание указателя целому, целого указателю и указателя

указателю другого типа. такое присваивание является чистым

копированием без каких-либо преобразований. Такое употребле-

ние операций присваивания является непереносимым и может

приводить к указателям, которые при использовании вызывают

ошибки адресации. Тем не менее гарантируется, что присваива-

ние указателю константы 0 дает нулевой указатель, который

можно отличать от указателя на любой объект.