C 中的有符號整數溢位仍然是未定義的行為嗎？

C 中的有符號整數溢位：仍然未定義的行為

正如C 11 cstdint 文件中所強調的，有符號整數型，例如int8_t、int16_t 、int32_t 和int64_t 利用 2的補碼表示負數價值觀。這引發了一個問題：這是否意味著這些類型中的溢出不再被視為未定義行為？

不，這些類型的溢位在 C 中仍然是未定義行為。

根據C 11 標準第5/4 段，任何結果未在數學上定義或超出類型可表示範圍的表達式都會導致未定義

雖然int8_t、int16_t、 int32_t 和int64_t 使用2 的補碼，但這並不意味著應用算術模2^n。標準明確指出：

「無符號算術運算的結果總是'數學定義的'，並且結果始終在可表示的範圍內；因此，5/4 不適用。」

因此，無符號算術遵循模2^n 算術定律，溢出不是未定義的行為。然而，對於有符號算術，溢出仍然是未定義的行為，無論底層表示如何。

以上是C 中的有符號整數溢位仍然是未定義的行為嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！