表达式与语句，Golang核心区别解析

本文深入剖析了Go语言中表达式与语句这一核心语法分界：表达式必有求值结果，可参与赋值、传参和运算；而if、for、switch、return等纯语句无返回值，绝不能出现在需要值的上下文中——例如禁止用if做条件赋值。文章厘清了赋值左右侧的严格约束（左须可寻址、右须为表达式）、函数调用的双重身份（是否接收返回值决定其语义）、以及复合字面量和类型转换“永远是表达式”的本质特性，辅以典型错误示例直击开发者常见误区，助你写出更符合Go哲学的清晰、安全代码。

表达式求值后一定有结果，语句不产生值

Go 里没有“表达式语句”的概念，if、for、switch、return 这些全是语句，不能出现在需要值的地方。比如你不能写 x := if true { 1 } else { 2 } —— 这在 Go 中语法错误，因为 if 是语句，不是表达式。而 a + b、len(s)、func() int { return 42 }() 都是表达式，它们求值后产生一个具体类型的值（如 int、string），能被赋值、传参或参与运算。

赋值操作符左边必须是可寻址的，右边必须是表达式

Go 的赋值语句（如 x = 1）左边只能是变量、指针解引用、切片索引等“地址可取”的操作数；右边则必须是一个表达式。常见错误包括：

• 把语句当表达式用：x = fmt.Println("hello") —— fmt.Println 返回 (n int, err error)，但它本身是函数调用语句（副作用为主），不能直接用于简单赋值（除非你显式接收返回值）
• 误用短变量声明：if x := 1; x > 0 { ... } 中的 x := 1 是初始化语句，不是表达式，它只在该 if 作用域内有效
• 试图对不可寻址值赋值："hello"[0] = 'H' 报错，因为字符串字面量不可寻址，且字符串是只读的

函数调用既是表达式也是语句，取决于是否使用返回值

函数调用在 Go 中属于表达式，但若其返回值被完全忽略，它就退化为“纯语句”（仅执行副作用）。例如：

fmt.Println("done")        // 作为语句：忽略 (n, err) 返回值
n, _ := fmt.Println("ok")  // 作为表达式：显式接收返回值，n 是 int 类型

注意：defer、go 后面跟的也必须是函数调用表达式（不能是带括号的类型转换或复合字面量），比如 defer f() 合法，defer (x + y) 非法。

复合字面量和类型转换永远是表达式，从不构成语句

[]int{1,2,3}、struct{X int}{X: 42}、string(b) 这些都是表达式，它们生成值，哪怕没被赋给变量。你不能单独写一行 []int{1,2,3} 当作语句（编译报错：syntax error: unexpected literal），必须配合使用场景，比如：

• 赋值：s := []int{1,2,3}
• 函数参数：copy(dst, []int{1,2,3})
• 结构体字段初始化：m := map[string][]int{"a": {1, 2}}

真正容易混淆的是空结构体字面量 struct{}{}——它看起来像什么都没做，但它仍是表达式，求值结果是一个无字段的 struct{} 值，常用于 channel 信号或 map 的 set 模拟。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。