reflect.Type与reflect.Value

Go的reflect包提供运行时反射。它把接口值中的动态类型和值表示成reflect.Type与reflect.Value，让库在编译时不知道具体类型名称的情况下检查数据结构。编码器、校验器和RPC调度器都可能需要这种能力。

反射没有取消静态类型。它只是把一部分检查从编译期推迟到运行时，因此错误常以panic而不是编译错误出现。只有数据形状确实要到运行时才能确定时，这种代价才合理。

类型集合已知时，普通字段访问、窄接口或泛型通常更合适。它们让编译器检查更多契约，也更容易追踪控制流。反射适合集中在框架边界，不适合扩散到业务逻辑中。

反射也不是绕过可见性与类型规则的后门。未导出字段不能通过常规反射接口取出为any或修改，赋值仍须满足Go的类型关系。若一个方案必须依靠unsafe才能完成，它已经超出reflect的正常边界。

接口值是入口

reflect.TypeOf(input)和reflect.ValueOf(input)都接收any。调用时，具体值先装入一个 接口值（interface value） ，其中保存动态类型和动态值。TypeOf读取类型部分，ValueOf返回操作动态值的句柄。

Value.Interface()完成反方向转换，把可导出的有效Value重新装成any。返回值的静态类型是any，动态类型仍是原类型。来自未导出字段的值不能安全执行该操作，所以应先检查CanInterface()。

这对应常说的三条反射定律：接口值可以转成反射对象，反射对象可以转回接口值，而修改要求目标可设置。这三句只是方向图，不是完整的安全检查。有效性、可见性、精确类型和业务权限仍需逐项验证。

Type与Kind回答不同问题

reflect.Type描述完整类型身份，包括名称、包路径、元素类型、字段和方法。两个命名类型即使共享同一个 底层类型（underlying type） ，它们的Type仍然不同。判断赋值、转换或接口实现关系时，应使用AssignableTo、ConvertibleTo或Implements。

Kind只表示底层存储类别，例如Int64、Struct、Slice或Pointer。自定义的UserID可以具有Int64这个Kind，但它并不因此等于int64。Kind适合选择可调用的Value方法，不能代替类型检查。

TypeOf(nil)返回nil，因为空接口没有动态类型。需要表示某个接口类型时，可以使用reflect.TypeOf((*error)(nil)).Elem()这样的类型令牌。这里的nil指针只用于携带*error的类型信息，不会被解引用。

Value还带有操作状态

reflect.Value不只有类型和值，还记录有效性、可寻址性、可设置性和可导出性等状态。ValueOf(nil)返回无效Value；它的IsValid()为false，Kind()为Invalid。除少数明确允许的方法外，对它继续操作会panic。

种类为Pointer或Interface的值可以通过Elem()访问其内容。但nil指针或nil接口的Elem()会产生无效Value，不是一个可以继续解引用的零值。每次解引用都必须重新检查结果。

IsNil()也不是通用nil判断。它只适用于Chan、Func、Interface、Map、Pointer和Slice。把它用于整数、结构体或无效值会panic，因此必须先按Kind分支。

修改要求可设置

ValueOf(record)观察的是装入接口的副本，不能用Set修改原变量。要让调用方看到修改，应传入非nil指针，再用Elem()取得它指向的变量。目标字段还必须导出并且允许写入。

CanAddr()与CanSet()回答不同问题。可寻址只表示能够取得地址，可设置还受来源和可见性规则约束。写入前检查CanSet()，取出为接口前检查CanInterface()。

Set要求来源值可赋给目标类型。SetInt、SetString等专用方法仍要求目标具有兼容Kind，而且语言允许的数值操作未必符合业务范围。格式、范围和权限校验应该发生在反射写入之前。

结构体元数据与方法集

结构体的Type提供NumField、Field、FieldByName和VisibleFields等元数据入口。StructField包含字段名、类型、索引路径、导出状态和 结构体标签（struct tag） 。标签本身只是字符串，含义由json、xml或自定义包定义。

StructTag.Get无法区分“键不存在”与“键存在但值为空”。这一区别影响行为时，应使用Lookup返回的布尔值。嵌入字段还可能产生提升或名称冲突，通用库应保存StructField.Index，而不是假设字段都在顶层。

类型的 方法集（method set） 决定反射能找到哪些方法。T与*T的方法集不同，所以值可能找不到只属于指针接收者的方法。Call还要求实参数量和类型准确匹配，并会传播被调用函数的panic。

下面四个程序依次加入只读检查、字段修改、动态调用和nil分类。它们把反射集中在很小的边界，并让所有失败路径都先于危险操作。每段输出都来自本地Go工具链实际运行。

读取类型、Kind与标签

Account同时包含命名整数类型、标签和未导出字段。循环从Type读取字段元数据，再从对应的Value读取内容。CanInterface让未导出字段留在反射边界内。

ID的完整类型是main.UserID，而Kind是int64。这说明Kind相同不能证明两个值可直接赋值。未导出字段仍有元数据，但CanInterface()阻止代码把其中的值暴露为any。

验证后修改字段

SetField接受指针，因为调用方需要看到修改结果。它依次验证指针、结构体、字段可设置性和精确赋值关系。失败路径返回错误，不把反射panic当作输入校验机制。

package main

import (
	"fmt"
	"reflect"
)

type Limits struct {
	Host   string
	Port   int
	secret string
}

