BigInteger Implementierung, tragen Diskrepanz

Question

in letzter Zeit habe ich versucht, meine auf Big Integer-Klasse zu machen. Im Moment habe ich einige Prototypen gemacht, die fast funktionieren. Dieser Prototyp ist weder eine Funktion, noch eine Klasse, nur ein schneller Zeuge, um zu sehen, ob es funktioniert.

Das ist mein Prototyp bisher: (es mit allen Abgüsse ein bisschen hässlich sieht nur den Compiler zu gefallen)

std::vector<long long unsigned> vec1 {4294967295, 2294967295, 1294967295}; 
    std::vector<long long unsigned> vec2 {4294967295, 2294967295, 1294967295}; 

    int carry {}; 
    for (int i {static_cast<int>(vec1.size()) - 1}; i != -1; --i) { 
     int unsigned greater = static_cast<unsigned int>(std::max(vec1[i], vec2[i])); 
     int unsigned result {}; 

     if (i < static_cast<int>(vec2.size())) { 
      result = static_cast<int unsigned>(vec2[i] + vec1[i] + carry); 
     } else if (carry) { 
      result = static_cast<int unsigned>(vec1[i] + carry); 
     } else { 
      break; 
     } 

     if (result <= greater) { 
      vec1[i] += result; 
      carry = 1; 
     } else { 
      vec1[i] = result; 
      carry = 0; 
     } 
    } 

    if (carry) { 
     vec1.back() += 1; 
    } 

    for (auto const n : vec1) { 
     cout << n; 
    } 

Und das ist das Ergebnis:

858993459025899345892589934591 
       ^  ^
858993459045899345902589934590 -> the correct one! 

Also, was Ich mache falsch?

Es gibt das gleiche Ergebnis in GCC und Visual Studio.

Answer 1

Dies

if (carry) { 
    vec1.back() += 1; 
} 

fügt man zum letzten ist.

Vielleicht möchten Sie einen nach vorne einfügen?

Answer 2

Wie geschrieben, wenn der höchste Betrag hinaus trägt, am Ende Sie den niedrigsten Betrag Wert erhöhen:

if (carry) { 
    vec1.back() += 1; 
} 

Vermutlich wäre das richtige Verhalten der neuen zu besetzen höchsten, den Vektor und erlauben den Übertrag zu erweitern Wert, zB:

if (carry) { 
    vec1.insert(vec1.begin(), 1); 
} 

das bedeutet Sie vec1 am Ende erweitert (und alle vorhandenen Werte zu kopieren, weil Einfügen am Anfang eines vector ist nicht billig), die möglicherweise oder möglicherweise nicht korrekt sein Angesichts des Designs Ihrer Klasse (Ihre Additionsoperation sieht unsicher aus, wenn vec1 und vec2 keine übereinstimmende Größe haben, daher ist unklar, ob vec1 erweitert werden darf).