Python中/和//对负数处理不同：/为真除法得浮点数，//为向下取整（向负无穷），如-7//3=-3；int(a/b)是向零截断，与//不等价；//必须与%配套使用以满足(a//b)*b+(a%b)==a恒等式。
Python中/和//对负数的处理逻辑完全不同
因为/是真除法，返回浮点数结果；而//是向下取整除法（floor division），不是简单截断小数。两者在负数场景下遵循不同数学定义，所以结果天然不一致。
//的“向下取整”到底往哪下？
关键在于“向下”指朝负无穷方向取整，不是向零取整。比如-7 // 3不是-2（向零截断），而是-3，因为-3 ≤ -7/3 ≈ -2.333…，且-3是满足该不等式的最大整数。
-
-7 // 3 == -3（不是-2） -
7 // -3 == -3（不是-2） -
-7 // -3 == 2（此时向下即向更小负数走，但-3和-2之间，2已是正数，所以直接取商的floor：2.333… →2）
用int()或math.trunc()模拟/再转整会出错
有人想用int(a / b)来“还原”整除效果，但这在负数下等于向零截断，和//行为冲突：
print(int(-7 / 3)) # → -2 print(-7 // 3) # → -3
如果你需要向零取整（如C语言风格），应显式用int()或math.trunc()；若需兼容Python整除语义（尤其涉及模运算%时），必须坚持用//。
Secure Python Code Sandbox
下载
安全 Python 代码沙箱：在隔离的沙箱中执行任意 Python 代码，预装 requests、NumPy、pandas 库。返回 stdout、stderr。
立即学习“Python免费学习笔记（深入）”；
//和%必须配套使用才满足恒等式
Python保证对任意整数a、非零整数b，恒有：(a // b) * b + (a % b) == a。这个恒等式只在//按向下取整、%结果与b同号时成立：
-
-7 // 3 == -3，-7 % 3 == 2（因为-3*3 + 2 == -7） -
7 // -3 == -3，7 % -3 == -2（余数符号跟随除数）
换言之，别单独看//结果是否“直观”，它的设计是为和%构成自洽的整数除法系统——这点在写循环索引、分页计算或密码算法时容易被忽略。
