go 语言不允许将本地定义的匿名结构体值传递给其他包中以相同字段定义的匿名结构体为参数的函数，根本原因在于匿名结构体的字段未导出时，跨包无法初始化其字段；而空结构体因无字段故不受此限。
go 语言不允许将本地定义的匿名结构体值传递给其他包中以相同字段定义的匿名结构体为参数的函数，根本原因在于匿名结构体的字段未导出时，跨包无法初始化其字段；而空结构体因无字段故不受此限。
在 Go 中，匿名结构体的类型身份是“包级局部”的：即使两个匿名结构体拥有完全相同的字段名、类型和顺序（如 struct { i int; s string }），只要它们分别定义在不同包中，Go 就认为它们是完全不同、不可互换的类型。这并非语法限制，而是类型系统的设计原则——类型等价性（type identity）要求匿名结构体必须在同一包内定义才被视为同一类型。
为什么会出现 cannot use value (type struct {...}) as type struct {...} 错误？
关键在于 字段导出性（exportedness） 与 复合字面量（composite literal）的跨包赋值规则。根据 Go 语言规范：
“为属于其他包的结构体指定非导出字段的元素是错误的。”
当 main 包中定义：
value := struct { i int; s string }{0, "Hello"}
并尝试传入 temp.PrintAnonymous(value) 时，编译器会检查 temp.PrintAnonymous 参数类型（即 temp 包内定义的 struct { i int; s string }）。尽管结构体形态一致，但：
- 该类型属于 temp 包；
- 其字段 i 和 s 在 temp 包中为小写（未导出）；
- main 包无法通过复合字面量为 temp 包的未导出字段赋值；
- 因此 value 的类型（main 包的匿名结构体）与函数期望的类型（temp 包的匿名结构体）类型不兼容，编译失败。
为什么 struct{}（空结构体）可以跨包调用？
空结构体 struct{} 是特例：它没有字段，因此不存在“为未导出字段赋值”的问题。任何包均可合法构造 struct{} 值（如 struct{}{}），且所有 struct{} 类型在 Go 中被视作同一类型（无论定义在哪个包），这是语言层面的保证。所以 PrintAnonymous2(struct{}{}) 总能成功。
正确解决方案：避免跨包使用匿名结构体参数
✅ 推荐做法：显式命名结构体（导出或非导出均可，但需统一定义位置）
将结构体定义在被调用方所在包中，并导出（首字母大写），供调用方引用：
// temp/temp.go
package temp
import "fmt"
type Config struct {
I int
S string
}
func PrintConfig(v Config) {
fmt.Printf("%d: %s\n", v.I, v.S)
}
// main.go
package main
import (
"temp"
)
func main() {
temp.PrintConfig(temp.Config{I: 42, S: "Go rocks!"})
}
✅ 若必须保持匿名性（极少见），可导出字段（首字母大写）
虽技术上可行，但违背匿名结构体“临时性”设计初衷，且仍需调用方显式构造，不推荐：
// temp/temp.go
func PrintAnonymous(v struct { I int; S string }) { /* ... */ }
// main.go → 可行，但字段名已暴露，失去封装性
temp.PrintAnonymous(struct{ I int; S string }{I: 1, S: "ok"})
❌ 反模式：反射绕过限制（不推荐用于生产）
虽然可通过 reflect 构造零值实例（字段全为默认值）：
v := reflect.ValueOf(temp.PrintAnonymous)
paramType := v.Type().In(0)
zeroVal := reflect.New(paramType).Elem()
v.Call([]reflect.Value{zeroVal})
// 输出：0: （i=0, s=""）
但该方式：
- 无法设置非零字段值（受制于导出规则）；
- 存在已知编译器 Bug（issue #16616），允许非法跨包赋值，属未修复缺陷；
- 丧失类型安全、可读性与性能，仅适用于调试或极端元编程场景。
总结
| 场景 | 是否可行 | 原因 |
|---|---|---|
| 同包匿名结构体传参 | ✅ | 类型同一，字段可访问 |
| 跨包相同定义的匿名结构体传参 | ❌ | 类型不同，且未导出字段不可跨包初始化 |
| 跨包 struct{} 传参 | ✅ | 无字段，类型全局唯一 |
| 通过反射构造零值传参 | ⚠️（技术可行但危险） | 规避类型检查，依赖未修复 Bug，不可靠 |
最佳实践始终是：跨包接口应使用命名类型（导出结构体），而非匿名结构体。 这既符合 Go 的类型安全哲学，也提升代码可维护性与协作清晰度。
