《TCP/IP 详解卷2》代码疑点解析

图8-28：

#define ADDCARRY(x)  (x > 65535 ? x -= 65535 : x)
#define REDUCE {l_util.l = sum; sum = l_util.s[0] + l_util.s[1]; ADDCARRY(sum);}

这段代码的意图是把高16位的值加到低16位上，但是通过减去 65535 就能达到相同的目的吗？图8-27的代码就比较符合直觉：

sum = (sum & 0xFFFF) + (sum >> 16);

通过一个示例来验证下图8-28的代码能否实现对应的意图：

#include <stdio.h>

union {
    unsigned short s[2];
    int            l;
} l_util;

int main()
{
    l_util.s[0] = 0xF800;
    l_util.s[1] = 0xF500;
    
    printf( "%x\n", l_util.l );
    
    int sum = l_util.s[0] + l_util.s[1];
    printf( "%x\n", sum );
    
    sum > 65535 ? sum -= 65535 : sum;
    printf( "%x\n", sum );
    
    return 0;
}

编译运行结果为：

[tortoise@galaxy test]$ ./test
f500f800
1ed00
ed01
[tortoise@galaxy test]$ 

结果是正确的！

减去 65535 实际上就是加上 -65535 的补码：FFFF0001 。两个 unsigned short 型的整数相加，只能产生一个进位，所以当 x > 65535 时就相当于：

x - 65535 = x + FFFF0001 = 0001**** + FFFF0001 = 0000**** + 00000001