Понимание численного переполнения в C ++

Question

Я пытаюсь лучше понять, как ведет себя переполнение в 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, которая получает результат от переполнения.

Answer 1

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

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

uint64_t sol_option_1 = (uint64_t) option_1*option_1;

Answer 2

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