如何实现不依赖比较和条件判断的min函数？
- 内容介绍
- 相关推荐
本文共计894个文字，预计阅读时间需要4分钟。
pythondef min_function(a, b): return a if a
示例：测试min函数print(min_function(10, 20)) # 应输出10print(min_function(-5, 3)) # 应输出-5
不使用比较和条件判断实现min函数，参数为两个32位无符号int。
面试的时候遇到的题目，感觉很有意思。
搜了一下多数现有的解法都是仅有两种限制之一，即要么仅要求不能使用比较，要么仅要求不能使用条件判断，于是打算写一下一种能兼顾两种限制的实现方法。
需要注意的是，条件判断当然也包含三目表达式、switch-case语句甚至abs等隐含条件分支的语法糖或标准库函数，除非能够不借助条件分支实现（例如没有条件分支的abs：参考链接）。
Solution基本思想很简单，在二进制表示下从高位开始逐位比较，相同的位置可以直接忽略，直到遇到第一个不相同的位置，大小关系就决定了。譬如比较
a=011010
b=010110
时，从高位至低位比较到第三位时两数不同。此时必定是较大者 a 此位为 1，较小者 b 此位为 0，记此位为符号位 sign_a, sign_b。
实际上此时我们已经分辨出两数的大小，再想办法将较大者的信息抹掉即可。方法是分别将 a, b 剩余的每一位都与符号位相或，此时较大者 a 后半部分变为全 1，而较小者 b 不变，将两者相与，其结果等于 b，求得min。
本文共计894个文字，预计阅读时间需要4分钟。
pythondef min_function(a, b): return a if a
示例：测试min函数print(min_function(10, 20)) # 应输出10print(min_function(-5, 3)) # 应输出-5
不使用比较和条件判断实现min函数，参数为两个32位无符号int。
面试的时候遇到的题目，感觉很有意思。
搜了一下多数现有的解法都是仅有两种限制之一，即要么仅要求不能使用比较，要么仅要求不能使用条件判断，于是打算写一下一种能兼顾两种限制的实现方法。
需要注意的是，条件判断当然也包含三目表达式、switch-case语句甚至abs等隐含条件分支的语法糖或标准库函数，除非能够不借助条件分支实现（例如没有条件分支的abs：参考链接）。
Solution基本思想很简单，在二进制表示下从高位开始逐位比较，相同的位置可以直接忽略，直到遇到第一个不相同的位置，大小关系就决定了。譬如比较
a=011010
b=010110
时，从高位至低位比较到第三位时两数不同。此时必定是较大者 a 此位为 1，较小者 b 此位为 0，记此位为符号位 sign_a, sign_b。
实际上此时我们已经分辨出两数的大小，再想办法将较大者的信息抹掉即可。方法是分别将 a, b 剩余的每一位都与符号位相或，此时较大者 a 后半部分变为全 1，而较小者 b 不变，将两者相与，其结果等于 b，求得min。