理解C中的数值溢出

我想更好地理解溢出在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创建一个临时rvalue,其精度来自操作数,即32位.这会溢出,溢出产生的结果会复制到sol_option_1变量,该变量从溢出中接收结果.

答案非常简单：C不关心分配的结果,只需要表达式option_1 * option_1并对其进行评估.然后,它使用结果执行赋值.请注意,您也可以选择不将表达式的结果分配到任何位置,但这不应影响表达式的求值.