c - 「データ型の範囲が限られているため、比較は常に真です」というCの警告?

Question

次のコードがあります

//Point.h
#define WIDTH 8
#define HEIGHT 8

typedef struct Point
{
  char x;
  char y;
} Point;

//Board.c
#include <stdbool.h>

// Some other functions that we don't care about... 

bool inBounds(Point * p)
{
  return p->x >= 0
    && p->x <= WIDTH
    && p->y >= 0
    && p->y <= HEIGHT;
}

これ (ppu-gcc 4.1.1) をコンパイルすると、次の警告が表示されます。

warning: comparison is always true due to limited range of data type

char の範囲は -127 から 127 で、WIDTH は 8 ですが、これは十分に char の範囲内です。WIDTH を char に明示的にキャストしようとしましたが、それでもエラーが発生します。

Answer 1

それcharは署名されていますか？フィールドを明示的に宣言してみて、signed char何が得られるかを確認してください。

Answer 2

として実装されている可能性があるx >= 0ため、警告が発生すると思います。charunsigned char

Answer 3

char型は符号付きまたは符号なしの場合があります。コンパイラ ベンダーの選択によって異なります。利用可能なコンパイラ オプションさえあるかもしれません。明らかに、char署名されていないため、常にゼロ以上であるため、コンパイラは警告します。

charここでは、「最小限のメモリを消費する数値型」を表すために使用しています。その場合、signed charorを明示的に使用することをお勧めしunsigned charます。(署名付きまたは署名なしのいずれかである必要がありますが、それぞれが plain とは異なります。) 文字データを保持している場合に備えて予約charしてください。数値データの場合は、他の 2 つのタイプのいずれかを使用します。charchar

Answer 4

うーん...あなたのcharはデフォルトで署名されていませんか？その場合、範囲は 0 ～ 255 になります。つまり、>=0 の比較は常に true になります。

Answer 5

C および C++ 標準では、プラットフォームとコンパイラに応じて、文字型 char を符号付きまたは符号なしにすることができます。x86 GNU/Linux および Microsoft Windows を含むほとんどのシステムは、signed char を使用しますが、PowerPC および ARM プロセッサに基づくシステムは通常、unsigned char を使用します。チャーの。

Answer 6

これを試して：

typedef struct Point
{
  signed char x;
  signed char y;
} Point;