go 中结构体没有 `nil` 状态，其零值是一个所有字段均被初始化为对应类型零值的完整实例；`var s s` 和 `s := s{}` 在语义和运行时行为上完全等价，均产生同一零值结构体。
在 Go 语言中，“零值（zero value）”是变量声明但未显式初始化时自动赋予的默认值。结构体本身不可为空（nil），但其字段可被零值化。正如官方规范所述：当变量通过声明（如 var）或复合字面量（如 S{}）创建且未提供显式初始化时，其每个字段都会被递归地设为对应类型的零值。
以你的示例为例：
type A struct {
Name string // string 的零值是 ""
}
var ele A // 声明并分配内存 → 字段 Name 被设为 ""
ele2 := A{} // 复合字面量（空结构体字面量）→ 同样，Name 被设为 ""二者均生成一个 A{Name: ""} 实例，因此调用指针方法 demo() 时，接收者 *A 指向的是有效内存地址（非 nil），输出 &main.A{Name:""} 完全符合预期。
⚠️ 关键注意事项：
- ❌ 结构体类型（如 A）不能赋值为 nil，var x A = nil 是编译错误；
- ✅ 但指向结构体的指针类型可以为 nil：var p *A 初始化后 p == nil；
- ✅ A{} 是合法的复合字面量，等价于 A{Name: ""}（即使字段更多，未指定的字段也自动零值化）；
- ✅ var s S 和 s := S{} 在绝大多数场景下可互换，包括方法调用、赋值、传参——它们生成的值完全一致。
✅ 正确理解零值，有助于避免常见误区，例如误判结构体指针是否为空（应检查 p != nil，而非 *p == (S{})），或在 if s == S{} 中做无谓的零值比较（低效且不具可读性）。
总结：Go 的零值机制保障了内存安全与确定性——结构体永远“存在”，只是其字段按规则初始化。掌握这一点，是写出健壮、清晰 Go 代码的基础。
