北京
大家好，我是Maneshwar。我正在构建git-lrc，一个在每次提交时运行的微型AI代码审查工具。这个项目免费且源码公开在Github上，欢迎给它点个Star，帮助更多开发者发现它，也期待你试用后分享反馈。
真值表、位翻转，这些老生常谈的内容没什么新鲜的。直到我读一篇关于P2P网络的文章时，撞见了“XOR距离”这个词，整个人停住了。
XOR我懂，距离我也懂。XOR距离？这不是一个概念，这是两个概念套了件风衣假装是一个人。
于是我去认真学了一下它的原理，结果发现这属于那种一旦想通就特别简单、但在想通之前让人莫名恼火的点子。所以这次咱们把它彻底讲清楚。
位、桶，以及节点“邻居”为何与物理位置无关
两个ID之间的XOR距离就是：把它们的位异或在一起，把结果当作一个数字来读。这个数字就是你的“距离”。数字越大，离得越远；数字越小，离得越近。就这样，一句话说完了。
显然这不够过瘾，所以我们从头搭一遍。
XOR到底在干什么
XOR（异或）盯着两个位，只问一个问题：“你俩意见一致吗？”相同的位得到0，不同的位得到1。XOR基本就是计算机科学里的“找不同”运算符。
现在拿两个ID来试。真实系统里这些是160位或256位的哈希，但为了不让人眯着眼看，我们用4位：
A = 1100
B = 1010
XOR结果 = 0110
把0110当作普通二进制数来读，得到6。所以distance(A, B) = 6。恭喜，你刚手动算出了一个XOR距离，可以写进简历了。
为什么它能被叫做“距离”
数学对“距离”这个词很挑剔。一个东西要算作正经度量，需要满足三个性质，而XOR恰好三条全中。这感觉像是个幸运的巧合，但其实不是。
第三个性质是它不只是个可爱数学把戏的根本原因，正是它让路由能够收敛。
最容易把人绕进去的地方
XOR距离不是“数一数有多少位不同”——那是汉明距离，一个不同但用处小得多的表亲。XOR距离关心的是不同位出现在哪里，因为它是被当作数字来读的，而在数字里，最左边的位远比最右边的位重要。
1000 XOR 0000 = 1000 = 8，在最左边（高位）不一致
0000 XOR 0001 = 0001 = 1，在最右边（低位）不一致
这两对都只差一个位。其中一对比另一对“远”了8倍。同样程度的不一致，距离却天差地别，全因为不一致发生的位置不同。
情绪上大概就是这种感觉：同样的分歧，位置不同，分量完全不同。
动手算一算
理论够了，来真的算一下：
def xor_distance(a: int, b: int) -> int: return a ^ b
def bucket_index(distance: int) -> int: 用来判断这个距离落入哪个“桶”
这就是XOR距离的核心：两个ID异或后读出的数字，决定了它们在覆盖网络里的远近。它跟节点实际住在哪个机房、哪个城市没有半点关系，只跟ID的位结构有关。想通这一点，P2P路由里那些“邻居”为什么长那样，就一点都不奇怪了。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
