8

私は学校で C を学び始めたばかりで、基本的な概念を把握しようとしています。

私たちの宿題には質問があります。

すべてのためのint x: x+1 > x

真か偽かを判断し、真なら理由を、偽なら反例を挙げてください。

int 型は 32 ビットであり、基本的には整数がバイナリ形式であることを意味すると教えられたので、私は混乱しています。x+1 は 10 進数の 1 に 1 を加えたものですか?

4

4 に答える 4

25 
x + 1 > x

は、 がオーバーフローであるため、の値の未定義の動作であるvalue を除く1すべての値です。intINT_MAXINT_MAX + 1x + 1 > xxINT_MAX

これは実際には、コンパイラが式を最適化する権利を持っていることを意味します。

x + 1 > x

に

1

INT_MAX + 1未定義の動作であるため、コンパイラには、この特定の式が であると言う権利が>ありINT_MAX + 1ます> INT_MAX。

式はのx + 1 > x未定義の動作であるため、 false ( ) である可能性があるx == INT_MAXと想定することも安全ではありません。x + 1 > x0

if が anではなく anxとして宣言されていることに注意してください。状況はまったく異なります。オペランドがオーバーフローすることはありません (ラップアラウンドします)。したがって、他のすべての値が対象となります。unsigned intintunsigned intUINT_MAX + 1 == 0x + 1 > x0x == UINT_MAX1x

最近のコンパイラ ( などgcc) は通常、この式を最適化して に置き換え1ます。

記録として、次のようなコードを使用する既知のサーバー プログラムには、重大なセキュリティ上の問題がいくつかありました。

 if (ptr + offset < ptr)

コードは安全条件をトリガーすることを意図していましたが、コンパイラーはif(式を に置き換えることによって) ステートメントを最適化し0、攻撃者がサーバープログラムで特権エスカレーションを取得することを可能にしました (覚えていれば、悪用可能なバッファーオーバーフローの可能性を開くことによって)。正しく）。

于 2013-07-05T20:52:40.943 に答える
4

32 ビットの数値範囲については、[-2 31 , 2 31 -1 ] [-2147483648, 2147483647]に等しいことに注意してください。

したがって、式x+1 > xは真です[-2147483648, 2147483646]

しかし、32ビットサイズの数値に2147483647追加するとビットオーバーフローが発生するため、多くの実装ではそうではありませんが、実際の動作はC標準では未定義です。 2147483647x + 1-2147483648

そう、

  • x + 1 > xのみxに 真[-2147483648, 2147483646]
  • x + 1 > x 、 for x = 2147483647 is Undefined 値は、コンパイラによって True または False の場合があります。コンパイラが計算する場合、=-2147483648値は False になります。
于 2013-07-05T20:58:45.443 に答える
2

答えを教えたくないので、あなたが正しい方向に進むように質問をして返信します.

32 ビットの符号付き整数に格納できる最大値はx + 1いつですか? x(2,147,483,647)

于 2013-07-05T20:52:27.247 に答える