Lua中检测32位序号环绕的方法
Lua中检测32位序号环绕的方法
--[[ 判断32位无符号序号a是否比b新（处理环绕） 返回 true 表示a比b新，false 表示a比b旧或相等 --]]-- 方法一：取模运算（兼容 Lua 5.1+）functionis_newer_mod(a,b)localdiff=(a-b)%2^32returndiff>0anddiff<2^31-- 排除相等情况end-- 方法二：位运算（Lua 5.3+，效率更高）functionis_newer_bit(a,b)locala32=a&0xFFFFFFFFlocalb32=b&0xFFFFFFFFlocaldiff=(a32-b32)&0xFFFFFFFFreturndiff~=0anddiff<0x80000000-- 0x80000000 = 2^31end-- 测试代码localtests={{100,50,true},-- 正常：100 > 50{50,100,false},-- 正常：50 < 100{1,2^32-1,true},-- 环绕：1 比 4294967295 新{2^32-1,1,false},-- 环绕：4294967295 比 1 旧{500,500,false},-- 相等}print("测试 is_newer_mod：")for_,tinipairs(tests)dolocala,b,expected=t[1],t[2],t[3]localresult=is_newer_mod(a,b)print(string.format("a=%u, b=%u → %s (期望 %s) %s",a,b,tostring(result),tostring(expected),(result==expected)and"✓"or"✗"))endprint("\n测试 is_newer_bit：")for_,tinipairs(tests)dolocala,b,expected=t[1],t[2],t[3]localresult=is_newer_bit(a,b)print(string.format("a=%u, b=%u → %s (期望 %s) %s",a,b,tostring(result),tostring(expected),(result==expected)and"✓"or"✗"))end原理简述
32位无符号序号范围 0～4,294,967,295，当达到最大值后归零。判断新旧的标准：
- 计算差值
diff = (a - b) mod 2^32，结果落在 [0, 2^32)。 - 若
diff < 2^31，说明 a 在 b 之后（新）；否则 a 在 b 之前（旧）。 - 若
diff == 0表示相等。
该算法利用“半个区间”规则，在环形空间内确定前进方向。