這個完整的加法器實現是否正確？

Question

有this後，最近收到upvotes的一些顯着的一堆，詢問有關C.
的+操作它顯示了以下實現：

// replaces the + operator 
int add(int x, int y) { 
    while(x) { 
     int t = (x & y) <<1; 
     y ^= x; 
     x = t; 
    } 
    return y; 
} 

巧合的是，我寫了一個實現自己太（一算法書練習），並提出了：

uint32_t bit_add(uint16_t a, uint16_t b) { 
    uint32_t carry = ((uint32_t) a & b) << 1; 
    uint16_t add = a^b; 

    return carry^add; 
} 

我測試了幾次，它似乎工作。事情是，它比引用的文章中的實現快得多，在x86上沒有任何跳轉。

我的執行是正確的還是有什麼問題我不知道？
我無法想象我的代碼比經常看到和審查的帖子的代碼更快。

Answer 1

您的功能不起作用。

一個簡單的反例是127 + 1.

這很容易看出。 127號將所有最少的7位設置爲1. And用數字1表示，並將它向左移一位，將給出數值2.從此開始，使用運算符xor，沒有可用的值的組合，可以產生大於127的值。