这个完整的加法器实现是否正确？

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的值。