字符串- 字符串转换整数 (atoi)

题目:

https://leetcode.cn/problems/string-to-integer-atoi/description/

代码

cpp 复制代码
/*
参数:字符串
返回值:转换为的32为有符号整数;
*/
int myAtoi(string s) {
    int n = s.size();
    //1、去除前导空格
    int i = 0;
    while (i < n && s[i] == ' ') {
        i++;
    }
    //2、检查符号;
    int sign = 1;
    if (i< n &&(s[i] == '-' || s[i] == '+')) {
        sign = (s[i] == '-') ? -1 : 1;
        i++;
    }
    //3、读数,读到非数字或到达字符串末尾
    int result = 0;
    while (i < n && isdigit(s[i])){
        int digit = s[i] - '0';
        // 检查溢出(处理 INT_MAX 和 INT_MIN 的边界)
        if (result > (INT_MAX - digit) / 10) {
            return (sign == 1) ? INT_MAX : INT_MIN;
        }
        result = result * 10 + digit;
        i++;
    }
    return sign * result;
    
}

分析:

1、分析越界设计

if (result > (INT_MAX - digit) / 10) {

return (sign == 1) ? INT_MAX : INT_MIN;

}

这里的分析越界的设计比较有意思,

越界的可能出现在result值变更的某个时机,在这时机之前我们先进行安全性判断;
2、为什么用 result > (INT_MAX - digit) / 10 来判断?

这是为了避免在判断过程中本身就发生溢出。

假设我们直接判断 result * 10 + digit > INT_MAX,当 result 很大时,result * 10 可能已经超过 INT_MAX,导致计算过程中就发生溢出(例如 result = 214748365 时,result * 10 已经是 2147483650,超过 INT_MAX 的 2147483647),此时的判断结果是不可靠的。

通过数学变形可以避免这个问题:

result * 10 + digit > INT_MAX

→ 移项得:result * 10 > INT_MAX - digit

→ 两边除以 10(因都是正数,不等号方向不变):result > (INT_MAX - digit) / 10

这样的变形确保了所有计算都在 INT_MAX 范围内进行,不会发生中间溢出,判断更安全。

3. 为什么没有单独判断 result * 10 + digit < INT_MIN 也能生效?

==》

对于正数,精确判断是否超过 INT_MAX;

对于负数,通过 "判断是否超过 INT_MAX" 来覆盖 "超过 INT_MIN 绝对值" 的场景。

其实因为INT_MIN绝对值和INT_MAX绝对值只差1,因为结果是整数,不是小数,超过INT_MAX之后下一个数就是INT_MIN的绝对值了,即事实上本来就得返回INT_MIN,所以无误差

相关推荐
先吃饱再说11 小时前
判断回文字符串,从一行代码到双指针优化
算法
黄敬峰14 小时前
深入理解算法核心:从递归思想、数组扁平化到快速排序
算法
得物技术15 小时前
从狂野代码到按目标生产:得物推荐 AI Harness 的工程化实践|AICon 演讲整理
人工智能·算法·架构
AI小老六19 小时前
SkillOpt 架构拆解:把 Skill 文本当参数,用执行轨迹训练 Agent
后端·算法·ai编程
胡萝卜术19 小时前
从“分数打架”到“排名投票”:为什么你的ChatBI必须用RRF?
算法·设计模式·面试
Asize20 小时前
初识DFS 与 BFS:递归、队列与图遍历
算法
罗西的思考1 天前
机器人 / 强化学习】HIL-SERL:人类在环驱动的具身智能进化框架
人工智能·算法·机器学习
CSharp精选营1 天前
关系型 vs 非关系型:从原理到选型,一文搞定数据库核心分类
数据结构·nosql·关系型数据库·非关系型数据库·技术选型
美团技术团队2 天前
LongCat 开源 VitaBench 2.0:长期动态智能体基准新标杆
人工智能·算法