如何用指定位运算实现判断x≤y的C语言函数？

我需要实现一个C语言函数，用于判断整数x是否小于等于y。允许使用的运算符仅为!、~、&、^、|、+、<<、>>，要求当x≤y时返回1，否则返回0。我的思路是判断x-y是否为负数，将结果右移31位后与1比较，但无论如何调整，预期返回1时总是返回0。目前我的代码如下：

int isLessOrEqual(int x, int y) {
return (((x - y) >> 31) & 1) | (!(x^y));
}

我还尝试了以下多个return语句：

return (!(x^y)) | (((x+(~y+1)) >> 31 ) & 1);
return ~(((x+(~y+1)) >> 31 ) & 1) |  (!(x^y));
return !(((x+(~y+1)) >> 31 ) & 1) |  (!(x^y));
return (((x+(~y+1)) >> 31 ) & 1);

return (((x+y+(~1)) >> 31 ) & 1) |  (!(x^y));
return (((x+y+(~1) >> 31 ) & 1) |  (!(x^y));
return (((x+(~y+1)) >> 31 ) & 0);

核心问题分析 #

你的思路本质是通过x-y的符号位判断大小，但存在两个致命问题：

1. 整数溢出导致判断错误
   当x和y取int类型的极值时，x-y会触发溢出行为。例如：

   • 若x=INT_MIN，y=INT_MAX，x-y的实际值超出int范围后会溢出为正数，右移31位得到0，错误判断x>y（实际x<y）；
   • 若x=INT_MAX，y=INT_MIN，x-y溢出后变成负数，右移31位得到1，错误返回1（实际x>y应返回0）。

2. 逻辑位操作的返回值不符合要求
   部分尝试中使用~运算符，比如~(((x+(~y+1)) >> 31 ) & 1)，其结果是0xFFFFFFFE（即-2），虽然非0，但不符合题目要求的返回1或0的规范，会导致调用方判断混乱。

正确实现方案 #

要避免溢出问题，需要分同符号和异符号两种情况处理：

• 当x和y同符号时，x-y不会溢出，可直接通过符号位判断大小；
• 当x和y异符号时，x≤y等价于x是负数、y是正数。

代码实现：

int isLessOrEqual(int x, int y) {
    // 用补码计算x-y：x + (~y + 1)
    int sub = x + (~y + 1);
    // 获取x-y的符号位：1表示负数（x<y），0表示非负（x>=y）
    int sub_neg = (sub >> 31) & 1;
    // 判断x和y是否同符号：1表示同符号，0表示异符号
    int same_sign = !((x ^ y) >> 31);
    // 判断x是否等于y：1表示相等，0表示不等
    int equal = !(x ^ y);
    // 异符号时，x<=y的条件是x为负、y为正
    int diff_case = (x >> 31) & 1;
    
    // 组合两种情况的结果：同符号时取sub_neg（x<y）或equal（x==y）；异符号时取diff_case
    return (same_sign & (sub_neg | equal)) | (!same_sign & diff_case);
}

验证逻辑 #

• 同符号场景：x=3，y=5，sub=-2，sub_neg=1，返回1&(1|0)=1；
• 异符号场景：x=-3，y=5，same_sign=0，diff_case=1，返回0 | 1=1；
• 溢出场景：x=INT_MIN，y=INT_MAX，same_sign=0，diff_case=1，返回1（正确）；x=INT_MAX，y=INT_MIN，same_sign=0，diff_case=0，返回0（正确）。

内容的提问来源于stack exchange，提问作者privatename