理解 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++ 会创建一个临时右值，其精度来自操作数，即 32 位。此溢出，并将此溢出的结果复制到sol_option_1变量，该变量接收溢出的结果。

Answer 1

答案很简单：C++ 不关心结果被分配给什么，它只需要表达式option_1 * option_1并计算它。然后，它使用结果执行分配。请注意，您还可以选择不在任何地方分配表达式的结果，但这不应影响表达式的计算。