int a, b için, a ve b'dan biri doğru olduğunda, a/b ve a % b'un sonucu makineye bağımlıdır. Fakat b sıfır olmadığında her zaman (a/b * b) + a % b == a mu var?b sıfır olmadığında her zaman (a/b * b) + a% b == a `var mı?
C++ 11 § 5.6 [expr.mul]/4 belirtir:
bölüm
,a/bsonucun türü temsil ise(a/b)*b + a%baeşittir.
C11 §6.5.5/6 biraz farklı ifade ediliş ile aynı belirtir: bölüm a/b sunulabilen
, ifade
(a/b)*b + a%baeşit olacaktır; aksi halde,a/bvea%b'un davranışı tanımsızdır. b` sıfırdan farklı olduğunda `sen demek istiyorsunuz ne
"Bölümün gösterilebiliyorsa" maddesinin şart olduğunu unutmayın. Örneğin, 'a == INT_MIN' ve 'b == - 1 'ise, eşitlik yanlıştır (ve davranış tanımsızdır). –
@R .. - bu ikilik tamamlayıcı gösterimi için geçerlidir, ancak büyüklük açısından değil. Tamamlayıcılar hakkında emin değilim. Üçü de C ve C++ için geçerli tamsayıdır. –
Üzgünüm, genel olarak yanlış olduğunu kastediyorum çünkü ikilinin tamamlayıcısı bir olasılık. Aynı zamanda uygulamada yanlıştır, çünkü tamamlayıcılar ve işaret/büyüklük uygulamaları mevcut değildir. –
' hep have' ve tip işaretsiz tipi ise ne tür, Nitekim a ve b –
vardır, eşitlik daima tutar. –