Go testing/quick.Value 为什么会拒绝含未导出字段的结构体

使用 testing/quick.Value 为结构体生成随机输入时，如果结构体含有未导出字段，问题通常不在随机数，而在默认反射填充无法安全写入这些字段。Go 官方文档明确说明：为结构体创建任意值时，所有字段都必须导出；如果类型实现了 quick.Generator，则会优先使用自定义生成逻辑。

官方地址：https://pkg.go.dev/testing/quick#Value

默认生成为什么卡在未导出字段

quick.Value 会根据 reflect.Type 递归构造基础类型、切片、指针和结构体。进入结构体后，它要为每个字段生成值，再把值写回字段。未导出字段属于类型的封装边界，调用方不能像公开字段那样直接修改；因此，含有这类字段的结构体不适合交给默认生成器。

这个限制也会出现在嵌套层级：外层结构体的字段可能是导出的，但字段类型内部仍含未导出成员。不要只检查第一层字段名。另一个容易误判的点是 ok bool：它表示是否成功产生了值，不能把一个不适合默认填充的结构体变成可写对象。

用 Generator 把对象不变量留在类型包内

如果对象的 token、规范化状态或内部缓存必须由所属包创建，优先实现 Generator。下面的结构体故意保留未导出的 token，生成方法在包内构造完整对象；测试侧只接收返回值，不需要绕过封装。

package account

import (
    "math/rand"
    "reflect"
)

type Account struct {
    ID    int
    token string // 未导出字段只能由所属包维护
}

// Generate 生成满足包内不变量的随机账户，size 只作为复杂度提示。
func (Account) Generate(r *rand.Rand, size int) reflect.Value {
    // 真实项目中可把 token 换成合法格式，而不是暴露字段写权限。
    return reflect.ValueOf(Account{
        ID:    r.Int(),
        token: "test-token",
    })
}

这里使用值接收者，是为了让 reflect.Zero(reflect.TypeOf(Account{})) 能识别该类型实现的接口。Generate 返回的 reflect.Value 必须与目标类型一致；如果返回了指针或另一种结构体，调用方拿到的就不是预期输入。

固定样本用 Config.Values 更直接

如果属性测试只需要覆盖“正常账户、空 token、边界 ID”几类样本，不必为了随机性实现 Generator。Config.Values 接收与被测函数参数对应的 []reflect.Value，适合测试包能够合法构造对象的场景。

func TestNormalize(t *testing.T) {
    cfg := &quick.Config{
        Values: func(values []reflect.Value, _ *rand.Rand) {
            // 这里假设测试与 account 包同包，能调用包内构造器。
            values[0] = reflect.ValueOf(newTestAccount("ABC"))
        },
    }
    // 自定义 Values 后，quick.Check 不再为第一个参数调用默认 Value。
    if err := quick.Check(func(a Account) bool {
        return normalize(a) == normalize(a)
    }, cfg); err != nil {
        t.Fatal(err)
    }
}

这种方式的边界很清楚：Values 只改变测试输入供应方式，不能让外部测试包凭空写入未导出字段。若测试包是 account_test，应通过公开构造函数返回 Account，不要使用反射强行设置内部成员。

选择方案时复查四个边界

先看类型归属，再看样本是否需要随机性。需要跨多个测试复用随机对象时，把规则放进 Generator；只验证少数业务样本时，构造函数加 Config.Values 更容易读。遇到嵌套对象，确认最内层也能被构造；只给外层包一层公开字段并不能自动解决内部限制。

• 签名：Generate(rand *rand.Rand, size int) reflect.Value 的方法名、参数和返回类型都要准确。
• 接收者：传给 Value 的结构体类型通常使用值接收者；只实现指针接收者时，值类型未必满足接口。
• 不变量：随机值要保持业务合法，例如状态组合、校验和与内部 token 不能互相矛盾。
• 可复现：需要复盘失败样本时，为 rand.Rand 传入固定种子，并在测试失败信息中记录关键公开字段。

相关问题

未导出字段改成导出字段就能解决吗？

技术上可能绕过默认填充，但会扩大 API 表面并破坏封装。若字段只为内部不变量服务，优先使用 Generator 或构造函数。

Generator 和 Config.Values 应该怎么选？

Generator 适合类型级、可复用的随机生成规则；Config.Values 适合某个测试函数的少量定向样本。两者都应返回合法的目标类型。

这个问题和 fuzzing 是一回事吗？

不是。这里讨论的是 testing/quick 默认如何生成反射值；无论采用哪种测试工具，含未导出字段的对象都应通过所属包提供的合法构造路径获得。