[每日一氵] C语言中整数相加溢出检测

最新推荐文章于 2024-07-25 14:57:29 发布

氵文大师

最新推荐文章于 2024-07-25 14:57:29 发布

阅读量652

点赞数 1

分类专栏：每日一氵 leetcode 文章标签： c语言开发语言

本文链接：https://blog.csdn.net/HaoZiHuang/article/details/128672149

版权

每日一氵同时被 2 个专栏收录

159 篇文章 11 订阅

订阅专栏

leetcode

1 篇文章 0 订阅

订阅专栏

今天在做 LeetCode 7. 整数反转时，有一些坑还是蛮搞的，

https://leetcode.cn/problems/reverse-integer/

给你一个 32 位的有符号整数 x ，返回将 x 中的数字部分反转后的结果。

如果反转后整数超过 32 位的有符号整数的范围 $2^{31}, 2^{31} − 1]$ ，就返回 0。

假设环境不允许存储 64 位整数（有符号或无符号）。

1. 溢出检测

C语言中 32位 int 的取值范围是 $2^{31}, 2^{31} − 1]$

// 以下数最高位都是符号位

int max_int = 0x7fff'ffff
int min_int = 0x8000'0000

32位int，用8位十六进制来表示，由于最高位是符号位，所以32位的最高四位二进制是0111 也就是7，而其他的二进制位都是1，所以最大就是 0x7fff'ffff，再加一位就溢出，也就是说最小的数是0x8000'0000，所以只要保证两数相加之后在0x8000'0000和 0x7fff'ffff 之间即可

也就是两数a和b相加，要满足以下不等式

int a;
int b;

a + b <= max_int
a + b >= min_int

假如 a b 都是正数，如直接相加则会可能会溢出，所以将b移动到不等式右侧：

a <= max_int - b

max_int 是最大的正数，减去正数一定不会溢出，所以根据这个来判断即可

假如 a b 都是负数，如直接相加则会可能会溢出(下溢)，所以将b移动到不等式右侧：

a >= min_int - b

min_int 是最小的负数，减去负数一定不会溢出，所以根据这个来判断即可

假如 a b 一正一负，则一定不会溢出，来举个例子，不妨设a正，b负
则一定有

b <= 0 =< max_int - a
a >= 0 >= min_int - b

若存在ab存在0，则一定不会溢出( 好似一句废话hhh )

总结一下，异号不用检测溢出，同号需要进行对应符号方向的溢出检测

(之后的内容与标题无关，但可能和 leetcode 有关)

2. 异或与幂运算

C语言中，^ 是异或的意思，Python中^也是异或的意思，只有matlab中^ 是幂运算，C语言要借助 pow 函数做幂运算，而Python幂运算中为**符号

3. C语言中负数求余操作

C语言中负数求余操作

#include <stdio.h>

int main()
{
   /*  Write C code in this online editor and run it. */
	int x = 10%3;
	int y = 10%(-3);
	int z = (-10)%(3);
	int a = (-10)%(-3);
    printf("%d\n", x);  //  1
	printf("%d\n", y);  //  1
	printf("%d\n", z);  // -1
	printf("%d\n", a);  // -1
   
   return 0;
}