Go encoding/binary.Size 怎样计算结构体序列化大小

做二进制协议时，我经常先遇到一个看似简单的问题：一个 Go 结构体到底需要多少字节？如果数据只由固定大小的算术类型、数组和同类结构体组成，可以先用 binary.Size 计算；如果混入字符串、切片或指针，就不能把它当成通用序列化长度函数。

先把“结构体大小”和“序列化大小”分开

Go 结构体在内存中的布局可能包含对齐填充，但 encoding/binary 写入的是明确的字段序列。比如一个 uint16 和一个 uint32 组成的结构体，协议长度是 6 字节，不应该用 unsafe.Sizeof 去猜。binary.Size 关注的是能否按固定大小编码，以及编码后需要多少字节。

固定大小字段可以直接计算

下面这个结构体只有固定大小字段：两个整数、一个定长数组和一个嵌套结构体。字段按声明顺序参与计算，数组按元素数量展开；Go 内存布局中的 padding 不会自动加入协议长度。

package main

import (
	"encoding/binary"
	"fmt"
)

type Header struct {
	Version uint16
	Flags   uint16
}

type Packet struct {
	Header Header
	Length uint32
	Nonce  [8]byte
}

func main() {
	// 2+2+4+8=16，这是协议字段的编码长度，不是 unsafe.Sizeof 的内存布局。
	var packet Packet
	size := binary.Size(packet)
	if size 

示例里的 bytesBuffer 只是说明写入接口，实际项目建议使用 bytes.Buffer，或者先分配好切片后调用更适合当前 Go 版本的编码 API。关键判断是 size >= 0，而不是把结构体的内存占用当成协议长度。

为什么字符串和切片会让计算失去固定答案

字符串长度由运行时内容决定，切片还包含动态长度和底层数组；指针只表示地址，不能直接代表协议中要传输的对象。因此下面的结构体不能用一个静态整数描述序列化大小：

type Message struct {
	Code uint16
	Text string
	Data []byte
}

func messageSize(m Message) (int, error) {
	// 先判断固定字段能否计算，不能把 string 或 []byte 的地址当成数据长度。
	size := binary.Size(m)
	if size 

动态字段不是不能传，而是必须由协议自己规定长度前缀、编码方式和最大值。把 len(Text) 直接加到结果里也只是某一种 UTF-8 字节协议的选择；如果采用定长字符区、压缩或其他编码，公式还要随协议改变。

把 Size 放在接口参数和错误模型里

如果调用方需要预分配缓冲区，建议让计算函数返回 (int, error)，而不是把负数继续传给 make。这样“数据结构不适合固定编码”和“真正写入失败”是两类清晰的错误，调用方可以分别记录或降级。

func encodePacket(p Packet) ([]byte, error) {
	// Size 负责容量决策，Write 负责报告编码过程中的真实错误。
	size := binary.Size(p)
	if size 

这里的字节序是接口参数的一部分：同一结构体用 BigEndian 和 LittleEndian 编码，字段值的字节排列不同，但固定字段的字节数通常不变。不要把“长度相同”误认为“协议兼容”。

几个容易踩到的边界

• 不要用 unsafe.Sizeof 代替 binary.Size：前者描述 Go 内存布局，后者描述 binary 编码所需空间。
• 不要忽略负数：负数不是“长度未知但可以继续分配”，而是应回到数据结构或协议设计。
• 不要把 varint 当固定字段：变长整数的字节数取决于数值，应该根据实际编码结果或协议规则计算。
• 不要把 Size 当完整序列化器：它只解决固定大小判断和长度估算，动态数据仍需显式设计。

常见问题

binary.Size 和 unsafe.Sizeof 为什么结果不同？

unsafe.Sizeof 面向 Go 内存布局，可能包含对齐填充；binary.Size 面向 encoding/binary 的字段表示，关注可编码字段的固定字节数。

binary.Size 返回负数应该怎么修？

检查结构体中是否有字符串、切片、指针或其他动态字段。要么改为固定数组和固定宽度字段，要么为动态字段增加长度前缀并自行计算协议长度。

Size 计算成功后还会写入失败吗？

会。Size 只说明长度可计算，实际写入仍可能遇到不支持的值、目标写入错误或协议参数错误，因此仍需检查 binary.Write 的返回错误。