【剑指Offer】 48.不用加减乘除做加法

题目描述

写一个函数，求两个整数之和，要求在函数体内不得使用+、-、*、/四则运算符号。

用例

输入	输出	分析
12，8	20	12的二进制：1100，8的二进制：1000

解题思路

回顾十进制加法原理

以 5 + 7 = 12 为例，分步走：

1. 相加各位的值，不算进位，得到2。
2. 计算进位值，得到10。如果这一步的进位值为0，那么第一步得到的值就是最终结果。
3. 重复上述两步，只是相加的值变成上述两步的得到的结果2和10，得到12。

相同思想运用于二进制加法运算

同样我们可以用三步走的方式计算二进制值相加，5 = 101，7 = 111：

1. 相加各位的值，不算进位，得到 010，二进制每位相加就相当于各位做异或操作，101 ^ 111。
2. 计算进位值，得到 1010，相当于各位做与操作得到 101，再向左移一位得到 1010，(101 & 111) << 1。
3. 重复上述两步， 各位相加 010 ^ 1010 = 1000，进位值为 100 = (010 & 1010) << 1 。

Python 代码

# -*- coding:utf-8 -*-
class Solution:
    def Add(self, num1, num2):
        # write code here
		# 由于题目要求不能使用四则运算，那么就需要考虑使用位运算
        # 两个数相加可以看成两个数的每个位先相加，但不进位，然后在加上进位的数值
        # 如12+8可以看成1+0=1 2+8=0，由于2+8有进位，所以结果就是10+10=20
        # 二进制中可以表示为1000+1100 先每个位置相加不进位，
        # 则0+0=0 0+0=0 1+0=1 1+1=0这个就是按位异或运算
        # 对于1+1出现进位，我们可以使用按位与运算然后在将结果左移一位
        # 最后将上面两步的结果相加，相加的时候依然要考虑进位的情况，直到不产生进位
        # 注意python没有无符号右移操作，所以需要越界检查
        # 按位与运算：相同位的两个数字都为1，则为1；若有一个不为1，则为0。
        # 按位异或运算：相同位不同则为1，相同则为0。
        while num2:
        	# 0xffffffff==4294967295==2**32-1
        	result = (num1 ^ num2) & 0xffffffff  # 得到负数的补码表示。因为在计算机中，负数都是按补码进行运算
            carry = ((num1 & num2) << 1) & 0xffffffff # 得到负数的补码表示
            num1 = result
            num2 = carry
        # 正数：原码等于补码
        if num1 <= 0x7fffffff:
        	# 0x7fffffff==2147483647==2**31-1
            result = num1
        # 负数：补码等于原码取反加1
        else:
        	# 负数怎么通过补码计算原码：补码取反加1，补码的补码就是原码
        	# 此处有一个规律：
			# ~n = -(n+1)
        	# ~(num1^0xffffffff)=-((num1 ^ 0xffffffff)+1)
            result = -((num1 ^ 0xffffffff)+1)  # 取反加1添负号
        return result

s = Solution()
res = s.Add(12, 8)
print(res)

Python 中正负数的判断及其还原
正数与边界数 0xffffffff 按位与（&） 操作后 仍得到这个数本身：

print(15 & 0xffffffff) # 15

负数与边界数按位与（&） 操作后 得到的是对应二进制数的真值：

print(-7 & 0xffffffff) # 4294967289
# 得到负数的补码
print(bin(-7 & 0xffffffff))  # 0b11111111111111111111111111111001
# 负数的补码还原成原码
print(~((-7 & 0xffffffff) ^ 0xffffffff))  # -7

print(-15 & 0xff) # 241

241 对应的二进制数为： 11110001，8 位状态下 -15 的补码。

通过查看符号位（最高位，即与 0x7ffffffff ）判断a为正数还是负数，正数则直接返回。负数则返回-((num1 - 1) ^ 0xffffffff)（减1再取反）。

---

所以二进制中1的个数的题目利用了这个技巧，将负数转化为正数，而它们的二进制形式是相同的，而对正数的二进制进行操作非常简单清晰，统计到这个正数二进制形式中1的个数就是原来负数的二进制形式中1的个数，这样就可以消除负数的影响。 python中，对于负数，无论是右移操作，还是n&（n-1）操作，都会陷入死循环。右移操作是由于负数的最高位总要设为1，最终会变为0xffffffff而陷入死循环。

要注意Python没有无符号又移操作，所以需要越界检查。