Go reflect.Type.Fields 怎么遍历结构体字段：迭代器与字段元数据

给配置结构体做字段校验时，过去常见的写法是先调用 NumField，再用整数下标循环。Go 提供 reflect.Type.Fields 后，字段元数据可以直接作为迭代序列读取：既保留结构体声明顺序，也能在循环里自然地检查字段名、类型和标签。要同时拿到每个字段的实际值，则切换到 reflect.Value.Fields。

只做元数据扫描时用 reflect.Type.Fields；需要读出值时用 reflect.Value.Fields。两者都要求目标是结构体，不能拿指针或空接口直接调用。

先把 reflect.Type.Fields 的数据流看清楚

下面的例子模拟一个配置读取器：先从 reflect.TypeOf 得到结构体类型，再用 Type.Fields 逐项读取 StructField，最后通过 Tag.Lookup 找出需要映射到环境变量的字段。这里没有访问运行时值，因此使用 Type 比 Value 更合适。

package main

import (
    "fmt"
    "reflect"
)

type ServerConfig struct {
    Host string `env:"APP_HOST"`
    Port int    `env:"APP_PORT"`
    Debug bool  `env:""`
}

func listEnvFields(t reflect.Type) {
    for field := range t.Fields() {
        tag, ok := field.Tag.Lookup("env")
        if !ok {
            continue
        }
        fmt.Printf("%s %s %q\n", field.Name, field.Type, tag)
    }
}

func main() {
    listEnvFields(reflect.TypeOf(ServerConfig{}))
}

输出顺序是 Host、Port、Debug，与结构体声明顺序一致。注意 Debug 的标签存在但值为空，这正是 Lookup 的第二个返回值有用的地方：若改成 field.Tag.Get("env")，就无法区分“没有标签”和“标签写成空字符串”。

把字段元数据和实际值放到同一条校验链

如果校验器不只关心字段定义，还要检查当前配置值，就从 reflect.ValueOf 得到值并调用 Value.Fields。它返回两个元素：StructField 描述字段，reflect.Value 保存对应数据。

func validateConfig(cfg ServerConfig) error {
    value := reflect.ValueOf(cfg)
    for field, current := range value.Fields() {
        if field.Name == "Host" && current.String() == "" {
            return fmt.Errorf("Host 不能为空")
        }
        if field.Name == "Port" && current.Int() == 0 {
            return fmt.Errorf("Port 不能为 0")
        }
    }
    return nil
}

这个循环里的 field.Name 来自元数据，current.String 和 current.Int 来自实际值。不要因为它们都叫“字段”就混用：StructField.Type 是类型描述，reflect.Value 才能读当前数据。

指针、嵌套结构体和不可导出字段的边界

先处理指针再调用 Fields

reflect.TypeOf(&ServerConfig{}) 返回的是指针类型。直接调用 Fields 会触发运行时 panic，因为它只适用于结构体。通用入口应先循环调用 Elem 解引用，并检查 IsValid：

func structType(v any) (reflect.Type, bool) {
    t := reflect.TypeOf(v)
    if t == nil {
        return nil, false
    }
    for t.Kind() == reflect.Pointer {
        t = t.Elem()
    }
    return t, t.Kind() == reflect.Struct
}

空接口的动态值为 nil 时，TypeOf 会返回 nil；这一步也必须在调用 Kind 之前完成。嵌套结构体不会被 Type.Fields 自动展开，它只遍历当前这一层；需要递归时，应明确写出递归规则，并处理匿名字段的边界。

常见问题

Type.Fields 和 NumField、Field 有什么关系？

Type.Fields 是迭代写法，语义等价于从 0 到 NumField() 依次调用 Field(i)，不会改变字段顺序。

为什么调用 Value.Fields 会 panic？

最常见原因是值不是结构体，或者拿到了无效的 reflect.Value。先检查 IsValid，再确认 Kind() == reflect.Struct。

空标签应该用 Get 还是 Lookup？

要区分“标签不存在”和“标签存在但为空”时用 Lookup；只关心最终字符串时才使用 Get。

收束：把反射扫描限制在明确边界内

reflect.Type.Fields 适合字段注册、标签扫描和元数据索引，reflect.Value.Fields 适合把定义与当前值放在同一个校验流程。生产代码里先处理 nil、指针和 Kind，再决定是否递归嵌套结构体，反射代码会更容易测试，也不会把运行时 panic 误当成业务校验失败。