Go 静态分析怎样处理 Sizes.Sizeof 返回的溢出结果

用 go/types 做静态分析时，Sizes.Sizeof 返回负数并不是“算出了一个负的内存大小”，而是明确表示目标类型太大，尺寸计算已经溢出或无法继续布局。分析器应该把它当作一个哨兵状态，停止拿这个值参与后续加法、排序或容量估算。

Go 官方的 StdSizes.Sizeof 对数组会先计算元素尺寸和对齐后的步长，再用除法判断乘法是否会超过 int64 上限；结构体则从字段偏移和最后字段大小推导总大小。下面按这个契约把结果分成“未知、零、正常、过大”四类。

Sizeof 的负值是溢出哨兵，不是合法大小

Sizes 接口要求 Sizeof 返回变量类型的大小；官方文档同时约定，负值表示 T 太大。这个约定很重要：0 可能是空结构体或零尺寸元素，正数才是可以参与字节计算的结果，而负数属于控制状态。

静态分析器最好先在边界处分类，后面只传递分类结果。这样可以避免把 -1 转成无符号整数后变成一个看似巨大的容量，也避免继续计算出错误的字段偏移。

// classifySize 把 go/types 的尺寸契约转换成分析器自己的状态。
func classifySize(sizes types.Sizes, typ types.Type) (state string, size int64) {
	// 未知架构没有 Sizes，不能把它误报成类型溢出。
	if sizes == nil {
		return "unknown-architecture", 0
	}
	size = sizes.Sizeof(typ)
	switch {
	case size 

数组尺寸要先检查对齐后的步长

数组不是简单的“元素大小乘以长度”。StdSizes.Sizeof 先得到元素尺寸 esize，再按元素对齐要求得到 ea。元素本身已经是负值时，数组直接返回负值；元素为零时，数组也可以是零大小。

对正尺寸元素，最终尺寸可理解为 ea * (n-1) + esize。源码用 maxInt64 / (n-1) 判断乘法是否会溢出，而不是先乘再观察结果。这个顺序应该原样体现在自定义分析器的估算逻辑中：

// arraySizeState 只做静态尺寸分类，不尝试分配数组或运行目标程序。
func arraySizeState(elemSize, alignedElem, length int64) string {
	// 空数组没有元素，尺寸为零；负长度不是合法的数组长度。
	if length  0 && alignedElem > maxInt64/remaining {
		return "too-large"
	}
	return "known"
}

这里的 known 只说明尺寸仍能由 int64 表示，真正的字节数仍应使用 Sizes.Sizeof 的结果或同样的无溢出算法计算。不要用“长度很大”作为唯一判断，因为不同元素类型的对齐步长不同。

结构体要让负偏移继续向上传播

结构体布局更容易被忽略。Offsetsof 返回每个字段的偏移；如果前面的字段已经让累计偏移溢出，后续偏移会继续是负值。计算结构体总大小时，官方实现会检查最后字段的偏移和字段大小，只要其中一个为负，就返回负值。

因此，分析器不能看到某个字段偏移为负后仍然把它格式化成一个正常地址。应该把字段、结构体和嵌套结构体都标记为“布局未知/类型过大”，并在诊断中说明是尺寸溢出，而不是说源码字段不存在。

// structLayoutState 让嵌套布局在遇到负哨兵时停止继续加法。
func structLayoutState(offsets, fieldSizes []int64) string {
	if len(offsets) != len(fieldSizes) {
		return "invalid-layout"
	}
	for i := range offsets {
		// 负偏移或负字段大小都代表布局已经超出可表示范围。
		if offsets[i] 

给静态分析器保留架构边界

types.SizesFor 按编译器和架构返回尺寸模型，未知组合会返回 nil。这和某个具体类型过大是两件事：前者表示没有可用的目标模型，后者表示模型存在但结果超出了 int64 表示范围。

实际工程里可以把这四类结果统一到内部枚举，再把“too-large”映射成一条低歧义诊断，例如“目标架构下类型尺寸超出 go/types 可表示范围”。如果分析器需要支持多个架构，应分别建立 Sizes 上下文，不要把 amd64 的正数结果套到 386 或 wasm 上。

相关问题

为什么不直接判断 Sizeof 是否等于 -1？

接口契约只要求负值表示类型过大，调用方应按 判断，避免把实现细节误当成唯一哨兵。

Sizeof 返回 0 是否说明类型无效？

不一定。空结构体和零尺寸元素都可能得到零，应该结合类型结构继续分析。

自定义 Sizes 是否可以返回任意负数？

自定义实现应遵守同一契约：负值只能表示类型过大，正值和零值要满足目标架构的尺寸保证；否则类型检查和静态分析结果都会失真。