int — Понимание числового переполнения в переполнении стека

Question

int — Понимание числового переполнения в переполнении стека

Я пытаюсь лучше понять, как переполнения ведут себя в C ++. Рассмотрим следующее MWE (необходимо проверить целочисленные литералы):

#include <cstdint>
#include <iostream>
#include <iomanip>

int main() {
uint64_t known    = 6049417284;  // Known solution to operation.
uint32_t option_1 = 77778u;      // Using 32 bits for operands.
uint64_t option_2 = 77778ull;    // using 64 bits for operands.

uint64_t sol_option_1 = option_1*option_1;
uint64_t sol_option_2 = option_2*option_2;

std::cout << std::boolalpha << (sol_option_1 == known) << std::endl;
std::cout                   << (sol_option_2 == known) << std::endl;
}

Исполнение:

false
true

Почему он переполнен операндами, использующими 32 бита, даже если я явно запрашиваю 64 бита, чтобы получить решение?

У меня сложилось впечатление, что во время выполнения C ++ создает временное значение r, точность которого равна точности операндов, то есть 32 бита. Это переполнение, и этот результат от переполнения копируется в sol_option_1 переменная, которая получает результат от переполнения.

3

c++fixed-width int integer-overflow

Решение

Другие решения

Первый аргумент определяет тип результата.
В первой строке это было option1 (32 бита), во второй строке option2 (64 бита).

Вы можете решить переполнение первой строки с помощью:

uint64_t sol_option_1 = (uint64_t) option_1*option_1;

2

Источник

Accepted Answer

Ответ очень прост: C ++ не заботится о назначении результата, он просто принимает выражение option_1 * option_1 и оценивает это. Затем он выполняет присваивание с результатом. Обратите внимание, что вы также можете не назначать результат выражения где-либо, но это не должно влиять на его оценку.

4