С++Advanced,Task_3_Range - защо ми гърми кода на copy-ctor-a?
Здравейте,
не мога да открия защо гърми кода, доста си поиграх, вкарах навсякъде принт на инфото на конзолата, гледах и Call Stack-a, не мога да хвана проблема:
Range::Range(const Range& other) : rangeFirst(other.rangeFirst),
rangeLength(other.rangeLength),
valueCounts(nullptr) {
size_t * newArr = new size_t[other.rangeLength]{};
for (int i = 0; i < other.rangeLength; i++) {
newArr[i] = other.valueCounts[i];
}
this->valueCounts = newArr;
newArr = nullptr;
} //ERROR - тук гърми, при излизане от този скоуп, подаване на вектора за add-ване в main:
allRanges.push_back(r); //ERROR тук гърми
Поздрави!
не бях го видяла, благодаря, но интересно, пак същото, да, чете, принтя ги на всяка стъпка, брейкпонтове сложих на всички методи и проследих, така разбрах че проблемът е преди пушването във вектора, но не мога да хвана от какво точно, ето го: https://pastebin.com/AJjSfkN0
Решението ти е почти готово.
Проблемът идва от една особеност на итератора и по-специално овърлода му на ++ оператора:
Какво ще се случи, ако this->currentValue е било равно на range->rangeFirst + range->rangeLength преди да го инкрементираме и какво ще върне range->getCount(this->currentValue) в този случай?
хм, това са два различни резултата от една функция, единят дава остатъка до края, другият трябва да даде броя на повторенията на съответния индекс, как може да се получи? не дава да се разпише в два варианта заради int, T и size_t; Вариантът с if (countRemaining <= 0) { return едното}иначе{return другото} също не работи, защото се хваща равното; Мислех да обърна реда на запис на елементите, но във втория случай се искат записани стойности, не индекси, как бих могла да оправя проблема?
Това, което се случва е горе-долу следното следното:
оperator++ върти докато (this->countRemaining <= 0 && *this) - Жоро е обяснил логиката тук, като в тялото на цикъла се увеличава this->currentValue без да се проверява дaли вече не "прелива" извън дължината на масива (range->rangeFirst + range->rangeLength) и се извиква getCount метода за вече увеличената стойност. Ако в този метод няма валидация на подадената стойност и тя се използва за индексирането на резултата в valueCounts, ще прочетем стойност извън заделената памет, която най-често ще е различна от нула и тази стойност ще бъде върната като резултат за countRemaining в operator++().
Това ще прекъсне цикъла на оperator++ при currentValue = range->rangeFirst + range->rangeLength и countRemaining = randomNumber.
Следва проверка в цикъла за приниране на резултата в main() дали не сме стигнали end(), която ще фейлне, защото end итератора е с countRemaining = 0.
След това програмата ще се опита да достъпи и дереференцира новата стойност, но проверката за !*this ще върне false, защото това условие вече не е изпълнено: this->currentValue < range->rangeFirst + range->rangeLength (виж каква е проверката в operator bool() ), а това от своя страна ще хвърли грешка и ще прекъсне изпълнението на програмата:
Ако обърнеш внимание, точно това е и грешката, която се получава в конзолата след като приключи принирането на последното число от резултата.
Понеже не може да пипаме Range.h, остава да измислим начин за справяне с проблема в Range.cpp, и по-специално в единственият метод, който operator++() вика - Range::getCount(T value).
Добави си проверка и връщай 0 като резултат за невалидни стойности на входния параметър value.
Давам ти решението почти наготово, защото вече си направила каквото се очаква да успеем със знанията от курса, а останалото си е дебъгване и четене :)