【C++提高】高精度减法

前言

一天，你在洛谷开心的刷着算法题，突然见到这么一道题。P2142

其余背景与

【C++提高】高精度加法-CSDN博客

一样。所以就不打了:#:^~^:#:

一、高精度减法概述

在计算机科学中，高精度运算是指处理超出基本数据类型（如 int、long long）表示范围的整数或浮点数的运算。与高精度加法类似，减法也需要通过模拟手工竖式计算的方式逐位处理，但涉及借位操作，逻辑更为复杂。

二、代码整体结构与思路

首先，我们来看代码：

#include<bits/stdc++.h>
using namespace std;
string a,b;
int main(){
    cin>>a>>b;
    bool isf=false;
    if(a.length()!=b.length()){
        if(a.length()<b.length()){
            string t=a;
            a=b;
            b=t;
            isf=true;
        }
    }
    else{
        if(a==b){
            cout<<0;
            return 0;
        }
        else if(b>a){
            string t=a;
            a=b;
            b=t;
            isf=true;
        }
    }
    reverse(a.begin(),a.end());
    reverse(b.begin(),b.end());
    string ans;
    int jw=0;
    for(int i=0;i<a.size();i++){
        int t1=a[i]-'0';
        int t2=i<b.size()?b[i]-'0':0;
        int re=t1-t2-jw;
        if(re<0){
            re+=10;
            jw=1;
        }
        else{
            jw=0;
        }
        ans+=(re+'0');
    }
    reverse(ans.begin(),ans.end());
    int i;
    for(i=0;i<ans.size();i++){
        if(ans[i]!='0'){
            break;
        }
    }
    if(isf){
        cout<<"-";
    }
    for(;i<ans.size();i++){
        cout<<ans[i];
    }
    return 0;
}

这段代码实现了两个非负大整数（以字符串形式输入）的减法运算。其核心思路可以概括为以下几个步骤：

1. 输入与预处理：读入两个字符串 a 和 b，分别代表被减数和减数。
2. 大小比较与符号确定：确保 a 代表的数字不小于 b，否则交换两者并记录结果为负。
3. 反转字符串：将两个字符串反转，以便从低位开始逐位计算。
4. 逐位相减与借位处理：模拟手工减法，处理借位。
5. 结果反转与去除前导零：将结果字符串反转回正常顺序，并去除前导零。
6. 输出结果：根据符号标志输出最终结果。

三、解析

1. 输入与预处理

cin>>a>>b;
bool isf=false;

代码使用 string 类型存储输入，避免了数值范围的限制。isf 是一个布尔标志，初始为 false，用于记录最终结果是否为负数。

2. 大小比较与符号确定（核心逻辑）

这是高精度减法中最关键且容易出错的部分。代码通过两个层次进行比较：

• 长度比较：如果两个字符串长度不同，那么长度更长的数字显然更大（假设没有前导零）。如果 a.length() < b.length()，说明被减数小于减数，需要交换 a 和 b，并将 isf 设为 true，表示结果为负。
• 等长时的字典序比较：如果长度相同，则直接使用字符串的字典序比较运算符 > 和 ==。对于两个长度相同且没有前导零的数字字符串，字典序比较与数值比较是等价的。这里分三种情况：
  1. a == b：两数相等，差为 0，直接输出 0 并结束程序。
  2. b > a：减数更大，需要交换，并标记结果为负。
  3. a > b：被减数更大，保持原样，结果为正。

思考：为什么先比较长度再比较字典序？因为如果长度不同，字典序比较可能得出错误结论（例如 "9" > "10" 在字典序中成立，但数值上 9 < 10）。

3. 字符串反转

reverse(a.begin(),a.end());
reverse(b.begin(),b.end());

将字符串反转是为了让计算从最低位（个位）开始。在字符串中，数字的高位存储在索引 0 的位置，低位在末尾。反转后，a[0] 和 b[0] 就分别代表原数字的个位，方便我们使用循环顺序处理。

4. 逐位相减与借位处理（核心计算）

string ans;
int jw=0; // 借位标志
for(int i=0;i<a.size();i++){
    int t1=a[i]-'0';          // 当前位被减数
    int t2=i<b.size()?b[i]-'0':0; // 当前位减数，若b已耗尽则为0
    int re=t1-t2-jw;          // 当前位计算结果（减去上一位的借位）
    if(re<0){
        re+=10;               // 不够减，向高位借10
        jw=1;                 // 标记借位发生
    }
    else{
        jw=0;                 // 够减，无借位
    }
    ans+=(re+'0');            // 将当前位数字转为字符存入结果
}

变量说明：

• jw：借位标志（jw 是“借位”拼音首字母）。jw=1 表示上一位计算时发生了借位，当前位需要多减 1。
• t1：当前位被减数的数值。
• t2：当前位减数的数值。由于 b 可能比 a 短（经过预处理后，a 长度不小于 b），所以需要判断 i 是否在 b 的范围内，超出则取 0。
• re：当前位初步计算结果（t1 - t2 - jw）。

借位逻辑：

• 如果 re < 0，说明当前位不够减，需要向高位借 1（相当于借 10），所以执行 re += 10，并将 jw 设为 1，影响下一位计算。
• 如果 re >= 0，说明够减，jw 设为 0。

示例：计算 52 - 17（a="52", b="17"）。
反转后：a="25", b="71"。
- i=0: t1=2, t2=1, jw=0, re=1 (>=0) → ans="1", jw=0
- i=1: t1=5, t2=7, jw=0, re=-2 (<0) → re=8, jw=1 → ans="18"
反转 ans 得到 "81"，去除前导零后为 "81"，结果正确。

5. 结果反转与去除前导零

reverse(ans.begin(),ans.end());
int i;
for(i=0;i<ans.size();i++){
    if(ans[i]!='0'){
        break;
    }
}

计算完成后，ans 中存储的是反转的结果（低位在前）。需要再次反转得到正常顺序。然后，需要去除前导零。例如，计算 100 - 99 得到 "01"，反转后为 "10"，但我们需要输出 "10" 而不是 "010"。循环找到第一个非零字符的位置 i。

边界情况：如果所有位都是零（即结果为 0），循环结束后 i 将等于 ans.size()。在后续输出中，for(;i<ans.size();i++) 将不会执行任何输出，但代码在之前相等判断中已经处理了结果为 0 的情况（直接输出 0 并返回）。这里的设计是为了处理像 "100" - "100" 这种经过交换后可能产生全零结果的情况吗？实际上，在之前的判断中，如果 a == b，程序已经返回，不会执行到这里。因此，这里的去零逻辑是安全的。

6. 输出结果

if(isf){
    cout<<"-";
}
for(;i<ans.size();i++){
    cout<<ans[i];
}

如果之前标记了结果为负（isf == true），先输出负号。然后从第一个非零位开始输出结果字符串。

结尾

当你拿出新学习的算法去做着到题时……

恭喜你学会了一个新的算法。