C语言c99及以后的标准将a％b定义为a-(a/b)*b，a/b是a除以b后向零取整，这时表达式的符号与a的符号一致。比如9%-4=9-(9/-4)*-4=9-(-2)*-4=1，
-9%4=-9-(-9/4)*4=-9-(-2)*4=-1。这种定义和cpu内部运算直接挂钩，编译成机器码更简洁。用汇编角度讲就是，idiv ebx指令执行后，edx:eax作为被除数，ebx作为除数，cpu用既定的一套固定方法进行除法计算，给edx寄存器更新的值就是c语言定义的a％b。python应该是需要额外做判断，因为我记得python里余数需要和除数的符号一致，汇编里就是多了一个判断，如果余数和除数符号一致就jz，不一致就给它多加一个除数。