利用整数的环回特性打造高效计时器、补码反码、负数的内存布局

对于任意一个uint8的数字x，一定有：

式①  x + (~x) = 255 = (1111_1111)b          其中"~"是标准C语言运算符：按位取反
式②  x + (-x )  = 0     = (0000_0000)b
那么① + 1 =
255+1= (1111_1111)b +  (0000_0001)b = (1_0000_0000)b，
(1_0000_0000)b被截断为1字节后=(0000_0000)b = 0 =②

也即 ①+1=②，也即，x + (~x) + 1 =  x + (-x )，也即 (~x) + 1 =  (-x )，这已经理清了负数的内存布局了，负数在内存中的存放方式就是：正数的反码+1。

 

 

Len(A -> B)= B - A,   (B >= A)        （式1）

下面要证明一下，当B < A时，上式仍然成立，也即A->B的有向区间长度(AO'+OB)仍然=(u8)(B-A)，注意B-A是个负数强转为u8。

也即，要证明：当B < A时，（1）B-A的内存结构，和（2）256-A+B的内存结构是相同的。