Go 中 struct 类型声明与实例化常见错误解析

在 go 语言中，`var s = salutation` 会报错“type is not an expression”，因为 `salutation` 是类型而非可求值的表达式；正确做法是使用 `salutation{}` 初始化零值，或直接带字段赋值构造实例。

Go 是一门强类型、编译型语言，其变量声明语义严格区分「类型」与「值」。你遇到的错误：

go:16: type Salutation is not an expression

根本原因在于这一行代码：

var s = Salutation

此处 Salutation 是一个结构体类型名，它本身不表示任何运行时值，因此不能作为初始化表达式出现在 = 右侧——Go 要求 = 右边必须是一个可求值的表达式（expression），例如字面量、函数调用或复合字面量。

✅ 正确的三种等价写法如下：

// 方式 1：仅声明类型（自动初始化为零值）
var s Salutation

// 方式 2：用复合字面量显式构造空结构体（推荐用于局部变量）
var s = Salutation{}

// 方式 3：短变量声明（最常用，简洁且明确）
s := Salutation{}

执行任一方式后，s 都是一个 Salutation 类型的变量，其字段 name 和 greeting 均为对应类型的零值（即 ""）。之后可安全赋值：

s.name = "Alex"
s.greeting = "Hi"
Greet(s) // 输出正常

? 更进一步，Go 支持字段名显式初始化，大幅提升可读性与健壮性（避免字段顺序依赖）：

s := Salutation{
    name:     "Alex",
    greeting: "Hi",
}
Greet(s)

⚠️ 注意事项：

• Salutation{"Alex", "Hi"} 是位置式初始化，要求字段顺序与定义严格一致，易出错且可维护性差，应优先使用命名字段初始化。
• var s = Salutation 是语法错误；而 var s = Salutation{} 是合法的，因为 {} 构成复合字面量表达式。
• 短变量声明 := 仅适用于函数内部，不可用于包级变量声明。

总结：Go 中类型不是值，不能直接赋值；所有 struct 实例必须通过复合字面量（Type{} 或 Type{field: value}）显式构造。理解这一原则，能有效规避大量初学者常见类型相关编译错误。