Go netip.Addr.Next 遇到最大地址时为什么返回零值

调用Go标准库netip包的Addr.Next方法时，要是碰到当前地址是对应IP协议的最大地址，后续调用直接返回零值，这不是异常情况，是标准库的默认设计逻辑。

netip.Addr的Next方法底层实现是直接对IP地址的底层数值做自增，没有额外做溢出判断和错误返回，当数值走到最大值后自增会触发整数溢出，直接得到全0的结果，对应到Addr实例就是零值地址。

我在做 IP 地址池遍历时，最容易误判的一点是：netip.Addr.Next() 不会在最大地址处继续“绕回”到起点。它会返回零值 Addr，这个值不是可用的 IP，应该用 IsValid() 识别并停止。

最大 IPv4 或 IPv6 地址调用 Next() 后得到零值是正常语义，不是解析失败；循环条件应围绕 IsValid()，而不是只看字符串。

为什么最大地址的 Next 会变成零值

netip.Addr.Next 表示当前地址的后继地址。如果当前地址已经没有后继地址，官方 API 约定返回零值 Addr。零值可以理解为“没有地址可继续”，而不是一个特殊的 IPv4 或 IPv6 地址。

因此，255.255.255.255 和 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 都是边界输入。对它们调用 Next() 后，结果的 IsValid() 为 false。如果把这个返回值直接交给后续连接、格式化或地址池逻辑，就会把“遍历结束”误当成“又得到一个地址”。

先分清 IPv4 和 IPv6 的两个上界

排查时不要只准备一个 IPv4 样例。IPv4 的上界是四段十进制数都达到最大值；IPv6 的上界是 128 位全部为 1。两者的共同点是“没有下一个可表示地址”，共同结果是零值；差别只在输入地址的表示方式和地址空间大小。

package main

import (
    "fmt"
    "net/netip"
)

func inspectNext(text string) {
    // 先确认文本本身能解析，再观察 Next 的边界返回值。
    addr, err := netip.ParseAddr(text)
    if err != nil {
        fmt.Println("parse error:", err)
        return
    }

    // Next 没有后继地址时返回零值 Addr；IsValid 是可靠判断。
    next := addr.Next()
    fmt.Printf("%s -> valid=%v next=%s\n", addr, next.IsValid(), next.String())
}

func main() {
    // 两个输入分别覆盖 IPv4 与 IPv6 的最大地址。
    inspectNext("255.255.255.255")
    inspectNext("ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff")
}

这里的 String() 只是辅助排查：零值通常显示为 invalid IP，真正的分支依据仍然是 IsValid()。这样可以避免把展示文本和地址有效性混为一谈。

地址池循环里怎样把零值当作停止信号

地址池遍历更适合把“当前值是否有效”写进循环条件。每次处理当前地址后再取 Next()，下一轮自然会在零值处结束；不要用字符串是否为空、是否等于某个字面量来代替类型语义。

func walk(start netip.Addr, visit func(netip.Addr)) {
    // 无效起点直接结束，避免把零值当作地址池成员。
    for current := start; current.IsValid(); current = current.Next() {
        // visit 只接收确认有效的地址；上界后的零值不会进入这里。
        visit(current)
    }
}

如果业务只允许遍历某个网段，还要额外维护网段包含关系；Next() 只负责计算后继地址，不会替你判断是否越过业务定义的地址池范围。本文的边界只覆盖“地址类型本身没有后继”这一层。

出现异常时按这几个信号排查

• 循环多处理一个值：先记录 current.IsValid()，确认是否把零值放进了业务回调。
• 日志出现 invalid IP：检查是否在判断有效性之前调用了 String() 或拼接地址。
• 只在 IPv6 出问题：用全为 f 的 128 位地址单独覆盖上界样例，不要用 IPv4 的边界假设替代它。
• 地址池提前停止：确认起点是否本来就是零值，并把解析错误与 Next() 的上界零值分开记录。

常见问题

Next 返回零值代表 ParseAddr 失败吗？

不代表。解析失败会通过 ParseAddr 的 error 返回；合法的最大地址调用 Next() 后返回零值，是后继地址不存在的正常结果。

能不能用 String 判断是否遍历结束？

不建议。字符串是展示层结果，IsValid() 才是 netip.Addr 的有效性判断。把判断写在类型方法上，边界行为更清晰。

一句话总结：Addr.Next() 在地址空间上界返回零值，循环用 IsValid() 收口；如果还存在业务地址池边界，再叠加网段包含判断。