struct类型不能直接赋值的原因与本质
在Go语言的设计体系中，结构体是一种由用户自定义的复合数据类型，用于把多个不同类型的字段组合在一起描述一个具有多种属性的实体。很多初学者在编写代码时，会误以为类型名称和变量一样可以直接参与赋值运算，从而写出类似将struct类型本身当作值来赋值的语句，结果在编译阶段就收到了错误提示。根本原因在于，Go语言里的struct关键字引导的是一种类型定义，它只是告诉编译器应当如何安排内存布局以及该聚合哪些字段，而并不是一块具体可写的内存区域。
从语法的角度来看，赋值表达式的左侧和右侧都必须是值或者已经绑定了存储空间的变量标识符。类型标识符例如User这种由type声明的名字，仅仅存在于编译期的类型系统当中，运行时并不存在与之对应的可操作对象。因此直接对struct类型赋值，相当于试图改变类型本身的定义，这显然违背了Go的静态类型规则。下面的示例展示了典型的错误写法，在main函数中试图把结构体字面量赋给类型名User，编译器会立即报出cannot assign to User的错误。
package main
// 定义User结构体类型，仅描述数据布局
type User struct {
Name string
Age int
}
func main() {
// 错误写法：把结构体字面量赋给类型本身
// 编译报错：cannot assign to User
User = User{Name: "test", Age: 10}
}
理解这一点对于掌握Go的类型系统非常重要。类型与值是两个层面的概念，类型负责约束，值负责承载数据。只有基于类型创建出来的实例，也就是结构体变量，才能成为赋值的主体或者客体。这种隔离让Go在编译期就能拦截大量不合理的数据操作，从而保证程序的内存安全与行为可预测。
结构体变量的声明与基础初始化方式
要在程序中真正使用结构体，第一步是声明属于该类型的变量。Go提供了多种声明形式，最基础的是使用var关键字先声明变量但不显式初始化。此时编译器会为变量分配空间，并将每一个字段设置为其类型的零值。对于字符串字段零值是空串，整型是0，布尔型是false，指针则是nil。这种方式适合需要先定义再在后续逻辑中逐步填充数据的场景。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
// 仅声明，字段自动为零值
var u1 User
fmt.Println(u1.Name) // 输出空字符串
fmt.Println(u1.Age) // 输出0
}
如果希望在声明的同时就赋予明确的初始数据，可以在var语句后面直接写结构体字面量。这种写法语义清晰，能够一眼看出变量的作用域和初始状态，常用于包级变量或者需要强调变量声明来源的场合。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
// 声明并初始化
var u2 = User{Name: "张三", Age: 20}
fmt.Println(u2)
}
在局部函数内部，更常见的是利用短变量声明符号:=来完成结构体的创建与初始化。这种形式省去了var和显式类型名的重复书写，代码更加紧凑，也是日常开发中最被广泛采用的写法。无论采用哪种声明方式，最终得到的都是具体的结构体值，可以进行后续的赋值与字段访问。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
// 短变量声明初始化
u3 := User{Name: "李四", Age: 25}
fmt.Println(u3)
}
结构体实例的多种初始化方法比较
除了上述基础声明，Go还支持几种不同的结构体初始化风格，各自适用于不同的可读性与安全性需求。键值对初始化是目前最推荐的做法，它允许开发者只给部分字段赋值，未列出的字段自动取零值，而且字段次序可以任意摆放。这种写法在结构体字段较多或者后期可能扩展字段时，能有效降低修改成本。
package main
import "fmt"
type User struct {
Name string
Age int
City string
}
func main() {
// 键值对初始化，省略Age字段
u4 := User{Name: "王五", City: "北京"}
fmt.Println(u4) // 输出{王五 0 北京}
}
值顺序初始化则要求严格按照结构体定义时的字段顺序，依次填入每一个字段的值。它的优点是书写简短，但缺点同样明显：一旦字段顺序调整或者遗漏某个值，编译器就会报错，且在阅读代码时很难直观对应值与字段的关系。因此只建议在字段极少且稳定的内部类型中使用。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
// 按定义顺序传值
u5 := User{"赵六", 30}
fmt.Println(u5)
}
另外，Go内置的new函数可以用于创建结构体指针，它返回指向零值结构体的指针。通过指针可以修改字段，适合需要共享结构体实例或者避免值拷贝的场景。下面的例子演示了new的基本用法，以及通过指针对字段赋值的过程。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
// new返回*User，指向零值实例
u6 := new(User)
u6.Name = "孙七"
u6.Age = 35
fmt.Println(*u6) // 输出{孙七 35}
}
结构体变量之间的赋值语义与指针差异
当结构体变量已经创建之后，同类型变量之间可以直接使用赋值号进行拷贝。Go执行的是按值拷贝，也就是说右侧变量的每一个字段都会被复制到左侧变量中，此后两个变量占据不同的内存，彼此修改互不影响。这一特性让结构体值类型在并发场景下不容易产生意外的共享副作用。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
u7 := User{Name: "周八", Age: 40}
// 值拷贝赋值
u8 := u7
u8.Name = "吴九"
fmt.Println(u7) // 输出{周八 40}
fmt.Println(u8) // 输出{吴九 40}
}
如果变量保存的是结构体指针，那么赋值行为就发生了变化。指针变量之间赋值仅仅是复制了地址，结果两个指针指向同一个底层实例。此时通过任意一个指针修改字段，另一个指针观察到的内容也会跟着改变。理解值类型与指针类型的赋值差异，是写出正确Go程序的关键。
package main
import "fmt"
type User struct {
Name string
Age int
}
func main() {
u9 := &User{Name: "郑十", Age: 45}
// 指针赋值，共享同一实例
u10 := u9
u10.Name = "王十一"
fmt.Println(u9) // 输出&{王十一 45}
fmt.Println(u10) // 输出&{王十一 45}
}
在实际工程中，应当根据数据是否被多处共享、是否体积庞大来决定使用值还是指针。值类型适合小型、不可变或者需要独立副本的数据；指针类型适合需要修改原数据或者减少拷贝开销的对象。结合前面的声明与初始化方法，开发者可以灵活组合出符合业务需求的代码结构。
总结与要点回顾
本文围绕Go语言中struct类型不能直接赋值的现象，解释了类型与值的本质区别，并系统梳理了结构体变量的声明、初始化以及相互赋值的正确做法。核心结论可以归纳为：struct是类型定义而非值，不能直接出现在赋值左侧；通过var、短变量声明、new等方式创建出的结构体变量才是可操作对象；初始化时键值对方式最为稳健，值顺序方式需谨慎使用；同类型结构体值之间赋值为深拷贝，指针之间赋值为地址共享。
对于刚接触Go的开发者，建议在编码时始终明确自己操作的是类型还是实例，优先采用键值对初始化提升代码可维护性，并在函数参数与返回值中根据是否需要修改原对象来抉择使用值还是指针。这样既能规避编译错误，也能写出更清晰、安全的Go程序。