C++ - 右シフトではない評価を正しく内部IF

Question

I次のコード、

if (index > ((v.size() >> 1) - 1)) { } 

v.size（）0で、インデックスは実行があればブロックに入らない1ですがあります。しかし、上記のコードを

int limit = (v.size() >> 1) - 1; 
if (index > limit) { } 

に変更し、同じ値のv.size（）とindexを使用すると、実行はifブロックに入ります。

この現象はなぜ発生しますか？ありがとう。

Answer 1

あなたは明らかに符号なし比較を実行しています。返される型はv.size()で、size_t（符号なし整数）です。したがって、式(v.size() >> 1) - 1は、可能な限り大きな符号なし整数を生成します。これを符号付き整数型に変換しない限り、正の比較結果は得られません。

if (index > (((ssize_t)v.size() >> 1) - 1)) { } 

---

私はそのタイプは、任意のsize_t値を保持することができるように保証されているので、ssize_t使用した場合、負にそれを再解釈している：

減算前ssize_tへの単純なキャストはあなたの問題を解決しますその最上位ビットがセットされる。 intは、通常64ビットプラットフォームでは32ビットしかないので、これは言い難い。したがって、2番目の例のようにintを使用すると、いくつかのビットを切り捨てる可能性があります。