char_x <（char_y + 1）== char_x <= char_y？

Question

こんにちは、私はこの出くわしたとき、私は（java.lang.Character）Javaのソースコードの一部を拾い読みしてすべて：

public static boolean isHighSurrogate(char ch) { 
    return ch >= MIN_HIGH_SURROGATE && ch < (MAX_HIGH_SURROGATE + 1); 
} 

public static boolean isLowSurrogate(char ch) { 
    return ch >= MIN_LOW_SURROGATE && ch < (MAX_LOW_SURROGATE + 1); 
} 

私は作家が上限に1を追加しなかった理由不思議とあまりよりも比較をしていました、単により小さいか等しい比較を行う代わりに？

読みやすくするために役立つかどうかは分かりますが、この場合はそうではないようです。

私は上記のコードと、この違いだと思いまして：

public static boolean isHighSurrogate(char ch) { 
    return ch >= MIN_HIGH_SURROGATE && ch <= MAX_HIGH_SURROGATE; 
} 

public static boolean isLowSurrogate(char ch) { 
    return ch >= MIN_LOW_SURROGATE && ch <= MAX_LOW_SURROGATE; 
} 

Answer 1

おそらく著者は、すべてが半開きの範囲にすることがDijkstra's adviceと一致するようにしようとしている - 開始点は、包括的ですエンドポイントは排他的です。

あり、ここでない意味的な違いはないが、バイトコードの微妙な違い：(ch + 1)は、第二は、2つのcharcharとの比較を行いながら、第1のコードスニペットをintintと比較することによってcharcharと比較し、続いてないintあります。これは意味の違いにはなりません。暗黙のキャストはより広範な型になります。したがって、いずれかのコードスニペットでオーバーフローするリスクはありません。私は1つを好む任意の特定の性能の理由が表示されないよう

JITによって行わ最適化の種類の範囲内である付加を最適化し、2バイトの符号なしint比較に戻すintintとの比較を変換他のものよりも。

私は途中でchがchは外の値の範囲内でテストされている読者にはそれが明らかになり、そのよう

MIN_LOW_SURROGATE <= ch && ch <= MAX_LOW_SURROGATE 

としてこの種のものを書くことが多いです。

Answer 2

2つの異なる実装のうちの1つの利点が実際にはないので、コーディングの2つの方法の間にはまったく違いはなく、好きなだけの好みの問題だと思います。

私はなぜ作家が1つを上限に付け加えて、単純により小さいか等しい比較をするのではなく、より少ないものを比較したのだろうと思いましたか？

つまり、なぜ2番目の選択肢が好きですか？ここで何かが恋しい？

Answer 3

著者はC++またはアセンブラの人間でした。

> =>よりも速く、実行するのが速い< = <より速くなります。実際には、< bを書くとコンパイラは< = b + 1となるため、使用可能なアセンブリ命令は< =となるため、加算と比較が行われます。その和を手作業でコードに書き込むと、C++コンパイラはコンパイル時に実際の結果の値でMIN_HIGH_SURROGATE + 1を変更します。だからあなたは指示とサイクルを得る。

しかし、この奇妙な推論は、C++やCやASMなどのコンパイル済みコードに対してのみ適用されます。

EDIT

上記の等価演算子のそれぞれの命令は（私が間違っていた）がありますが（必要であれば）、彼らはすべての減算とに煮詰めるマイクロコードで追加。次に、プロセッサは結果の符号ビットをチェックします。したがって、上記のコードの定式化はさらに高速になります。

1を加算するときにオーバーフローがないことを確認するために、マイクロプロセッサは最初に減算して加算します。

Answer 4

ワイルド推測

サロゲート文字、基本 多言語面を超えて文字を表現するために、UTF-16でペアで を使用しているUnicodeのコードポイントの範囲のいずれか。

私の見解では、彼は8ビットのものを無視したいと考えました。つまり、最大値が0xFFだった場合です。 0xFF + 1はオーバーフローし、0x00に戻ります。比較を常に偽にする。

コードが8ビットの文字でコンパイルされている場合。 UTF-16の範囲外では常にfalseを返しますが、8ビットを超える文字をコンパイルすると0xFF + 1は0x100になりますが、それでも動作します。

これはあなたのためにいくつかの喜びをもたらします。