なぜ UINT_MAX+1 は 0u になりますか？

Question

C言語で UINT_MAX+1 という式は、0u になる、というのをよく見かけるのですが、それはなぜでしょうか？

まず、1は通常の算術型変換により、1uに型変換されるので、符号無し整数同士の加算となりますよね。
C99では未定義で、C11では確実に0uになりますか。

Answer 1

符号無し整数同士の加算となりますよね。

はい。

C99では未定義で、C11では確実に0uになりますか。

いえ、符号なし整数については、「最大値+1」を法とする演算になることが、C99でも保証されています。

符号無しオペランドを含む計算は，決してオーバフローしない。すなわち，結果を符号無し整数型で表現できないときは，その型で表現しうる最大値より1だけ大きい数を法とする剰余を結果とする。 ―JIS X 3010:2003（C99） §6.2.5 型より

Comments

[maisumakun]

一方で、符号付き整数がオーバーフローした際の動作は未定義です。

[tails]

見落としてたみたいです！
すみません、ありがとうございました。

Answer 2

それはなぜでしょうか？

ラップアラウンドのためですね。
参考: https://www.jpcert.or.jp/sc-rules/c-int30-c.html

C99では未定義で、C11では確実に0uになりますか。

C99の時点でも同じ記述がありますので、いずれも 0u で良いと思います。

Comments

[tails]

見落としてました。
ありがとうございました！