func SetField(target any, name string, replacement any) error {
	root := reflect.ValueOf(target)
	if root.Kind() != reflect.Pointer || root.IsNil() {
		return fmt.Errorf("target must be a non-nil pointer")
	}
	value := root.Elem()
	if value.Kind() != reflect.Struct {
		return fmt.Errorf("target must point to a struct")
	}
	field := value.FieldByName(name)
	if !field.IsValid() || !field.CanSet() {
		return fmt.Errorf("field %q cannot be set", name)
	}
	next := reflect.ValueOf(replacement)
	if !next.IsValid() || !next.Type().AssignableTo(field.Type()) {
		return fmt.Errorf("%s expects %v, got %T", name, field.Type(), replacement)
	}
	field.Set(next)
	return nil
}

func main() {
	limits := Limits{Host: "api.internal", Port: 8080, secret: "token"}
	fmt.Println(SetField(&limits, "Port", 9090), limits)
	fmt.Println("type:", SetField(&limits, "Host", 42))
	fmt.Println("secret:", SetField(&limits, "secret", "changed"))
}

<nil> {api.internal 9090 token}
type: Host expects string, got int
secret: field "secret" cannot be set

Port通过全部检查，所以写入原结构体。普通int不能赋给string，未导出字段即使可寻址也不能设置。生产代码通常还会用标签建立允许修改的字段清单，避免外部输入直接选择Go字段名。

约束动态方法调用

动态调度器不能在找到同名方法后立即调用。这个适配器只接受func(string) string一种签名，并用类型令牌进行精确比较。更宽的RPC系统还需要认证、参数解码、返回值处理和panic边界。

package main

import (
	"fmt"
	"reflect"
)

type Commands struct{}

func (Commands) Status(orderID string) string {
	return "ready: " + orderID
}

func CallStringMethod(receiver any, name, argument string) (string, error) {
	receiverValue := reflect.ValueOf(receiver)
	if !receiverValue.IsValid() {
		return "", fmt.Errorf("receiver is nil")
	}
	method := receiverValue.MethodByName(name)
	if !method.IsValid() {
		return "", fmt.Errorf("no supported method %q", name)
	}
	typ := method.Type()
	stringType := reflect.TypeOf("")
	if typ.NumIn() != 1 || typ.In(0) != stringType ||
		typ.NumOut() != 1 || typ.Out(0) != stringType {
		return "", fmt.Errorf("method %q must have type func(string) string", name)
	}
	output := method.Call([]reflect.Value{reflect.ValueOf(argument)})
	return output[0].String(), nil
}

func main() {
	status, err := CallStringMethod(Commands{}, "Status", "A-104")
	fmt.Println(status, err)
	_, err = CallStringMethod(Commands{}, "Delete", "A-104")
	fmt.Println("missing:", err)
}

ready: A-104 <nil>
missing: no supported method "Delete"

方法值的Type已经绑定接收者，所以NumIn()只计算显式的orderID参数。不存在的方法返回无效Value，因此先检查IsValid()。即使签名匹配，被调方法本身仍可能panic，调度边界必须另行决定是否恢复。

区分invalid、typed nil与空切片

空接口、装有nil指针的接口、nil切片和长度为零的非nil切片是四种不同状态。反射不会把它们折叠成一个“空”概念。下面的输出显示有效性、Kind、接口比较和IsNil各自回答什么。

package main

import (
	"fmt"
	"reflect"
)

type Problem struct{}

func (*Problem) Error() string { return "problem" }

func main() {
	invalid := reflect.ValueOf(nil)
	fmt.Println("nil interface:", invalid.IsValid(), invalid.Kind())

	var problem *Problem
	var err error = problem
	typedNil := reflect.ValueOf(err)
	fmt.Println("typed nil:", err == nil, typedNil.Kind(), typedNil.IsNil())

	empty := reflect.ValueOf([]string{})
	nilSlice := reflect.ValueOf([]string(nil))
	fmt.Println("empty slice:", empty.IsNil(), empty.Len())
	fmt.Println("nil slice:", nilSlice.IsNil(), nilSlice.Len())
}

nil interface: false invalid
typed nil: false ptr true
empty slice: false 0
nil slice: true 0

err是 带类型的nil（typed nil） ：动态类型为*Problem，动态指针为nil，所以接口本身不等于nil。两个切片长度都为零，但只有一个切片为nil。序列化或补丁语义若区分“缺失”与“空集合”，这项差异必须保留。

修复方法： 每次使用可能返回无效值的API后立即检查IsValid()；确认Kind合适后，才能调用IsNil()或Elem()。

修复方法： 写入前检查CanSet()，取出为any前检查CanInterface()；需要修改的状态应通过导出字段、构造函数或方法公开。

修复方法： 默认要求AssignableTo；确需转换时列出允许的源类型，并在转换前检查范围与业务约束。ConvertibleTo只证明语言允许转换，不证明数据有效。

修复方法： 明确要求调用方传T还是*T，检查方法值有效后再验证完整函数签名。动态调用还要确认参数数量、返回值数量和panic策略。

修复方法： 用固定映射把外部名称转换成允许的字段索引或方法，并在反射前完成认证、授权和输入校验。错误消息也不应泄露敏感字段值。

修复方法： 先确认普通代码、接口或泛型不能更直接地表达需求；必须反射时，以reflect.Type为键缓存不可变解析计划，并用基准决定是否优化。

• Go reflect包文档
• Go Blog：The Laws of Reflection
• Go语言规范：类型和值的属性
• Go语言规范：方法集