今天在工作中，我与一位同事进行了一次有趣的讨论。当他遇到以下事情时，他感到很惊讶:assert(-1%10==-1)//Expecting9所以当他来问我这个问题时，我告诉他“嗯，这是有道理的。当你将-1除以10时，你会得到0，剩下-1。然而，他的论点是模运算符应该坚持“总是积极”的模型。我做了一些研究，发现他所指的模数看起来像这样:Letqbetheintegerquotientofaandn.Letrbetheremainder.Then:a=n*q+rI使用的定义似乎是模数的Knuth版本，即:Letqbethefloorofadividedbyn.Letrbetheremain
