底層對於 *2 與 /2 的問題

在 When is x/2 different from x>>1? 這篇文章裡面討論了一個 optimization 的問題:

x*2 ≡ x<<1
x/2 ≡ x>>1

當數字是正的時候,這是正確的。但當數字是負的時候就會產生不定時炸彈…