这些c++代码是为添加2正大整数而优化的吗?

我编写了一个程序来计算(加)2个正大整数，使用vector来存储这些数字。

#include <cstdlib>
#include <cstdio> // sd sprintf()
#include <iostream>
#include <vector>// sd vector
typedef short TYPE;// alias
void input();
void makeArray();
void display(const std::vector<TYPE> Ar);
TYPE convertChar2T( char * ch);
void add();

static std::string num1;//store big integer as string
static std::string num2;
static std::vector<TYPE> Arr1;//store as vector 
static std::vector<TYPE> Arr2;
static std::vector<TYPE> result;
int main(int argc, char** argv) {
    input();
    makeArray();
    display(Arr1);
    display(Arr2);
    add();
    display(result);
    return 0;
}
//input 2 big integer number
void input(){
    std::cout << "Enter 1st number : " ;
    if (! std::getline(std::cin , num1) )
        std::cerr << "Not OKn";
    std::cout << "Enter 2nd number : ";
    if (! std::getline(std::cin , num2) )
        std::cerr << "Not OKn";
}
//grab into 2 arrays
void makeArray(){
    for (std::size_t i = 0; i < num1.size(); i++){
        char temp1[2] = { num1[i], ''};   //use array-of-char as it need ''
        Arr1.push_back( convertChar2T(temp1)  ); //push what is converted
    }
    for (std::size_t i = 0; i < num2.size(); i++){
        char temp2[2] = { num2[i], ''};
        Arr2.push_back( convertChar2T(temp2) );
    }
}
//convert char -> TYPE by using sscanf()
TYPE convertChar2T( char * ch){
    TYPE numb ;
    sscanf( ch, "%d", &numb );//NGUOC LAI SPRINTF
    return numb;
}
//display array
void display(const std::vector<TYPE> Ar){
    for (std::size_t i = 0; i < Ar.size(); i++)
        std::cout << Ar.at(i) << 't';
    std::cout << 'n';
}
void add(){
    std::size_t i = Arr1.size(); // NEVER COMES TO ZERO ( 1 AT LEAST )
    std::size_t j = Arr2.size();
    //check original one and later one
    //3 cases : 1 - original one , not yet processed
    //          2 - original # one, not yet processed
    //          -1 - original # one or one, processed
    //NOTE: at first only value 1 or 2 ( not process )
    short check_one[2] = {
        ( i == 1 ) ? 1 : 2,
        ( j == 1 ) ? 1 : 2,
    };
    bool boost = 0;
    bool Arr1_isgood = true;// whether count to 1 or not
    bool Arr2_isgood = true;// good -> not yet 1
    short temp_result = 0;//temporary result to push into vector
    while ( Arr1_isgood || Arr2_isgood ){// while not all comes to 1

        // i == j : 2 cases
        //              1st: both 1 now - 3 cases
        //                  1.1 #1+not process original and processed
        //                  1.2 processed and #1+not processed
        //                  1.3 both 1 original + not processed
        //              2nd: both # 1
        if ( i == j ) {
            if (  check_one[0] == 2 && check_one[1] == -1 ){//#1+not process original and processed
                temp_result =  Arr1[i-1] + boost;
                check_one[0] == -1;
            }
            else if (  check_one[0] == -1 && check_one[1] == 2  ){//processed and #1+not processed
                temp_result = Arr2[j-1] + boost;
                check_one[1] = -1;
            }
            else//both 1 original + not processed OR both # 1
                temp_result = Arr1[i-1] + Arr2[j-1] + boost;
            //check result >= 10 or < 10
            if ( temp_result >= 10 ){
                temp_result = temp_result - 10 ;
                boost = 1;
            }
            else
                boost = 0;
            //result.begin() return iterator at beginning
            result.insert( result.begin() ,temp_result );
            //update info
            if ( i == j && i == 1){ // NOTE : NEU SD i==j==1 -> sai (vi luon true)
                Arr1_isgood = Arr2_isgood = false;
                continue;
            }
            else if ( i == j && i != 1){ // i == j # 1
                i--;
                j--;
            }
        }
        if (i != j){
            //check to set flag ( if one of two die )
            if ( i == 1 && j > 1 )
                Arr1_isgood = false;
            else if ( i > 1 && j == 1  )
                Arr2_isgood = false;
            // i die && j live OR vice versa
            if ( (!Arr1_isgood && Arr2_isgood) ||
                    (Arr1_isgood && !Arr2_isgood ) ){
                if (!Arr1_isgood && Arr2_isgood ){          //1st case
                    if ( check_one[0] == 1 || check_one[0] == 2){//not yet processed as  SET FLAG ABOVE first
                        temp_result = Arr1[i-1] + Arr2[j-1] + boost;
                        check_one[0] = -1 ;
                    }
                    else
                        temp_result = Arr2[j-1] + boost;
                    j--;
                }
                else if ( Arr1_isgood && !Arr2_isgood ){    //2nd case
                    if ( check_one[1] == 1 || check_one[1] == 2 ){//not yet processed as  SET FLAG ABOVE first
                        temp_result = Arr1[i-1] + Arr2[j-1] + boost;
                        check_one[1] = -1 ;
                    }
                    else
                        temp_result = Arr1[i-1] + boost;
                    i--;
                }
            }
            else {// both is good
                temp_result = Arr1[i-1] + Arr2[j-1] + boost;
                i--;
                j--;
            }
            //check result >= 10 or < 10
            if (temp_result >= 10) {
                temp_result -= 10;
                boost = 1;
            } else
                boost = 0;
            result.insert( result.begin() ,temp_result );
        }
    }
    //insert boost (if any exists)
    if (boost == 1)
        result.insert( result.begin(), boost);
}

我在使用"Arr1_isgood"bool变量和check_one变量之间徘徊，似乎它们可以组合成一个变量?我试过了，但花了很多时间，没有正确的结果。数字可以存储在某种较小的数据结构中而不是"短"类型中吗?因为"短"占用的比特比需要的多。
另一件事是:似乎std::size_t的大小只达到40亿，当size_t达到1时，我减少了几次，它达到了40亿?不是吗?我想知道这些代码是否可以以某种方式优化更多?