带符号整数的除法与余数

最新推荐文章于 2025-03-12 20:49:18 发布

陈硕

最新推荐文章于 2025-03-12 20:49:18 发布

阅读量4.8w

点赞数 12

分类专栏： c++ 文章标签： fortran integer 语言编译器 c behavior

本文链接：https://blog.csdn.net/solstice/article/details/5139302

版权

本文探讨了带符号整数在不同编程语言如C、C++、Java、Python、Ruby等中的除法和取模运算行为，特别是在负数参与运算时的实现定义。C99和C++0x规定了商向0取整，而其他语言如Python和Ruby则遵循不同的取整规则。硬件实现方面，大多数处理器支持向0取整，与C99/C++0x保持一致。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

带符号整数的除法与余数

Division of Signed Integers

陈硕 giantchen_AT_gmail_DOT_com

最近研究整数到字符串的转换，读到了 Matthew Wilson 的《Efficient Integer to String Conversions》系列文章。（http://synesis.com.au/publications.html 搜 conversions）。他的巧妙之处在于，用一个对称的 digits 数组搞定了负数转换的边界条件（二进制补码的正负整数表示范围不对称）。代码大致如下，经过改写：

const char* convert(char buf[], int value) { static char digits[19] = { '9', '8', '7', '6', '5', '4', '3', '2', '1', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9' }; static const char* zero = digits + 9; // zero 指向 '0' // works for -2147483648 .. 2147483647 int i = value; char* p = buf; do { int lsd = i % 10; // lsd 可能小于 0 i /= 10; // 是向下取整还是向零取整？ *p++ = zero[lsd]; // 下标可能为负 } while (i != 0); if (value < 0) { *p++ = '-'; } *p = '/0'; std::reverse(buf, p); return p; // p - buf 即为整数长度 }

这段简短的代码对 32-bit int 的全部取值都是正确的（从 -2147483648 到 2147483647）。可以视为 itoa() 的参考实现，面试的标准答案。

读到这份代码，我心中顿时升起一个疑虑：《C Traps and Pitfalls》第7.7节讲到，C 语言中的整数除法(/)和取模(%)运算在操作数为负的时候，结果是 implementation-defined。（网上能下载到的一份简略版也有相同的内容，http://www.literateprogramming.com/ctraps.pdf 第7.5节。）

也就是说，如果 m、d 都是整数，