Aşağıdaki kodu aldım:
#include <stdio.h>
int main(int argc, char **argv) {
int i = 0;
(i+=10)+=10;
printf("i = %d\n", i);
return 0;
}
Gcc kullanarak bir C kaynağı olarak derlemeye çalışırsam bir hata alıyorum:
error: lvalue required as left operand of assignment
Ama eğer onu g ++ kullanarak bir C ++ kaynağı olarak derlersem hata almam ve çalıştırılabilir dosyayı çalıştırdığımda:
i = 20
Neden farklı davranış?
Yanıtlar:
Bileşik atama operatörlerinin anlambilgisi C ve C ++ 'da farklıdır:
C99 standardı, 6.5.16, bölüm 3:
Bir atama operatörü, soldaki operand tarafından belirlenen nesnede bir değer depolar. Bir atama ifadesi, atamadan sonra sol işlenenin değerine sahiptir, ancak bir l değeri değildir.
C ++ 5.17.1'de:
Atama operatörü (=) ve bileşik atama operatörlerinin tümü sağdan sola. Hepsi, sol işlenenleri olarak değiştirilebilir bir ldeğer gerektirir ve atama gerçekleştikten sonra sol işlenenin türü ve değeriyle bir değer döndürür.
DÜZENLEME:(i+=10)+=10 C ++ 'daki davranışı C ++ 98'de tanımsızdır, ancak C ++ 11'de iyi tanımlanmıştır. Standartların ilgili bölümleri için NPE'nin sorusuna verilen bu cevaba bakın .
(i+=10)+=10C ++ 'da tanımsız bir davranış olduğunu unutmayın , bkz. @Aix yanıtı.
int f(int &y); f(x += 10);Değiştirilmiş değişkene bir referansı bir işleve aktarmak gibi bir ortamda faydalı olurdu .
Geçersiz C kodu olmasının yanı sıra, satır
(i+=10)+=10;
isıra noktaları arasında iki kez değişiklik yapacağından hem C hem de C ++ 03'te tanımsız davranışla sonuçlanır .
Neden C ++ 'da derlenmesine izin verildiğine gelince:
[C ++ N3242 5.17.1] Atama operatörü (=) ve bileşik atama operatörlerinin tümü sağdan sola grup. Tümü, sol işlenenleri olarak değiştirilebilir bir değer gerektirir ve sol işlenenle ilgili olarak bir değer döndürür.
Aynı paragraf şunu söylemeye devam ediyor
Her durumda, atama, sağ ve sol işlenenlerin değer hesaplamasından sonra ve atama ifadesinin değer hesaplamasından önce sıralanır.
Bu, C ++ 11'de ifadenin artık tanımsız davranışa sahip olmadığını gösterir.
iUB'nin asıl nedeni , bunlarda sıralanmamış iki değişiklik olmasıdır.
i = j+=1belirsiz bir değerle sonuçlanırdı. Aynı paragraftan alıntı yaptığınız "Her durumda, atama, sağ ve sol işlenenlerin değer hesaplamasından sonra ve atama ifadesinin değer hesaplamasından önce sıralanır." Bu nedenle yapmak (i+=10)+=10için iyi tanımlanmıştır i += 10; i += 10;. Öte yandan (i+=10)+=(i+=10)UB.