В какой момент происходит переполнение переменной и как его пресечь?

Question

[Menfice]

https://pastebin.com/KWYwdTFh
Недавно начал изучать плюсы, и на курсах было задание: написать программу с игрой в 21. Мой "код" по ссылке выше.
Проблема в том, что при прибавлении в переменную my_hand значения из вектора values по индексу x я получаю (на момент написания вопроса уже при кажлом запуске) значение 32000+. Предположительно, из-за числа, которое получается при генерации в rand(), хоть я и не уверен. В строке 55 я попытался подгадать момент, когда my_hand становится слишком большой, но это ни к чему не приводит, и я просто получаю еще большее значение. Также я думал, что проблема может быть в том, какое значение я использую в качестве аргумента в srand(), но при его изменении так же чуда не случилось. Заранее прошу прощения, если ошибка какая-то глупая.

P.S. если это не переполнение, то тоже простите.

Comments

[Menfice]

заметил, что то, какое значение по итогу имеет my_hand зависит от ее типа данных (сверил с тем, что будет выведено, если это просто int и long int) => это точно переполнение.

[Евгений Шатунов]

Kiber Cyber, прошу обратить повторное внимание на П5.7 регламента работы сервиса.
Согласно П3.8 код следует публиковать в соответствующем блоке. Ссылки на малоизвестные источники публиковать запрещено.
Если код сильно большой, его можно разместить под спойлером.

Answer 1

[Иван Володин]

Отвечая на вопрос заголовка: В библиотеках C++ есть заголовочный файл limits.h, где определены макросы с максимальными возможными значениями стандартных типов. Например, максимальное значение int хранится в макросе INT_MAX.
Аналогично, существуют макросы и для других типов: UINT_MAX, SHRT_MAX, LONG_MAX и т.д.

P.S.
Кажется, я нашел причину переполнения.
Строка 47, вы создали, но не инициализировали переменную my_hand, а в 54, 55 и 56 вовсю используете.
Алгоритм стоит исправить с:
int my_hand, en_hand = 0;
На:
int my_hand = 0, en_hand = 0;

P.S 2
Вместо while(1==1) рекомендую использовать while(true). Материал на эту тему (Статья на docs.microsoft)

Comments

[Евгений Шатунов]

limits.h является стандартным заголовком языка C [?]. Стандартным заголовком лимитов C++ является limits [?].
И содержимое этого заголовка никак не позволит определить или предотвратить момент переполнения переменной целочисленного типа. Переполнение знакового целого является неопределенным поведением [?]. Переполнение беззнакового целого отследить невозможно, т.к. все операции с беззнаковыми целыми выполняются по модулю [?].
Твой пример кода содержит UB.

[Иван Володин]

Евгений Шатунов, Вы правы. Пример удален.
Однако, это будет работать, если конвертировать стандартный тип из меньшего по размеру в больший.

[Евгений Шатунов]

Иван Володин, все верно. Есть одна хитрость получше. Допустим у нас операция над числами с типом int64_t. Этот тип уже некуда дальше приводить. Тогда...

if( addition > ( std::numeric_limits<int64_t>::max() - base_value ) )

, то у нас будет переполнение.
Таким образом ты и в стандарт уложишься, и перед операцией возможное переполнение определить сможешь.

[Menfice]

Евгений Шатунов, Иван Володин, спасибо большое, это действительно помогло