Python ipaddr/ipaddress库CIDR网段重叠检测结果异常疑问

检测结果完全合理，是你对CIDR网段的计算逻辑存在错误，Python的ipaddr和ipaddress库的计算没有问题。

• 所有IP网段计算工具都会自动将传入的IP/掩码格式的字符串归一化到该掩码对应的合法网络地址，不会保留你输入的非网络边界地址作为网段起始地址。
• /20掩码的网段第三个八位组的步长为16（掩码前20位，第三个八位组占4位，步长=2^(8-4)=16），合法的/20网段第三个八位组只能是0、16、32……128、144、160等值。

你对/20网段的认知存在偏差，你输入的非边界/20地址会被自动修正到上一个合法网络地址：

# 你输入的10.0.136.0/20会被自动归一化为10.0.128.0/20，网段范围是10.0.128.0 ~ 10.0.143.255
# 完全覆盖了10.0.134.0/23（10.0.134.0 ~ 10.0.135.255），因此返回True
ipaddr.IPNetwork('10.0.134.0/23').overlaps(ipaddr.IPNetwork('10.0.136.0/20'))

# 你输入的10.0.143.0/20同样会被归一化为10.0.128.0/20，和上述网段完全一致，因此返回True
ipaddr.IPNetwork('10.0.134.0/23').overlaps(ipaddr.IPNetwork('10.0.143.0/20'))

# 144是16的整数倍，属于合法/20网段的网络地址，归一化后仍为10.0.144.0/20，范围是10.0.144.0 ~ 10.0.159.255
# 和10.0.134.0/23的范围无交集，因此返回False
ipaddr.IPNetwork('10.0.134.0/23').overlaps(ipaddr.IPNetwork('10.0.144.0/20'))

你可以直接打印创建的IPNetwork对象查看归一化后的真实网段：

print(ipaddr.IPNetwork('10.0.136.0/20'))
# 输出为 10.0.128.0/20

如果你需要的是起始地址为10.0.136.0的网段，/20掩码无法实现，最小需要设置为/21（步长为8），对应的10.0.136.0/21范围是10.0.136.0 ~ 10.0.143.255，这个网段和10.0.134.0/23无重叠，检测会返回False，符合你的预期。

内容的提问来源于stack exchange，提问作者Ryan