C语言数值溢出时，会发生什么神奇现象？
- 内容介绍
- 文章标签
- 相关推荐
本文共计304个文字，预计阅读时间需要2分钟。
我想更好地理解在C中如何将逻辑清晰地表达出来。考虑以下MWE（最小必要示例）：
c#include
int main() { int a=5, b=10; if (a > b) { printf(a is greater than b\n); } else { printf(a is not greater than b\n); } return 0;}
我想更好地理解溢出在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变量,该变量从溢出中接收结果.
本文共计304个文字，预计阅读时间需要2分钟。
我想更好地理解在C中如何将逻辑清晰地表达出来。考虑以下MWE（最小必要示例）：
c#include
int main() { int a=5, b=10; if (a > b) { printf(a is greater than b\n); } else { printf(a is not greater than b\n); } return 0;}
我想更好地理解溢出在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变量,该变量从溢出中接收结果.