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

为什么即使我明确要求64位来接收解决方案，它仍然会溢出使用32位的操作数？

我的印象是C ++在运行时会创建一个临时的右值，其精度是来自操作数的精度，即32位。这会溢出，并且溢出的结果将被复制到sol_option_1变量中，该变量将从溢出中接收结果。

Answer 1

答案很简单：C ++不在乎将结果分配给什么，它只接受表达式option_1 * option_1并对其求值。然后，它执行结果分配。请注意，您还可以选择不在任何地方分配表达式的结果，但这不会影响表达式的求值。

Answer 2

第一个参数确定结果的类型。
在第一行中是option1（32位），在第二行中是option2（64位）。

您可以使用以下方法解决第一行的溢出问题：

uint64_t sol_option_1 = (uint64_t) option_1*option_1;

了解C ++中的数值溢出

2 个答案: