Разобраться в небольшой функции

ifs >> big >> n;

istream& operator>>(istream& ifs, BigInt& big)
{
    string str;
    ifs >> str;
    big.digits.clear(); //что здесь происходит? Вроде какая та чистка от мусора.
    for (int i = str.length() - 1; i >= 0; --i)
        big.digits.push_back(str[i] - '0'); //для чего нужен этот цикл?
 
    return ifs;
}

#include <fstream>
#include <iostream>
#include <vector>
#include <string>
 
using namespace std;
 
typedef char byte;
 
class BigInt
{
private:
    vector<byte> digits;
public:
    BigInt() = default;
    BigInt(int num);
 
    BigInt makePow(int power) const;    
    BigInt& operator*=(const BigInt& big);      
 
    friend istream& operator>>(istream& ifs, BigInt& big);      
    friend ostream& operator<<(ostream& ofs, const BigInt& big);    
};
 
 
 
BigInt::BigInt(int num)
{
    for (; num; num /= 10)
        digits.push_back(num % 10);
}
 
istream& operator>>(istream& ifs, BigInt& big)
{
    string str;
    ifs >> str;
    big.digits.clear();
    for (int i = str.length() - 1; i >= 0; --i)
        big.digits.push_back(str[i] - '0');
 
    return ifs;
}
 
ostream& operator<<(ostream& ofs, const BigInt& big)
{
    for (int i = big.digits.size() - 1; i >= 0; i--)
        ofs << char(big.digits[i] + '0');
    return ofs;
}
 
BigInt BigInt::makePow(int n) const
{
    BigInt res(1), a(*this);
 
    while (n) {
        if (n & 1)
            res *= a;
        a *= BigInt(a);
        n >>= 1;
    }
    return res;
}
 
BigInt& BigInt::operator*=(const BigInt& two)       
{
    BigInt res(*this);
    int sizeThis = res.digits.size(), sizeTwo = two.digits.size();
    digits = vector<byte>(sizeThis + sizeTwo);
 
    for (int i = 0; i < sizeThis; ++i)
    {
        int r = 0;
        for (int j = 0; j < sizeTwo | r; ++j)
        {
            digits[i + j] += res.digits[i] * (j >= sizeTwo ? 0 : two.digits[j]) + r;
            r = digits[i + j] / 10;
            digits[i + j] -= r * 10;
        }
    }
 
    for (int i = digits.size() - 1; i > 0 && !digits[i]; --i, digits.pop_back());
 
    return *this;
}
 
 
 
int main()
{
    BigInt big;
    int n;
    ifstream ifs("input.txt");
    ofstream ofs("output.txt");
 
    while (ifs) {
        ifs >> big >> n;
        ofs << big.makePow(n) << " ";
        ifs.get();
    }
 
    cout << "Sdelano.";
    cin.get();
}

ifs >> big >> n;

for (int i = str.length() - 1; i >= 0; --i) //условие - пройти по всей строке.
        big.digits.push_back(str[i] - '0'); //что здесь происходит? push_back - это добавление элемента в конец вектора.

istream& operator>>(istream& ifs, BigInt& big)
{
    string str;
    ifs >> str; //записываем файл в строку
    for (int i = str.length() - 1; i >= 0; --i) //здесь мы проходимся по всей строке, хотя не понятно зачем делаем -1.
        big.digits.push_back(str[i] - '0');     //здесь записываем строку в переменную big, так? 
 
    return ifs;
}