乐趣区

关于golang:Go118-新特性引入新的-netip-网络库

jiezi

大家好，我是煎鱼。

写这篇文章时是大年初一，本来想说这个月就要公布 Go1.18 了。然而，好家伙，Go1.18 beta2 公布了，官网告知社区 Go1.18 要拖更到 3 月份了，咕咕咕 …

如下图：

所以还是得持续学习新个性，明天煎鱼将联合 Brad Fitzpatrick 写的《netaddr.IP: a new IP address type for Go》带大家理解 Go1.18 的新网络库 net/netip 的原因。

背景

大佬到职

本来 Go 开发团队中的 Brad Fitzpatrick，在 2010~2020 年都在 Go 团队工作，在 2021 年起换公司了。

如下推特的音讯：

到职的起因是：做了同样的货色太久了，有些腻烦，不想陷在一个舒服的窘境中。

当初来看是换到了 Tailscale，做 WireGuard 相干工作，要常常与网络库打交道。

需要诞生

大佬公司写的 Tailscale，实质上是一个网络应用程序，要与网络打交道，又是用 Go 写的，就会波及到规范库 net：

  • 在单个 IP 类型上应用 net.IP。
  • 网络示意上应用 net.IPNet。

示例代码：

import (
    "fmt"
    "net"
)

func main() {fmt.Println(net.IPv4(8, 8, 8, 8))
}

输入后果：

8.8.8.8

Brad Fitzpatrick 在理论编写和应用时，发现 net 规范库的类型有很多问题，很不好用。

当初有什么问题

Brad Fitzpatrick 对于规范库 net.IP 的问题，间接在文章中列举了进去，论据十足。

共 7 个大问题：

  1. 它是可变的。
    net.IP 的底层类型是 []byte，这意味着你传递给它的任何货色都可能扭转它。
  2. 它不具备可比性。因为 Go 中的 slice 不具备可比性，这意味着 net.IP 不反对 Go 的 == 运算符的比照，不能作为 map 的 key 来应用。
  3. 它有两种 IP 地址类型，要纠结用 net.IP，还是 net.IPAddr，要抉择就会很烦人。
  4. 它很大。Go 的 net.IP 蕴含 2 个局部，别离是 24 字节的 slice header 和 4/6 字节的 IP 地址。如果是 net.IPAddr 还会蕴含 Zone 字段。
  5. 它会在堆上分配内存。Go 的 net 包到处都是调配，把更多的工作放在了 GC 上。
  6. 它不可解析。从字符串模式解析 IP 时，Go 的 IP 类型无奈辨别 IPv4 映射的 IPv6 地址和 IPv4 地址。
  7. 它是通明类型（transparent type），net.IP 的定义是：type IP []byte，是其公共 API 的一部分，不可更改。

Brad 也有提到有些是当年晚期的设计，过后经验不足，或是没有思考好。

当初受限于 Go1 兼容性承诺，曾经无奈扭转了（兼容性保障的双刃剑？）。

这是个实在版“Eating your own dog food”，所以在 Tailscale 他又从新造了一个轮子 inetaf/netaddr，想奉献进去，塞进规范库里。

将来想要的样子

比照表格如下：

个性 老计划 net.IP 新计划
不变的 ❌, slice ✅
可比的 ❌, slice ✅
占用空间小 ❌，28~56 字节 ✅，固定 24 字节
不在堆上调配 ❌ ✅
反对 IPv4 和 IPv6 ✅ ✅
辨别 IPv4 和 IPv6 ❌ ✅
反对 IPv6 区域 ❌ ✅
不通明的类型 ❌ ✅
与规范库互通 ✅ 🤷，需适配办法

想要的样子，其实是 Brad 业务实战进去的诉求，就是要反对后面提到的 7 点。

解决方案

以后的停顿

实现的后果，也就是新计划做进去了，他就是 inetaf/netaddr 这个库（当然，也不排除是后果倒推实践）。并且在 Go issues 中发动 issues 和 proposal。

Russ Cox 发动了新提案的探讨《proposal: net/netaddr: add new IP address type, netaddr package (discussion)”)》，并被接收，进入了 Go1.18 的新个性当中。

重造过程

新的 net/netip 库的每一个考量点，Brad 都在文章中有所具体解说。

受限于篇幅，咱们拿其中两点来分享，有趣味的小伙伴能够浏览原文的分析局部。

接口类型组合

在可比拟这事上，Go 的接口（interface）其实是反对比拟的，也就是能够作为 map 的 key 进行 == 运算符的比拟。

实现了如下的第一版计划，设计了新的 netaddr.IP 类型：

type IP struct {ipImpl}

type ipImpl interface {is4() bool
  is6() bool
  String() string}

type v4Addr [4]byte
type v6Addr [16]byte
type v6AddrZone struct {
  v6Addr
  zone string
}

上述代码，在 IP 构造体中减少了 ipImpl 接口，既能反对比拟，还能够不对外裸露（不通明类型），且能够反对 IPv6。

新的问题在于，尽管比原生 net 小了，但还是没达到目标，还是有在堆上调配的毛病。

免调配的 24 字节

如果持续应用接口，是无奈解决基本指标（Brad 的指标是 24 字节）的。

因为接口（interface）占用 16 字节，残余 8 个字节能够用，要放如下货色：

  • 地址族（v4、v6，或两者都不是，如：IP 的零值），至多须要 2 位。
  • IPv6 的 zone 信息。

还要能比拟，显然接口是无奈实现的，因为地址 +zone 信息算一下字节数，显示是不够用的。

正规显式的没方法，Brad 想到了用打包的形式：

type IP struct {addr          [16]byte
   zoneAndFamily uint64
}

但这么做，就意味着 zoneAndFamily 字段中须要计算位数，再对应的推入相应的值，但也未必太折腾了。

最终 Brad 想到了，能够应用指针的形式：

type IP struct {addr          [16]byte
    zoneAndFamily *T
}

再定义 3 个对应哨位值的来利用：

var (
     z0    *intern.Value        // 示意零值。z4    = new(intern.Value)  // 示意 IPv4 的哨位值
     z6noz = new(intern.Value)  // 示意 IPv6 的哨位值（没有 zone）。)

这样就能够把 IP 类型固定在 24 字节。

总结

这个网络地址库，个别都用的比拟少。然而 Brad Fitzpatrick 在此投入了大量的精力和钻研，达到了最终的指标。

除去库的性能外，有许多技术优化点值得咱们学习和参考，有趣味深刻优化局部的，能够浏览：https://tailscale.com/blog/netaddr-new-ip-type-for-go/

本文介绍的新 net/netip 库将会在 Go1.18 中作为新个性呈现，欢送大家一起学习交换：）

若有任何疑难欢送评论区反馈和交换，最好的关系是相互成就 ，各位的 点赞 就是煎鱼创作的最大能源，感激反对。

文章继续更新，能够微信搜【脑子进煎鱼了】浏览，本文 GitHub github.com/eddycjy/blog 已收录，学习 Go 语言能够看 Go 学习地图和路线，欢送 Star 催更。

退出移动版